chriseth
|
140f0e51b8
|
Merge pull request #11104 from ethereum/addMissingHeader
Add missing header to Algorithms.h.
|
2021-03-15 14:20:30 +01:00 |
|
Daniel Kirchner
|
8f56c6ad5c
|
Add missing header to Algorithms.h.
|
2021-03-15 13:50:24 +01:00 |
|
Leonardo
|
2c00939ad8
|
Merge pull request #11097 from blishko/smt-reset-reference-variables
[SMTChecker] Reset reference variables on assignment to a variable of reference type
|
2021-03-15 12:06:37 +01:00 |
|
Martin Blicha
|
6aa6c5f5f9
|
[SMTChecker] Reset reference variables on assignment to a variable of reference type
|
2021-03-12 19:51:31 +01:00 |
|
Leonardo
|
ccd9de137a
|
Merge pull request #11088 from blishko/smt-assignment-cleanup
[SMTChecker] Fix handling of assignments of array/mapping state variable accessed using contract name.
|
2021-03-12 15:44:27 +01:00 |
|
Martin Blicha
|
0cb75293f9
|
[SMTChecker] fix handling of assignments of array/mapping state variable accessed using contract name
|
2021-03-12 14:01:07 +01:00 |
|
Daniel Kirchner
|
1265b39904
|
Merge pull request #11095 from ethereum/fixGcc8
Fix compilation error with GCC 8.
|
2021-03-12 13:25:25 +01:00 |
|
Daniel Kirchner
|
6d19a25705
|
Fix compilation error with GCC 8.
|
2021-03-12 12:28:18 +01:00 |
|
Bhargava Shastry
|
a93ad3b39c
|
Merge pull request #11094 from ethereum/use-map-evmhost
EVMHost: Use std::map for storage so that slots are stored in some order
|
2021-03-12 10:58:27 +01:00 |
|
Bhargava Shastry
|
788eb02825
|
EVMHost: Use std::map for storage so that slots are stored in some order.
|
2021-03-12 09:39:15 +01:00 |
|
Harikrishnan Mulackal
|
0e22d0bd40
|
Merge pull request #11079 from ethereum/fix-visibility-warning
AST import: constructors have default visibility
|
2021-03-11 12:23:46 +01:00 |
|
Leonardo
|
dd0f5be0c3
|
Merge pull request #11058 from ethereum/smt_fix_cex_order
[SMTChecker] Fix CHC cex order
|
2021-03-11 12:17:55 +01:00 |
|
hrkrshnn
|
ef0c4cc39f
|
AST Import: For constructors, a public visibility is ignored.
|
2021-03-11 10:44:19 +01:00 |
|
Leonardo Alt
|
6fd76e830d
|
Fix CHC cex order
|
2021-03-11 10:36:40 +01:00 |
|
chriseth
|
ec1c89d798
|
Merge pull request #11083 from ethereum/fix-typos-in-isolate-tests-py
Fix typos in isolate_tests.py
|
2021-03-11 10:28:26 +01:00 |
|
Kamil Śliwak
|
978c25f1a4
|
Fix typos in isolate_tests.py
|
2021-03-10 20:42:46 +01:00 |
|
Bhargava Shastry
|
23f03e1b61
|
Merge pull request #11061 from ethereum/evmhost-tracing
EVMHost: Add tracing features needed for fuzzing.
|
2021-03-10 20:30:34 +01:00 |
|
Bhargava Shastry
|
a30b071a5d
|
Update test/EVMHost.cpp
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
|
2021-03-10 18:10:20 +01:00 |
|
Bhargava Shastry
|
8023fdb537
|
Extract state printing to a separate class.
|
2021-03-10 17:41:03 +01:00 |
|
Bhargava Shastry
|
24f42c5541
|
Filter false positives due to EVM errors.
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
|
2021-03-10 17:41:03 +01:00 |
|
Bhargava Shastry
|
34c08ea2c6
|
EVMHost: Add tracing features needed for fuzzing.
|
2021-03-10 17:41:03 +01:00 |
|
chriseth
|
89946b15d2
|
Merge pull request #10863 from ethereum/isoltestGasCosts
[isoltest] Add gas costs to function call expectations
|
2021-03-10 15:11:20 +01:00 |
|
Djordje Mijovic
|
b73e9f3eef
|
Update tests.
|
2021-03-10 14:22:30 +01:00 |
|
Djordje Mijovic
|
63017bd510
|
Not showing gas used if it is equal to m_gas(in case of out of gas failures).
|
2021-03-10 14:22:30 +01:00 |
|
Djordje Mijovic
|
b3202f6b39
|
Ading CI job to check gas costs.
|
2021-03-10 14:22:30 +01:00 |
|
Djordje Mijovic
|
06171a3100
|
Changing enforceGasCost functionality.
|
2021-03-10 14:22:26 +01:00 |
|
Leonardo
|
b4c08b9bfe
|
Merge pull request #11076 from blishko/issue-11005
[SMTChecker] Fix ICE on array.pop nested inside 1-tuple
|
2021-03-10 10:36:42 +01:00 |
|
Djordje Mijovic
|
2b14efbbcc
|
Adding debug info on gas costs when updating gas values.
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
|
2021-03-09 21:48:11 +01:00 |
|
Djordje Mijovic
|
14a3731182
|
Don't run gas for ir if it is not explicitely added to expectations.
|
2021-03-09 21:27:44 +01:00 |
|
Djordje Mijovic
|
2c575db0ea
|
Show both expected and obtained gas expectations when failure happens.
|
2021-03-09 21:27:38 +01:00 |
|
Djordje Mijovic
|
12ef273d06
|
Setting metadata has and version type for semantic tests to be empty.
|
2021-03-09 21:26:45 +01:00 |
|
Djordje Mijovic
|
cf59d7fc13
|
Making order of gas expectations deterministic.
|
2021-03-09 21:26:45 +01:00 |
|
Djordje Mijovic
|
aed3832b27
|
Implementing enforcing gas expectations in isoltest.
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
|
2021-03-09 21:26:45 +01:00 |
|
Djordje Mijovic
|
515f15f7a3
|
Small style fix for SemanticTest constructor.
|
2021-03-09 21:26:45 +01:00 |
|
Djordje Mijovic
|
5ea97a5d43
|
Running gas tests only on tests having expectations.
|
2021-03-09 21:26:45 +01:00 |
|
Djordje Mijovic
|
6d51dfb617
|
[isoltest] Adding gas used as semantic tests expectation.
|
2021-03-09 21:26:36 +01:00 |
|
Martin Blicha
|
4285c2803b
|
[SMTChecker] Fix ICE on array.pop nested inside 1-tuple
|
2021-03-09 20:00:51 +01:00 |
|
chriseth
|
ad5d34df74
|
Merge pull request #11071 from ethereum/fixCRInSourceRefFor
Fix handling of carriage return.
|
2021-03-09 17:52:34 +01:00 |
|
Leonardo
|
5677df86af
|
Merge pull request #11069 from blishko/smt-array-slice-fix
[SMTChecker] Use same sort name for array slice as for the underlying array
|
2021-03-09 16:39:12 +01:00 |
|
chriseth
|
3116282006
|
Merge pull request #11072 from ethereum/dropEVM15
Drop experimental support for eip-615 and evm15.
|
2021-03-09 16:05:38 +01:00 |
|
Daniel Kirchner
|
a75424eec4
|
Drop support for evm15 and eip-615.
|
2021-03-09 15:56:03 +01:00 |
|
chriseth
|
5c2cd8d553
|
Merge pull request #11073 from ethereum/extractStackReuseTests
Extract StackReuseCodegen tests.
|
2021-03-09 15:52:23 +01:00 |
|
Daniel Kirchner
|
e99da7e015
|
Extract StackReuseCodegen tests.
|
2021-03-09 15:47:24 +01:00 |
|
chriseth
|
4027f40495
|
Merge pull request #11046 from ethereum/moveAndInsideOr
Move AND with constant inside OR.
|
2021-03-09 15:43:27 +01:00 |
|
chriseth
|
eb85a4414c
|
Fix handling of carriage return.
|
2021-03-09 15:33:12 +01:00 |
|
chriseth
|
40c27ccc22
|
Move AND with constant inside OR.
|
2021-03-09 15:26:19 +01:00 |
|
Martin Blicha
|
5af01f6896
|
[SMTChecker] Use same sort name for array slice as for the underlying array.
|
2021-03-09 11:06:22 +01:00 |
|
Leonardo
|
1d95f95635
|
Merge pull request #11059 from blishko/smt-array_of_structs-getter
[SMTChecker] Fix public getter for array of structs.
|
2021-03-09 10:39:34 +01:00 |
|
Martin Blicha
|
385a664f3c
|
[SMTChecker] Fix public getter for array of structs.
|
2021-03-08 17:34:20 +01:00 |
|
Kamil Śliwak
|
093ea4612b
|
Merge pull request #10586 from ethereum/shellcheck-fixes-part1
Fixes for shellcheck warnings, part 1
|
2021-03-05 17:13:46 +01:00 |
|