Update dependency: deps/evm-semantics#27

Open

rv-jenkins wants to merge 81 commits intomasterfrom

_update-deps_runtimeverification_evm-semantics

Commits on Mar 18, 2022

deps/evm-semantics: 875788f7 - Update repo location (#1207)
rv-jenkins
committed

Commits on Mar 23, 2022

deps/evm-semantics: 4c687362 - Update dependency: deps/k (#1213)
rv-jenkins
committed

Commits on Apr 4, 2022

deps/evm-semantics: c0a14f6a - Update dependency: deps/k (#1221)
rv-jenkins
committed

Commits on Apr 12, 2022

deps/evm-semantics: f12a36b2 - Update dependency: deps/k (#1222)
rv-jenkins
committed

Commits on Apr 13, 2022

deps/evm-semantics: 92ed6201 - Reorganize kevm_pyk distribution (#1219)
rv-jenkins
committed

Commits on Apr 14, 2022

deps/evm-semantics: bcb6db08 - Skip slow-running proofs on CI (#1225)
rv-jenkins
committed

Commits on Apr 16, 2022

deps/evm-semantics: a8720c32 - Fix vat-subui-fail spec (#1223)
rv-jenkins
committed

Commits on Apr 22, 2022

deps/evm-semantics: 7fe9478a - Fix pyk version (#1229)
rv-jenkins
committed

Commits on Apr 26, 2022

Commits on Apr 28, 2022

deps/evm-semantics: 97d01458 - Update dependency: deps/k (#1234)
rv-jenkins
committed

Commits on Apr 30, 2022

deps/evm-semantics: 7bba9e9a - Fix release (#1237)
rv-jenkins
committed

Commits on May 2, 2022

Commits on May 5, 2022

deps/evm-semantics: cc1f5770 - Switch --directory => --definition flag (#1241)
rv-jenkins
committed

Commits on May 7, 2022

deps/evm-semantics: 0c6f0285 - Update dependency: deps/k (#1242)
rv-jenkins
committed

Commits on May 10, 2022

deps/evm-semantics: 49a16920 - Lemma fix for dstoken-burn-self-fail-rough-spec.k (#1244)
rv-jenkins
committed

Commits on May 12, 2022

deps/evm-semantics: b10ff6f2 - Remove tests/specs/mcd/vat-move-diff-rough-spec.k from failing tests … (#1245)
rv-jenkins
committed

Commits on May 23, 2022

deps/evm-semantics: c83df97d - Fix debian packaging (#1255)
rv-jenkins
committed

Commits on May 24, 2022

deps/evm-semantics: 9855ffbd - vow-flog-fail-rough-spec passing (#1246)
rv-jenkins
committed

Commits on May 25, 2022

deps/evm-semantics: 66976ec4 - Drop kprovex (#1257)
rv-jenkins
committed

Commits on May 30, 2022

deps/evm-semantics: 20599bc7 - Update dependency: web/k-web-theme (#1214)
rv-jenkins
committed

Commits on May 31, 2022

Commits on Jun 12, 2022

deps/evm-semantics: dad99900 - Update dependency: deps/k (#1263)
rv-jenkins
committed

Commits on Jun 25, 2022

deps/evm-semantics: 039afd1b - Update dependency: deps/k (#1265)
rv-jenkins
committed

Commits on Jul 4, 2022

deps/evm-semantics: 04e56d1d - Update dependency: deps/k (#1274)
rv-jenkins
committed

Commits on Jul 6, 2022

deps/evm-semantics: 8329af0b - kevm_pyk: Import pretty names for symbols from ksummarize (#1276)
rv-jenkins
committed

Commits on Jul 13, 2022

deps/evm-semantics: 40a44710 - Handle more arguments with pyk prover (#1277)
rv-jenkins
committed

Commits on Jul 14, 2022

deps/evm-semantics: 05264cbd - Add `kevm foundry-to-k ...` command (#1280)
rv-jenkins
committed

Commits on Jul 18, 2022

deps/evm-semantics: 6e8709ab - Include INFINITE-GAS into EDSL (#1284)
rv-jenkins
committed

Commits on Jul 19, 2022

deps/evm-semantics: 386b714b - Echo activation command for `make kevm-pyk-venv` (#1283)
rv-jenkins
committed

Commits on Aug 3, 2022

deps/evm-semantics: e0cb9a3d - Update dependency: deps/k (#1286)
rv-jenkins
committed

Commits on Aug 4, 2022

deps/evm-semantics: 44899a2d - Add initial foundry.md (#1305)
rv-jenkins
committed

Commits on Aug 5, 2022

deps/evm-semantics: 6cbd0044 - Storage hashed location refactoring (#1308)
rv-jenkins
committed

Commits on Aug 9, 2022

Commits on Aug 10, 2022

deps/evm-semantics: 0f9831de - Update dependency: deps/k (#1313)
rv-jenkins
committed

Commits on Aug 26, 2022

deps/evm-semantics: 30b5be8e - Deal: typo and documentation (#1335)
rv-jenkins
committed

Commits on Aug 27, 2022

deps/evm-semantics: e8abecca - Cleanups (#1332)
rv-jenkins
committed

Commits on Aug 28, 2022

deps/evm-semantics: 7f8c09dc - Refactor `kevm_pyk.__main__` (#1337)
rv-jenkins
committed

Commits on Aug 29, 2022

deps/evm-semantics: 3e7f5832 - Small cleanups on kevm_pyk CLI (#1342)
rv-jenkins
committed

Commits on Aug 31, 2022

Commits on Sep 1, 2022

deps/evm-semantics: e54bca22 - Added label cheatcode to foundry.md (#1353)
rv-jenkins
committed

Commits on Sep 2, 2022

Commits on Sep 3, 2022

deps/evm-semantics: 21a47e0a - Update dependency: deps/k (#1357)
rv-jenkins
committed

Commits on Sep 7, 2022

Commits on Sep 8, 2022

deps/evm-semantics: 3b089dc7 - Less restrictive rules for Foundry cheatcodes. (#1363)
rv-jenkins
committed

Commits on Sep 9, 2022

deps/evm-semantics: 2820bd87 - Updates to foundry commands (#1350)
rv-jenkins
committed

Commits on Sep 13, 2022

Commits on Sep 14, 2022

Commits on Sep 15, 2022

deps/evm-semantics: 0f57d7e3 - Allow passing --workers/-j argument to foundry-prove (#1375)
rv-jenkins
committed

Commits on Sep 17, 2022

deps/evm-semantics: 2aaec12b - Directly construct KCFGs in foundry-kompile (#1377)
rv-jenkins
committed

Commits on Sep 18, 2022

deps/evm-semantics: a7e1c8b1 - Support for Foundry's load/store cheatcodes (#1369)
rv-jenkins
committed

Commits on Sep 20, 2022

deps/evm-semantics: 5ec6128c - Add all uint types for foundry test parameters (#1376)
rv-jenkins
committed

Commits on Sep 22, 2022

deps/evm-semantics: 0e96c8d5 - Update dependency: deps/k (#1383)
rv-jenkins
committed

Commits on Sep 25, 2022

deps/evm-semantics: 03e816bd - Separate generaion of main module and claims (#1391)
rv-jenkins
committed

Commits on Sep 26, 2022

deps/evm-semantics: 203a020a - Pass `KPrint` instance to `contract_to_claims` (#1399)
rv-jenkins
committed

Commits on Sep 27, 2022

deps/evm-semantics: 763369a8 - Update KCFG generation to use Foundry configuration (#1402)
rv-jenkins
committed

Commits on Sep 28, 2022

Commits on Sep 29, 2022

deps/evm-semantics: cc9e2aac - Fix performance regression in benchmark proofs (#1407)
rv-jenkins
committed

Commits on Oct 3, 2022

deps/evm-semantics: e8caad2c - Rule for setNonce cheatcode (#1364)
rv-jenkins
committed

Commits on Oct 4, 2022

deps/evm-semantics: a1ffa8a6 - Add new Foundry tests (#1409)
rv-jenkins
committed

Commits on Oct 5, 2022

deps/evm-semantics: b4fec5fc - Fix issues with term generation (#1411)
rv-jenkins
committed

Commits on Oct 7, 2022

Commits on Oct 20, 2022

Commits on Oct 21, 2022

Commits on Oct 24, 2022

deps/evm-semantics: f5ffb680 - Generate individual KCFGs for each method in contract (#1427)
rv-jenkins
committed

Commits on Oct 25, 2022