Code

Add source map to Iele report#311

Code

Merged

shd101wyy merged 17 commits intomasterruntimeverification/iele-semantics:masterfrom feat/iele-report-sourcemapruntimeverification/iele-semantics:feat/iele-report-sourcemapCopy head branch name to clipboardOct 26, 2021

+146-93

Commits

Commits on Sep 15, 2021

• feat: Added asm to parsed json

  shd101wyy

  committed
  224b6a5

  Copy full SHA for 224b6a5

Commits on Sep 17, 2021

• fix: Supported sourcemap for solidity using the regular scheme

  shd101wyy

  committed
  40cb56e

  Copy full SHA for 40cb56e

• fix: Fixed missing line str bug

  shd101wyy

  committed
  04fdd90

  Copy full SHA for 04fdd90

Commits on Sep 28, 2021

• feat: Added ieleEntries to coverage map

  shd101wyy

  committed
  88df0ec

  Copy full SHA for 88df0ec

• fix: Fixed line_from_pos arg

  shd101wyy

  committed
  8cd636c

  Copy full SHA for 8cd636c

Commits on Sep 30, 2021

• feat: Added ieleInstructions to coverage map ds

  shd101wyy

  committed
  c5a2b31

  Copy full SHA for c5a2b31

Commits on Oct 5, 2021

• feat: Supported new json report format

  shd101wyy

  committed
  55f6a10

  Copy full SHA for 55f6a10

Commits on Oct 6, 2021

• fix: Fixed the coverage data for solidity

  shd101wyy

  committed
  c090cf0

  Copy full SHA for c090cf0

Commits on Oct 7, 2021

• fix: Adde state to IeleInstruction ds

  shd101wyy

  committed
  8e3bc8e

  Copy full SHA for 8e3bc8e

Commits on Oct 18, 2021

• feat: Updated the static report template

  shd101wyy

  committed
  c9dea3b

  Copy full SHA for c9dea3b

Commits on Oct 20, 2021

• feat: Added level info to IeleInstruction ds

  shd101wyy

  committed
  d1a24db

  Copy full SHA for d1a24db

• Merge branch 'master' of github.com:runtimeverification/iele-semantics into feat/iele-report-sourcemap

  shd101wyy

  committed
  136e74f

  Copy full SHA for 136e74f

• refactor: Updated comment

  shd101wyy

  committed
  5752840

  Copy full SHA for 5752840

Commits on Oct 21, 2021

• fix: Fixed the report generation testing

  shd101wyy

  committed
  aea07c5

  Copy full SHA for aea07c5

• fix: Fixed failing to load file path

  shd101wyy

  committed
  0bf2ba5

  Copy full SHA for 0bf2ba5

Commits on Oct 25, 2021

• Merge branch 'master' into feat/iele-report-sourcemap

  shd101wyy

  authored
  546b6c1

  Copy full SHA for 546b6c1

• Merge branch 'master' into feat/iele-report-sourcemap

  gtrepta

  authored
  86bb334

  Copy full SHA for 86bb334