Code

Update dependency: deps/evm-semantics#19

Code

Open

rv-jenkins wants to merge 116 commits intomasterruntimeverification/deposit-contract-verification:masterfrom _update-deps_kframework_evm-semanticsruntimeverification/deposit-contract-verification:_update-deps_kframework_evm-semanticsCopy head branch name to clipboard

+15-3

Commits

Commits on Nov 2, 2020

• deps/evm-semantics: 29c6e00 - Update dependency: deps/k (#912)

  rv-jenkins

  committed
  381759f

Commits on Nov 10, 2020

• deps/evm-semantics: 5c8249e - Update dependency: deps/k (#932)

  rv-jenkins

  committed
  7ac4759

Commits on Nov 11, 2020

• deps/evm-semantics: ee9e01e - Remove Web3 (#933)

  rv-jenkins

  committed
  21178e7

Commits on Nov 12, 2020

• deps/evm-semantics: 241ec10 - Update dependency: deps/plugin (#936)

  rv-jenkins

  committed
  203f445

• deps/evm-semantics: 11808d1 - Enable haskell backend on some more tests (#935)

  rv-jenkins

  committed
  ebe74f4

Commits on Nov 13, 2020

• deps/evm-semantics: 1e512e3 - Update dependency: deps/k (#934)

  rv-jenkins

  committed
  8bd02f3

Commits on Nov 16, 2020

• deps/evm-semantics: 81fcf08 - deps/plugin: 5177aba - Common K functionality (#124) (#937)

  rv-jenkins

  committed
  6597055

Commits on Nov 17, 2020

• deps/evm-semantics: 603a9c5 - Update dependency: deps/k (#938)

  rv-jenkins

  committed
  7fc1d50

Commits on Nov 24, 2020

• deps/evm-semantics: 6768346 - Generalized lemma for #asWord(BUF) >>Int N, for solc5 + ERC20 + constructor (#942)

  rv-jenkins

  committed
  cf00129

Commits on Dec 2, 2020

• deps/evm-semantics: dec157a - Update dependency: deps/k (#939)

  rv-jenkins

  committed
  9a68339

• deps/evm-semantics: 5320c1c - Switch JelloPaper website over to new website tech (#943)

  rv-jenkins

  committed
  aa46160

• algorithm-correctness: add needed simplification attributes

  ehildenb

  committed
  fb162fa

Commits on Dec 8, 2020

• deps/evm-semantics: 854c7c9 - Use k-web-theme submodule (#944)

  rv-jenkins

  committed
  accb12e

Commits on Dec 11, 2020

• deps/evm-semantics: 3346a7c - deps/plugin: d14b053 - plugin-c/json.cpp: Buffered FDStream (#126) (#947)

  rv-jenkins

  committed
  64ff5e0

Commits on Dec 14, 2020

• deps/evm-semantics: 6a352b3 - Updates to infinite gas abstraction (#945)

  rv-jenkins

  committed
  3f8c2c4

Commits on Dec 15, 2020

• deps/evm-semantics: dd69067 - Lemma for simplifying out vat-subui chop expression (#949)

  rv-jenkins

  committed
  8a85503

Commits on Dec 16, 2020

• deps/evm-semantics: 325c1e2 - WordPack abstraction for Solidity-packed structs (#948)

  rv-jenkins

  committed
  0811a98

• deps/evm-semantics: 48afdfa - fix: Fixed the Jenkins gh-pages build (#951)

  rv-jenkins

  committed
  23f1451

Commits on Jan 8, 2021

• deps/evm-semantics: f38adeb - Improved infinite gas reasoning (#952)

  rv-jenkins

  committed
  44976ff

Commits on Jan 11, 2021

• deps/evm-semantics: fda5167 - MKR regression proofs (#954)

  rv-jenkins

  committed
  6aac5cf

Commits on Jan 12, 2021

• deps/evm-semantics: eaa40f1 - Update dependency: deps/k (#950)

  rv-jenkins

  committed
  8990651

• deps/evm-semantics: d990192 - tests/specs/mcd: update to latest versions of specs (#957)

  rv-jenkins

  committed
  d5c7e17

Commits on Jan 15, 2021

• deps/evm-semantics: b613ac4 - Implement #loadProgram ByteArray

  rv-jenkins

  committed
  c9e02b3

• deps/evm-semantics: 64366e5 - Add missing opcodes in #asmOpCodes

  rv-jenkins

  committed
  3155496

Commits on Jan 16, 2021

• deps/evm-semantics: 26c1c3d - Update dependency: deps/plugin

  rv-jenkins

  committed
  7484732

Commits on Jan 18, 2021

• deps/evm-semantics: a972045 - Update plugin submodule

  rv-jenkins

  committed
  d13e58d

Commits on Jan 19, 2021

• deps/evm-semantics: 14abf5b - Update dependency: web/k-web-theme

  rv-jenkins

  committed
  b25d559

Commits on Feb 9, 2021

• deps/evm-semantics: 07d47c9 - Make the lemmas for MCD proofs modular

  rv-jenkins

  committed
  2f29139

Commits on Feb 11, 2021

• deps/evm-semantics: 8e885af - edsl: Workaround to make #buf act like [functional]

  rv-jenkins

  committed
  ba7ef22

• deps/evm-semantics: 6572d0e - Make G0 rules tail recursive

  rv-jenkins

  committed
  9b15314

Commits on Feb 18, 2021

• deps/evm-semantics: 6daec66 - fixed issue with kevm removing --debug flag before it is passed to the frontend

  rv-jenkins

  committed
  2d6e5f4

Commits on Feb 25, 2021

• deps/evm-semantics: a86d05c - Update dependency: deps/k (#963)

  rv-jenkins

  committed
  0df876c

Commits on Feb 26, 2021

• deps/evm-semantics: 4b70be7 - Enable more tests on Haskell backend

  rv-jenkins

  committed
  2d13e99

Commits on Mar 4, 2021

• deps/evm-semantics: de25fb0 - Package KEVM with bundled K install

  rv-jenkins

  committed
  83e0dd7

• deps/evm-semantics: 425dfab - Jenkinsfile: failure messages to slack

  rv-jenkins

  committed
  8506098

Commits on Mar 8, 2021

• deps/evm-semantics: 270d4f7 - Fixed the documentation website footer

  rv-jenkins

  committed
  089fa0d

Commits on Mar 9, 2021

• deps/evm-semantics: c052cc1 - Fix issue with associative arrays in bash 3.2

  rv-jenkins

  committed
  e774079

• deps/evm-semantics: c028487 - Update dependency: deps/k

  rv-jenkins

  committed
  029af93

Commits on Mar 11, 2021

• deps/evm-semantics: 6b360e2 - Update dependency: web/k-web-theme (#969)

  rv-jenkins

  committed
  d64327e

• deps/evm-semantics: fb50e89 - Include common lemma files in installed package (#978)

  rv-jenkins

  committed
  b644b2a

Commits on Mar 27, 2021

• deps/evm-semantics: a722151 - Cleanups to ceil32 use, smt-preludes (#983)

  rv-jenkins

  committed
  3e6027d

Commits on Mar 31, 2021

• deps/evm-semantics: 086101c7 - Update dependency: web/k-web-theme (#981)

  rv-jenkins

  committed
  39df04d

Commits on Apr 2, 2021

• deps/evm-semantics: a3338178 - kevm runner script updates (#985)

  rv-jenkins

  committed
  ac24e30

Commits on Apr 6, 2021

• deps/evm-semantics: c9809ba9 - Focal package and Dockerhub images (#986)

  rv-jenkins

  committed
  0a9dceb

Commits on Apr 10, 2021

• deps/evm-semantics: 589a4d84 - Improve SEO and fixed few broken links (#982)

  rv-jenkins

  committed
  410e4ff

Commits on Apr 14, 2021

• deps/evm-semantics: 5e346827 - KEVM runner script can kompile (#989)

  rv-jenkins

  committed
  ed962a1

Commits on Apr 17, 2021

• deps/evm-semantics: 1134fd7 - Update dependency: deps/k (#980)

  rv-jenkins

  committed
  8125a1d

Commits on Apr 27, 2021

• deps/evm-semantics: 060c901 - kevm: allowing passing K options through to Makefile KEVM (#992)

  rv-jenkins

  committed
  028ee77

Commits on May 12, 2021

• deps/evm-semantics: 0cd73705 - Update dependency: deps/k (#990)

  rv-jenkins

  committed
  49797e4

Commits on May 17, 2021

• deps/evm-semantics: a7908e20 - Update dependency: deps/k (#997)

  rv-jenkins

  committed
  15416c3

Commits on Jun 3, 2021

• deps/evm-semantics: 53abcc89 - macos-friendly translation of install -D (#1017)

  rv-jenkins

  committed
  6ee8b89

• deps/evm-semantics: 1d424c9c - Cleanups for automatic optimizer (#1003)

  rv-jenkins

  committed
  3e30285

• deps/evm-semantics: 50c609de - Fix bytes abstraction (#1016)

  rv-jenkins

  committed
  7df3b0a

Commits on Jun 4, 2021

• deps/evm-semantics: 1ecbb185 - Update dependency: deps/k (#1001)

  rv-jenkins

  committed
  11c0dcd

Commits on Jun 7, 2021

• deps/evm-semantics: f18b77da - Port tests/spec/benchmarks/encode-keccak00-spec.k to Haskell backend (#1021)

  rv-jenkins

  committed
  b9a3729

Commits on Jun 8, 2021

• deps/evm-semantics: 77e902ee - powbytelen abstraction (#1030)

  rv-jenkins

  committed
  3128c65

Commits on Jun 9, 2021

• deps/evm-semantics: 05f723d8 - Reduce ceil32 to up/Int (#1031)

  rv-jenkins

  committed
  2f080bf

Commits on Jun 12, 2021

• deps/evm-semantics: 774d6f12 - More tests now pass, some removed from failing-symbolic.haskell (#1041)

  rv-jenkins

  committed
  52eaf9d

Commits on Jun 23, 2021

• deps/evm-semantics: 3b8487f6 - Switch entire repo to Ubuntu focal (#1055)

  rv-jenkins

  committed
  108435c

Commits on Jun 24, 2021

• deps/evm-semantics: 4de25533 - Simplify Concrete ByteArrays on Haskell Backend (#1067)

  rv-jenkins

  committed
  4e1c0cc

Commits on Jun 26, 2021

• deps/evm-semantics: 5dae047b - Update README.md with up-to-date advice for developers (#1069)

  rv-jenkins

  committed
  ab1c866

Commits on Jun 27, 2021

• deps/evm-semantics: 9d1b095f - Prune lemmas that refer to #take and #drop (#1068)

  rv-jenkins

  committed
  fc67084

Commits on Jul 9, 2021

• deps/evm-semantics: 8d2ee2bb - Organize lemmas (#1072)

  rv-jenkins

  committed
  5f5a9c1

• deps/evm-semantics: aac43b0f - Update dependency: deps/k (#1019)

  rv-jenkins

  committed
  fa23602

Commits on Jul 12, 2021

• deps/evm-semantics: f94ce17b - Focal packaging fix (#1080)

  rv-jenkins

  committed
  1ebe162

Commits on Jul 15, 2021

• deps/evm-semantics: 2daec507 - Add page ToC (#1085)

  rv-jenkins

  committed
  85cc396

Commits on Jul 21, 2021

• deps/evm-semantics: 6f0fce04 - Disable Haskell (dry run) Tests (#1089)

  rv-jenkins

  committed
  162a219

• deps/evm-semantics: c2459107 - Add --profile Option to kevm Script (#1060)

  rv-jenkins

  committed
  7751bbd

Commits on Aug 5, 2021

• deps/evm-semantics: 0407cb52 - Jenkinsfile: correct release process (#1105)

  rv-jenkins

  committed
  9e01865

Commits on Aug 6, 2021

• deps/evm-semantics: b71540ee - Makefile: include lemmas in package (#1106)

  rv-jenkins

  committed
  dd589f8

Commits on Aug 7, 2021

• deps/evm-semantics: f395d985 - Pull out int-simplification (#1097)

  rv-jenkins

  committed
  1362cc9

Commits on Aug 9, 2021

• deps/evm-semantics: 8a07c45c - Update dependency: web/k-web-theme (#1110)

  rv-jenkins

  committed
  b75209c

Commits on Aug 11, 2021

• deps/evm-semantics: 317b9d81 - Update dependency: deps/k (#1107)

  rv-jenkins

  committed
  eee1cc7

• deps/evm-semantics: 3057216a - Switch all proofs away from old segmented gas model (#1109)

  rv-jenkins

  committed
  d13c8c7

Commits on Aug 17, 2021

• deps/evm-semantics: 2abeb23e - Remove trusted claims in semantics modules (#1113)

  rv-jenkins

  committed
  e8a0e1b

Commits on Aug 18, 2021

• deps/evm-semantics: 43779361 - make implicit imports explicit (#1112)

  rv-jenkins

  committed
  da46493

• deps/evm-semantics: 4be916ab - Update dependency: deps/k (#1111)

  rv-jenkins

  committed
  1a6948e

Commits on Aug 19, 2021

• deps/evm-semantics: 01a4ae83 - tests/failing-symbolic.haskell: enable more tests (#1117)

  rv-jenkins

  committed
  721972e

Commits on Aug 20, 2021

• deps/evm-semantics: 7ad58877 - Update dependency: deps/k (#1119)

  rv-jenkins

  committed
  94ae763

Commits on Aug 24, 2021

• deps/evm-semantics: 81a1ee61 - Switch to using kprovex (#1116)

  rv-jenkins

  committed
  21966e5

Commits on Aug 26, 2021

• deps/evm-semantics: 7a98f866 - Update dependency: web/k-web-theme (#1122)

  rv-jenkins

  committed
  5a23795

Commits on Aug 30, 2021

• deps/evm-semantics: de459bd9 - Simplification rule for overflowing additions. (#1102)

  rv-jenkins

  committed
  99ec1f8

• deps/evm-semantics: c4c82f16 - Update dependency: deps/k (#1120)

  rv-jenkins

  committed
  95671fa

Commits on Aug 31, 2021

• deps/evm-semantics: 2e4e6af4 - Fix Makefile and kevm script for building on MacOS BigSur (#1090)

  rv-jenkins

  committed
  d72af2a

Commits on Sep 2, 2021

• deps/evm-semantics: 10137c79 - tests/failing-symbolic.haskell: more passing tests (#1125)

  rv-jenkins

  committed
  981e41b

Commits on Sep 8, 2021

• deps/evm-semantics: 0bb921e4 - Fix release process, uniform use of --debugger (#1127)

  rv-jenkins

  committed
  8b4ac20

Commits on Sep 9, 2021

• deps/evm-semantics: 249e38ca - Update dependency: deps/k (#1126)

  rv-jenkins

  committed
  17fa8a6

Commits on Sep 13, 2021

• deps/evm-semantics: 446aa88f - Integer equality simplification for Haskell backend (#1129)

  rv-jenkins

  committed
  9bd7a02

Commits on Oct 14, 2021

• deps/evm-semantics: 739ee2c3 - Fix release process (#1143)

  rv-jenkins

  committed
  a5f1c2b

Commits on Oct 18, 2021

• deps/evm-semantics: 97f144d0 - Update dependency: deps/k (#1145)

  rv-jenkins

  committed
  3152b83

• deps/evm-semantics: afdd3505 - Update dependency: web/k-web-theme (#1146)

  rv-jenkins

  committed
  1b259f0

Commits on Oct 19, 2021

• deps/evm-semantics: 22651aba - Update dependency: deps/k (#1147)

  rv-jenkins

  committed
  01c22fa

Commits on Oct 25, 2021

• deps/evm-semantics: 045abe6d - Bump Z3 version to 4.8.11 (#1137)

  rv-jenkins

  committed
  d53b60b

Commits on Oct 27, 2021

• deps/evm-semantics: 63dda59c - Cleanups and memoryUsageUpdate lemma (#1150)

  rv-jenkins

  committed
  4b598ec

Commits on Dec 7, 2021

• deps/evm-semantics: 49457447 - Fix release process (#1158)

  rv-jenkins

  committed
  c10dd28

Commits on Dec 8, 2021

• deps/evm-semantics: 7479b1dd - Apple silicon build (#1163)

  rv-jenkins

  committed
  c92e1e0

Commits on Dec 9, 2021

• deps/evm-semantics: af5ba26c - Make some proofs from tests/erc20/ds pass with Haskell backend (#1170)

  rv-jenkins

  committed
  f89cc1d

Commits on Dec 11, 2021

• deps/evm-semantics: fc35db2c - Update dependency: deps/k (#1160)

  rv-jenkins

  committed
  712898a

Commits on Dec 14, 2021

• deps/evm-semantics: 042133c3 - Update dependency: deps/k (#1171)

  rv-jenkins

  committed
  218d983

Commits on Dec 17, 2021

• deps/evm-semantics: 9c15489d - Refactor tx envelope prefix manipulation (#1174)

  rv-jenkins

  committed
  d4d13ee

Commits on Jan 12, 2022

• deps/evm-semantics: 7bf6f60e - Make sure solc is present to test packages (#1176)

  rv-jenkins

  committed
  2609566

Commits on Jan 15, 2022

• deps/evm-semantics: a2313a27 - Bump lodash from 4.17.20 to 4.17.21 in /web (#996)

  rv-jenkins

  committed
  19dfebd

• deps/evm-semantics: f5f6d2f2 - Update dependency: deps/k (#1173)

  rv-jenkins

  committed
  d372ba0

Commits on Jan 20, 2022

• deps/evm-semantics: 2d2ddbd9 - RLP encoding improvements (#1177)

  rv-jenkins

  committed
  b7c4daf

• deps/evm-semantics: 4ca6cb1f - Add support for generation of storage slot macros to solc-to-k (#1172)

  rv-jenkins

  committed
  24f2cdc

Commits on Jan 24, 2022

• deps/evm-semantics: 9beaf5af - Update dependency: deps/k (#1181)

  rv-jenkins

  committed
  a215992

Commits on Jan 27, 2022

• deps/evm-semantics: 6351bac9 - Update dependency: deps/k (#1184)

  rv-jenkins

  committed
  127e224

Commits on Jan 31, 2022

• deps/evm-semantics: b7005e1a - Fix solc-to-k for contracts with zero variables (#1186)

  rv-jenkins

  committed
  64566e7

Commits on Feb 11, 2022

• deps/evm-semantics: e94c6823 - Update dependency: deps/k (#1185)

  rv-jenkins

  committed
  aed5086

Commits on Feb 12, 2022

• deps/evm-semantics: b50311f1 - London schedule update (#1187)

  rv-jenkins

  committed
  98e8248

Commits on Feb 15, 2022

• deps/evm-semantics: 6835a5f5 - Fix kevm_pyk packaging (#1194)

  rv-jenkins

  committed
  c41fda3

Commits on Feb 17, 2022

• deps/evm-semantics: 7b7a39f7 - Update dependency: deps/k (#1193)

  rv-jenkins

  committed
  3dcca1a

Commits on Feb 18, 2022

• deps/evm-semantics: 86c2812a - Update dependency: deps/k (#1196)

  rv-jenkins

  committed
  888d237

Commits on Feb 21, 2022

• deps/evm-semantics: 3d655bfe - Actually include function selector aliases in generated K (#1198)

  rv-jenkins

  committed
  546727f

Commits on Feb 26, 2022

• deps/evm-semantics: 32646797 - kevm: fix pyk-minimize (#1200)

  rv-jenkins

  committed
  cc2f906

Commits on Mar 3, 2022

• deps/evm-semantics: b2c5c719 - Minor README updates for macOS (#1202)

  rv-jenkins

  committed
  ea7717c