Update dependency: deps/evm-semantics#19

Open

rv-jenkins wants to merge 116 commits into

_update-deps_kframework_evm-semantics

Commits on Nov 2, 2020

deps/evm-semantics: 29c6e00 - Update dependency: deps/k (#912)
rv-jenkins
committed

Commits on Nov 10, 2020

deps/evm-semantics: 5c8249e - Update dependency: deps/k (#932)
rv-jenkins
committed

Commits on Nov 11, 2020

deps/evm-semantics: ee9e01e - Remove Web3 (#933)
rv-jenkins
committed

Commits on Nov 12, 2020

deps/evm-semantics: 241ec10 - Update dependency: deps/plugin (#936)
rv-jenkins
committed
deps/evm-semantics: 11808d1 - Enable haskell backend on some more tests (#935)
rv-jenkins
committed

Commits on Nov 13, 2020

deps/evm-semantics: 1e512e3 - Update dependency: deps/k (#934)
rv-jenkins
committed

Commits on Nov 16, 2020

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

Commits on Nov 17, 2020

deps/evm-semantics: 603a9c5 - Update dependency: deps/k (#938)
rv-jenkins
committed

Commits on Nov 24, 2020

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

Commits on Dec 2, 2020

Commits on Dec 8, 2020

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

Commits on Dec 11, 2020

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

Commits on Dec 14, 2020

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

Commits on Dec 15, 2020

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

Commits on Dec 16, 2020

Commits on Jan 8, 2021

deps/evm-semantics: f38adeb - Improved infinite gas reasoning (#952)
rv-jenkins
committed

Commits on Jan 11, 2021

deps/evm-semantics: fda5167 - MKR regression proofs (#954)
rv-jenkins
committed

Commits on Jan 12, 2021

Commits on Jan 15, 2021

Commits on Jan 16, 2021

deps/evm-semantics: 26c1c3d - Update dependency: deps/plugin
rv-jenkins
committed

Commits on Jan 18, 2021

deps/evm-semantics: a972045 - Update plugin submodule
rv-jenkins
committed

Commits on Jan 19, 2021

deps/evm-semantics: 14abf5b - Update dependency: web/k-web-theme
rv-jenkins
committed

Commits on Feb 9, 2021

deps/evm-semantics: 07d47c9 - Make the lemmas for MCD proofs modular
rv-jenkins
committed

Commits on Feb 11, 2021

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

Commits on Feb 25, 2021

deps/evm-semantics: a86d05c - Update dependency: deps/k (#963)
rv-jenkins
committed

Commits on Feb 26, 2021

deps/evm-semantics: 4b70be7 - Enable more tests on Haskell backend
rv-jenkins
committed

Commits on Mar 4, 2021

Commits on Mar 8, 2021

deps/evm-semantics: 270d4f7 - Fixed the documentation website footer
rv-jenkins
committed

Commits on Mar 9, 2021

Commits on Mar 11, 2021

Commits on Mar 27, 2021

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

Commits on Mar 31, 2021

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

Commits on Apr 2, 2021

deps/evm-semantics: a3338178 - kevm runner script updates (#985)
rv-jenkins
committed

Commits on Apr 6, 2021

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

Commits on Apr 10, 2021

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

Commits on Apr 14, 2021

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

Commits on Apr 17, 2021

deps/evm-semantics: 1134fd7 - Update dependency: deps/k (#980)
rv-jenkins
committed

Commits on Apr 27, 2021

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

Commits on May 12, 2021

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

Commits on May 17, 2021

deps/evm-semantics: a7908e20 - Update dependency: deps/k (#997)
rv-jenkins
committed

Commits on Jun 3, 2021

Commits on Jun 4, 2021

deps/evm-semantics: 1ecbb185 - Update dependency: deps/k (#1001)
rv-jenkins
committed

Commits on Jun 7, 2021

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

Commits on Jun 8, 2021

deps/evm-semantics: 77e902ee - powbytelen abstraction (#1030)
rv-jenkins
committed

Commits on Jun 9, 2021

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

Commits on Jun 12, 2021

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

Commits on Jun 23, 2021

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

Commits on Jun 24, 2021

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

Commits on Jun 26, 2021

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

Commits on Jun 27, 2021

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

Commits on Jul 9, 2021

Commits on Jul 12, 2021

deps/evm-semantics: f94ce17b - Focal packaging fix (#1080)
rv-jenkins
committed

Commits on Jul 15, 2021

deps/evm-semantics: 2daec507 - Add page ToC (#1085)
rv-jenkins
committed

Commits on Jul 21, 2021

Commits on Aug 5, 2021

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

Commits on Aug 6, 2021

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

Commits on Aug 7, 2021

deps/evm-semantics: f395d985 - Pull out int-simplification (#1097)
rv-jenkins
committed

Commits on Aug 9, 2021

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

Commits on Aug 11, 2021

Commits on Aug 17, 2021

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

Commits on Aug 18, 2021

Commits on Aug 19, 2021

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

Commits on Aug 20, 2021

deps/evm-semantics: 7ad58877 - Update dependency: deps/k (#1119)
rv-jenkins
committed

Commits on Aug 24, 2021

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

Commits on Aug 26, 2021

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

Commits on Aug 30, 2021

Commits on Aug 31, 2021

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

Commits on Sep 2, 2021

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

Commits on Sep 8, 2021

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

Commits on Sep 9, 2021

deps/evm-semantics: 249e38ca - Update dependency: deps/k (#1126)
rv-jenkins
committed

Commits on Sep 13, 2021

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

Commits on Oct 14, 2021

deps/evm-semantics: 739ee2c3 - Fix release process (#1143)
rv-jenkins
committed

Commits on Oct 18, 2021

Commits on Oct 19, 2021

deps/evm-semantics: 22651aba - Update dependency: deps/k (#1147)
rv-jenkins
committed

Commits on Oct 25, 2021

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

Commits on Oct 27, 2021

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

Commits on Dec 7, 2021

deps/evm-semantics: 49457447 - Fix release process (#1158)
rv-jenkins
committed

Commits on Dec 8, 2021

deps/evm-semantics: 7479b1dd - Apple silicon build (#1163)
rv-jenkins
committed

Commits on Dec 9, 2021

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

Commits on Dec 11, 2021

deps/evm-semantics: fc35db2c - Update dependency: deps/k (#1160)
rv-jenkins
committed

Commits on Dec 14, 2021

deps/evm-semantics: 042133c3 - Update dependency: deps/k (#1171)
rv-jenkins
committed

Commits on Dec 17, 2021

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

Commits on Jan 12, 2022

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

Commits on Jan 15, 2022

Commits on Jan 20, 2022

Commits on Jan 24, 2022

deps/evm-semantics: 9beaf5af - Update dependency: deps/k (#1181)
rv-jenkins
committed

Commits on Jan 27, 2022

deps/evm-semantics: 6351bac9 - Update dependency: deps/k (#1184)
rv-jenkins
committed

Commits on Jan 31, 2022

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

Commits on Feb 11, 2022

deps/evm-semantics: e94c6823 - Update dependency: deps/k (#1185)
rv-jenkins
committed

Commits on Feb 12, 2022

deps/evm-semantics: b50311f1 - London schedule update (#1187)
rv-jenkins
committed

Commits on Feb 15, 2022

deps/evm-semantics: 6835a5f5 - Fix kevm_pyk packaging (#1194)
rv-jenkins
committed

Commits on Feb 17, 2022

deps/evm-semantics: 7b7a39f7 - Update dependency: deps/k (#1193)
rv-jenkins
committed

Commits on Feb 18, 2022

deps/evm-semantics: 86c2812a - Update dependency: deps/k (#1196)
rv-jenkins
committed

Commits on Feb 21, 2022

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

Commits on Feb 26, 2022

deps/evm-semantics: 32646797 - kevm: fix pyk-minimize (#1200)
rv-jenkins
committed

Commits on Mar 3, 2022

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