Skip to content

Update dependency: deps/evm-semantics #27

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
rv-jenkins wants to merge 81 commits into
base: master
Choose a base branch
from
Open

Update dependency: deps/evm-semantics #27

Changes from all commits
Commits
Show all changes
81 commits
Select commit Hold shift + click to select a range
daff291
deps/evm-semantics: 875788f7 - Update repo location (#1207)
rv-jenkins Mar 18, 2022
523500c
deps/evm-semantics: 4c687362 - Update dependency: deps/k (#1213)
rv-jenkins Mar 23, 2022
b7c5cd0
deps/evm-semantics: c0a14f6a - Update dependency: deps/k (#1221)
rv-jenkins Apr 4, 2022
4c11161
deps/evm-semantics: f12a36b2 - Update dependency: deps/k (#1222)
rv-jenkins Apr 12, 2022
f9ca852
deps/evm-semantics: 92ed6201 - Reorganize kevm_pyk distribution (#1219)
rv-jenkins Apr 13, 2022
b2c56fe
deps/evm-semantics: bcb6db08 - Skip slow-running proofs on CI (#1225)
rv-jenkins Apr 14, 2022
c149e55
deps/evm-semantics: a8720c32 - Fix vat-subui-fail spec (#1223)
rv-jenkins Apr 16, 2022
6d79041
deps/evm-semantics: 7fe9478a - Fix pyk version (#1229)
rv-jenkins Apr 22, 2022
1a9a295
deps/evm-semantics: 92826bd7 - Update dependency: deps/k (#1230)
rv-jenkins Apr 26, 2022
f3b8166
deps/evm-semantics: 2cd8b2ca - Update dependency: deps/k (#1231)
rv-jenkins Apr 26, 2022
abdcea7
deps/evm-semantics: 97d01458 - Update dependency: deps/k (#1234)
rv-jenkins Apr 28, 2022
c7c9d3c
deps/evm-semantics: 7bba9e9a - Fix release (#1237)
rv-jenkins Apr 30, 2022
a890d23
deps/evm-semantics: 382ae14c - Update dependency: deps/k (#1239)
rv-jenkins May 2, 2022
1a0721a
deps/evm-semantics: 0cd0f686 - Fixes to spec generation (#1238)
rv-jenkins May 2, 2022
107ed40
deps/evm-semantics: cc1f5770 - Switch --directory => --definition fla…
rv-jenkins May 5, 2022
13668d1
deps/evm-semantics: 0c6f0285 - Update dependency: deps/k (#1242)
rv-jenkins May 7, 2022
d1318f4
deps/evm-semantics: 49a16920 - Lemma fix for dstoken-burn-self-fail-r…
rv-jenkins May 10, 2022
8963119
deps/evm-semantics: b10ff6f2 - Remove tests/specs/mcd/vat-move-diff-r…
rv-jenkins May 12, 2022
3e9d318
deps/evm-semantics: c83df97d - Fix debian packaging (#1255)
rv-jenkins May 23, 2022
0995004
deps/evm-semantics: 9855ffbd - vow-flog-fail-rough-spec passing (#1246)
rv-jenkins May 24, 2022
7db735c
deps/evm-semantics: 66976ec4 - Drop kprovex (#1257)
rv-jenkins May 25, 2022
83c9fea
deps/evm-semantics: 20599bc7 - Update dependency: web/k-web-theme (#1…
rv-jenkins May 30, 2022
6982f6c
deps/evm-semantics: a79d4947 - Update dependency: deps/k (#1256)
rv-jenkins May 31, 2022
f8be975
deps/evm-semantics: 583d242c - Modify solc_compile to use the solc st…
rv-jenkins May 31, 2022
0b1d334
deps/evm-semantics: 740b24fe - Update dependency: web/k-web-theme (#1…
rv-jenkins May 31, 2022
3a5a381
deps/evm-semantics: dad99900 - Update dependency: deps/k (#1263)
rv-jenkins Jun 12, 2022
5316867
deps/evm-semantics: 039afd1b - Update dependency: deps/k (#1265)
rv-jenkins Jun 25, 2022
9876b56
deps/evm-semantics: 04e56d1d - Update dependency: deps/k (#1274)
rv-jenkins Jul 4, 2022
e99baf1
deps/evm-semantics: 8329af0b - kevm_pyk: Import pretty names for symb…
rv-jenkins Jul 6, 2022
41ac9be
deps/evm-semantics: 40a44710 - Handle more arguments with pyk prover …
rv-jenkins Jul 13, 2022
75dfe6d
deps/evm-semantics: 05264cbd - Add `kevm foundry-to-k ...` command (#…
rv-jenkins Jul 14, 2022
bffcfa2
deps/evm-semantics: 6e8709ab - Include INFINITE-GAS into EDSL (#1284)
rv-jenkins Jul 18, 2022
34e95d3
deps/evm-semantics: 386b714b - Echo activation command for `make kevm…
rv-jenkins Jul 19, 2022
d9e77b7
deps/evm-semantics: e0cb9a3d - Update dependency: deps/k (#1286)
rv-jenkins Aug 3, 2022
a550d1e
deps/evm-semantics: 44899a2d - Add initial foundry.md (#1305)
rv-jenkins Aug 4, 2022
1489dbe
deps/evm-semantics: 6cbd0044 - Storage hashed location refactoring (#…
rv-jenkins Aug 5, 2022
0f49dda
deps/evm-semantics: 67eeac2a - Use krun bash script directly for kevm…
rv-jenkins Aug 9, 2022
ad00b85
deps/evm-semantics: 5e519e4b - Add command `gst-to-kore` to kevm_pyk …
rv-jenkins Aug 9, 2022
133ad4d
deps/evm-semantics: 0f9831de - Update dependency: deps/k (#1313)
rv-jenkins Aug 10, 2022
77f2fce
deps/evm-semantics: 30b5be8e - Deal: typo and documentation (#1335)
rv-jenkins Aug 26, 2022
6be1a67
deps/evm-semantics: e8abecca - Cleanups (#1332)
rv-jenkins Aug 27, 2022
9c1e278
deps/evm-semantics: 7f8c09dc - Refactor `kevm_pyk.__main__` (#1337)
rv-jenkins Aug 28, 2022
74a6efe
deps/evm-semantics: 3e7f5832 - Small cleanups on kevm_pyk CLI (#1342)
rv-jenkins Aug 29, 2022
72a8586
deps/evm-semantics: f5d1d837 - Updated build instructions (macOS + Tr…
rv-jenkins Aug 31, 2022
e54e13d
deps/evm-semantics: 057044e0 - Minimize CI time in various ways (#1351)
rv-jenkins Aug 31, 2022
fb861c9
deps/evm-semantics: e54bca22 - Added label cheatcode to foundry.md (#…
rv-jenkins Sep 1, 2022
de33a33
deps/evm-semantics: 9953a2c8 - Fix `kevm-pyk` packaging (#1355)
rv-jenkins Sep 2, 2022
a7d7639
deps/evm-semantics: b6ee1690 - Implement etch cheatcode (#1340)
rv-jenkins Sep 2, 2022
39904e0
deps/evm-semantics: 21a47e0a - Update dependency: deps/k (#1357)
rv-jenkins Sep 3, 2022
81b0bff
deps/evm-semantics: 694659e3 - Rule for addr cheatcode (#1356)
rv-jenkins Sep 7, 2022
f0f6bfb
deps/evm-semantics: 5bed7c4e - getNonce cheat code (#1361)
rv-jenkins Sep 7, 2022
8564ff1
deps/evm-semantics: 3b089dc7 - Less restrictive rules for Foundry che…
rv-jenkins Sep 8, 2022
8a3873a
deps/evm-semantics: 2820bd87 - Updates to foundry commands (#1350)
rv-jenkins Sep 9, 2022
659e8ba
deps/evm-semantics: c6005650 - Allow proving individual claims (#1366)
rv-jenkins Sep 13, 2022
2f68046
deps/evm-semantics: 1ffe4928 - 16 additional tests passing in Haskell…
rv-jenkins Sep 13, 2022
52352c7
deps/evm-semantics: e6086d56 - Fix README.md to get build-prove worki…
rv-jenkins Sep 14, 2022
385502c
deps/evm-semantics: cf2eecc6 - Construct KCFGs for Foundry proof obli…
rv-jenkins Sep 14, 2022
8a8f019
deps/evm-semantics: 74ff9749 - Refactor `gen_claims_for_contract` (#1…
rv-jenkins Sep 14, 2022
a8a64e5
deps/evm-semantics: 0f57d7e3 - Allow passing --workers/-j argument to…
rv-jenkins Sep 15, 2022
ece83ed
deps/evm-semantics: 2aaec12b - Directly construct KCFGs in foundry-ko…
rv-jenkins Sep 17, 2022
a8a2153
deps/evm-semantics: a7e1c8b1 - Support for Foundry's load/store cheat…
rv-jenkins Sep 18, 2022
dd09148
deps/evm-semantics: 5ec6128c - Add all uint types for foundry test pa…
rv-jenkins Sep 20, 2022
08d7e97
deps/evm-semantics: 0e96c8d5 - Update dependency: deps/k (#1383)
rv-jenkins Sep 22, 2022
b1d6d40
deps/evm-semantics: 03e816bd - Separate generaion of main module and …
rv-jenkins Sep 25, 2022
d0a2841
deps/evm-semantics: 203a020a - Pass `KPrint` instance to `contract_to…
rv-jenkins Sep 26, 2022
53c1391
deps/evm-semantics: 763369a8 - Update KCFG generation to use Foundry …
rv-jenkins Sep 27, 2022
ee96411
deps/evm-semantics: f326cfb1 - Single concrete rules file (#1396)
rv-jenkins Sep 28, 2022
bbf8889
deps/evm-semantics: 757ecb4f - foundry.md: formatting and clean-up (#…
rv-jenkins Sep 28, 2022
5a71bc8
deps/evm-semantics: cc9e2aac - Fix performance regression in benchmar…
rv-jenkins Sep 29, 2022
1d409a2
deps/evm-semantics: e8caad2c - Rule for setNonce cheatcode (#1364)
rv-jenkins Oct 3, 2022
97d00ec
deps/evm-semantics: a1ffa8a6 - Add new Foundry tests (#1409)
rv-jenkins Oct 4, 2022
507fcc7
deps/evm-semantics: b4fec5fc - Fix issues with term generation (#1411)
rv-jenkins Oct 5, 2022
b4a8214
deps/evm-semantics: 670e678b - Use #loadAccounts to for deal, etch, a…
rv-jenkins Oct 7, 2022
22f1471
deps/evm-semantics: 90fda0cb - Update `pyk` to v0.1.16 (#1415)
rv-jenkins Oct 7, 2022
62bd5ad
deps/evm-semantics: 25051798 - Create individual definition for found…
rv-jenkins Oct 20, 2022
d42dd4f
deps/evm-semantics: 82d59df2 - Github workflows for PRs (#1395)
rv-jenkins Oct 20, 2022
65df40f
deps/evm-semantics: 58c11a3c - Container collision fix (#1428)
rv-jenkins Oct 21, 2022
c2b2c0a
deps/evm-semantics: c1789adf - Add rules for ABI encoding of bytes4 t…
rv-jenkins Oct 21, 2022
50da8bf
deps/evm-semantics: f5ffb680 - Generate individual KCFGs for each met…
rv-jenkins Oct 24, 2022
95eec35
deps/evm-semantics: 3d3d79ee - Ignore binRuntime rules in foundry.k.c…
rv-jenkins Oct 25, 2022
9508cc3
deps/evm-semantics: 0539c0cc - Handle auto-updates from pyk repo (#1431)
rv-jenkins Oct 25, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion deps/evm-semantics
Open in desktop
Submodule evm-semantics updated from 5da851 to 0539c0