Code

Wrc20 balance fixes#310

Code

Merged

hjorthjort merged 31 commits intomasterruntimeverification/wasm-semantics:masterfrom wrc20-balance-fixesruntimeverification/wasm-semantics:wrc20-balance-fixesCopy head branch name to clipboardApr 28, 2020

+79-19

Commits

Commits on Mar 24, 2020

• Add #wrap rules corresponding to modInt Rules

  hjorthjort

  committed
  180cf4f

  Copy full SHA for 180cf4f

• Fix existential variable

  hjorthjort

  committed
  af90492

  Copy full SHA for af90492

• More wrapping rules

  hjorthjort

  committed
  645ef9e

  Copy full SHA for 645ef9e

Commits on Mar 25, 2020

• WIP: Add speed-up lemma

  Show description for ae5e70f
  hjorthjort

  committed
  ae5e70f

  Copy full SHA for ae5e70f

Commits on Apr 1, 2020

• Merge branch 'master' into small-fixes

  hjorthjort

  committed
  1d5ebd1

  Copy full SHA for 1d5ebd1

• Clean up general lemmas

  hjorthjort

  committed
  98d0fef

  Copy full SHA for 98d0fef

• Start moving exact values in simplifications to side conditions

  hjorthjort

  committed
  872f368

  Copy full SHA for 872f368

Commits on Apr 2, 2020

• Simplify modInts to #wraps

  hjorthjort

  committed
  fc838b4

  Copy full SHA for fc838b4

• Bugfix: missing syntax production

  hjorthjort

  committed
  319b6f1

  Copy full SHA for 319b6f1

• Make setRange total

  hjorthjort

  committed
  9088ebb

  Copy full SHA for 9088ebb

• New #getRange lemmas

  hjorthjort

  committed
  eae41fa

  Copy full SHA for eae41fa

Commits on Apr 9, 2020

• Formatting

  hjorthjort

  committed
  b48a3b2

  Copy full SHA for b48a3b2

• Remove the loop-lemma, not giving any speed-up

  hjorthjort

  committed
  5d9b041

  Copy full SHA for 5d9b041

• Formatting

  hjorthjort

  committed
  75ce6eb

  Copy full SHA for 75ce6eb

Commits on Apr 15, 2020

• Documentation update

  hjorthjort

  committed
  5b31383

  Copy full SHA for 5b31383

• Merge branch 'master' into wrc20-balance-fixes

  hjorthjort

  authored
  5be32b9

  Copy full SHA for 5be32b9

• Remove unused and bad lemma, caused branching

  hjorthjort

  committed
  53032a4

  Copy full SHA for 53032a4

• Nits

  hjorthjort

  committed
  cf57722

  Copy full SHA for cf57722

Commits on Apr 16, 2020

• Update lemmas

  hjorthjort

  committed
  9e584ab

  Copy full SHA for 9e584ab

• Fix side condition

  hjorthjort

  committed
  03cfb32

  Copy full SHA for 03cfb32

• Merge branch 'master' into wrc20-balance-fixes

  hjorthjort

  authored
  8ef1f61

  Copy full SHA for 8ef1f61

• Remove commented out lemma

  hjorthjort

  committed
  013e6c4

  Copy full SHA for 013e6c4

Commits on Apr 21, 2020

• Specilalize #getRange lemma

  hjorthjort

  committed
  3172a96

  Copy full SHA for 3172a96

• Fix getRange side conditions for when WIDTH <= 0

  hjorthjort

  committed
  62a6c3a

  Copy full SHA for 62a6c3a

• Merge remote-tracking branch 'origin/master' into wrc20-balance-fixes

  hjorthjort

  committed
  dac0971

  Copy full SHA for dac0971

• Typo in annotation

  hjorthjort

  committed
  e9e90b7

  Copy full SHA for e9e90b7

• Merge branch 'master' into wrc20-balance-fixes

  hjorthjort

  authored
  1d6c9fa

  Copy full SHA for 1d6c9fa

• Merge branch 'master' into wrc20-balance-fixes

  hjorthjort

  authored
  b44aa92

  Copy full SHA for b44aa92

Commits on Apr 22, 2020

• Merge branch 'master' into wrc20-balance-fixes

  ehildenb

  authored
  54c9830

  Copy full SHA for 54c9830

Commits on Apr 23, 2020

• Merge branch 'master' into wrc20-balance-fixes

  hjorthjort

  authored
  3026fc8

  Copy full SHA for 3026fc8

Commits on Apr 28, 2020

• Merge branch 'master' into wrc20-balance-fixes

  hjorthjort

  authored
  e61e2cf

  Copy full SHA for e61e2cf