Alex Beregszaszi
62028c90f0
[ewasm] Overhaul memory handling in EwasmInterpreter
...
Introduce writeMemory and read/writeBytes32/Address helpers.
Fix read/writeU128/U256 to be little-endian.
Update each instruction to follow the specification.
2020-10-28 11:57:18 +00:00
Alex Beregszaszi
24d8c2ed90
Split error codes for EVM opcodes
2020-10-28 11:45:46 +00:00
chriseth
9b353103b4
Merge pull request #10121 from ethereum/ewasm-stop
...
[ewasm] Implement stop() in EVM->Ewasm translator
2020-10-28 12:41:17 +01:00
Đorđe Mijović
1f50b86aad
Merge pull request #10073 from ethereum/smt_format_array_cex
...
Format array cex
2020-10-28 12:39:19 +01:00
chriseth
b2e268ae13
Merge pull request #10129 from ethereum/asm-push1
...
Make use of pushInstruction() helper in libevmasm
2020-10-28 12:33:14 +01:00
Leonardo Alt
25f75ce547
Remove nondet tests
2020-10-28 11:03:42 +00:00
chriseth
cc4b44058d
Merge pull request #10126 from ethereum/fixIceStructCalldataToStorageSol2Yul
...
[Sol->Yul] Fixing ice when copying struct that contains nested array to storage
2020-10-28 11:46:22 +01:00
Alex Beregszaszi
e5faea5f35
Make use of pushInstruction() helper in libevmasm
2020-10-28 10:11:54 +00:00
Leonardo
07c454949f
Merge pull request #10127 from ethereum/fixIceSmtBitwise
...
[SMTChecker] Fix ICE when using >>>
2020-10-28 09:28:18 +00:00
Djordje Mijovic
28f92064b9
[Sol->Yul] Fixing ice when copying struct that contains nested array to storage
2020-10-28 09:28:40 +01:00
Djordje Mijovic
9cc37c3fa4
[SMTChecker] Fix ICE when using >>>
2020-10-28 09:25:14 +01:00
Alex Beregszaszi
13652bd4a9
[ewasm] Add assertion for datasize/dataoffset in BinaryTransform
2020-10-27 17:43:31 +00:00
Alex Beregszaszi
6d79a8885f
[ewasm] Implement stop() in EVM->Ewasm translator
2020-10-27 17:09:30 +00:00
Leonardo Alt
f2f84a7f97
Format array cex
2020-10-27 16:32:43 +00:00
Leonardo
f1ed510045
Merge pull request #10068 from ethereum/smt_from_z3_expr
...
Refactor SMT cex graph
2020-10-27 12:49:15 +00:00
Leonardo Alt
446e46fe06
Use Expression instead of plain strings for counterexamples
2020-10-27 12:04:51 +00:00
Leonardo Alt
72b052eae7
Convert z3::expr to smtutil::Expression
2020-10-27 12:04:51 +00:00
Harikrishnan Mulackal
71d815f565
Merge pull request #10114 from ethereum/restructureBreaking
...
Re-structure list of breaking changes.
2020-10-26 18:49:38 +01:00
chriseth
15e2d8a48a
Re-structure list of breaking changes.
2020-10-26 17:46:33 +01:00
Leonardo
96c188be9d
Merge pull request #10111 from ethereum/smt_fix_assignment
...
[SMTChecker] Fix assignment to contract member access
2020-10-26 15:13:41 +00:00
Leonardo Alt
4755cfe157
Fix assignment to contract member access
2020-10-26 14:39:02 +00:00
Leonardo
b605ca50c8
Merge pull request #10112 from ethereum/fix-smt-test
...
[BREAKING] Fix smt test
2020-10-26 13:47:29 +00:00
hrkrshnn
0e30fbbae1
Fix failing SMTChecker test on breaking
2020-10-26 14:01:40 +01:00
Harikrishnan Mulackal
07e3f60ffc
Merge pull request #10095 from ethereum/smt_fix_conditional
...
[SMTChecker] Fix ICE on conditional with tuples of rationals
2020-10-26 10:15:26 +01:00
Leonardo Alt
d3d77e482c
Fix ICE on conditions with tuples of rationals
2020-10-23 14:47:53 +01:00
chriseth
08a27b9c5b
Merge pull request #10093 from ethereum/clarifyEvaluation
...
Clarify evaluation of arguments to require.
2020-10-23 10:41:46 +02:00
chriseth
20f39ab6e9
Merge pull request #10097 from ethereum/develop
...
Merge develop into breaking.
2020-10-23 10:30:24 +02:00
chriseth
f22cb64710
Merge pull request #10013 from ethereum/errorCodesPanic
...
Panic with error codes.
2020-10-22 19:38:27 +02:00
chriseth
70e7326695
Document Panic.
2020-10-22 19:26:26 +02:00
chriseth
fae1773ce0
Changelog entry.
2020-10-22 19:25:55 +02:00
chriseth
93642f9bfc
Enum panic test for pre-byzantium.
2020-10-22 19:25:55 +02:00
chriseth
6d3528b4a7
Update gas costs.
2020-10-22 19:25:55 +02:00
chriseth
60af9d24ff
Update tests.
2020-10-22 19:25:55 +02:00
chriseth
bfd267459c
Panic codes.
2020-10-22 19:25:55 +02:00
chriseth
b559de11ee
Ignore return error data for pre-byzantium.
2020-10-22 19:25:55 +02:00
chriseth
ec9f13a255
Merge pull request #10092 from ethereum/removeLog
...
Remove low-level log functions.
2020-10-22 19:16:07 +02:00
Leonardo
95c521a3c4
Merge pull request #10094 from blishko/selector
...
[SMTChecker] Added support for selector when expression's value is known at compile time
2020-10-22 17:26:27 +01:00
chriseth
b4771f2a1c
Clarify evaluation of arguments to require.
2020-10-22 18:07:02 +02:00
chriseth
bfc8e26007
Remove low-level log functions.
2020-10-22 17:50:14 +02:00
Martin Blicha
ade3b9951c
[SMTChecker] Added support for selector when expression's value is known at compile time
2020-10-22 14:18:52 +02:00
chriseth
2b983879c1
Merge pull request #10077 from ethereum/smt_fix_typecast
...
[SMTChecker] Fix ICE implicit conversion string literal -> byte
2020-10-22 11:20:22 +02:00
Leonardo Alt
b087fa9750
[SMTChecker] Fix ICE implicit conversion string literal -> byte
2020-10-21 22:03:01 +01:00
chriseth
38d58a4587
Merge pull request #10072 from ethereum/disableTravis
...
Disable travis.
2020-10-21 18:57:38 +02:00
Leonardo
dae41b4cfd
Merge pull request #10078 from blishko/chc_division_by_zero
...
[SMTChecker] Enable division by zero checks in CHC engine
2020-10-21 17:29:08 +01:00
Martin Blicha
f0d81601db
[SMTChecker] Adding division by zero checks in the CHC engine
2020-10-21 14:48:33 +02:00
chriseth
a83ad58109
Merge pull request #10081 from ethereum/maskBytes
...
Extract mask bytes function.
2020-10-21 10:09:40 +02:00
chriseth
3920f398aa
Update libsolidity/codegen/YulUtilFunctions.h
...
Co-authored-by: Harikrishnan Mulackal <webmail.hari@gmail.com>
2020-10-21 09:48:22 +02:00
chriseth
0639467237
Merge pull request #10030 from ethereum/issue-7627
...
Fix dependency tracking for abstract contracts
2020-10-20 17:50:09 +02:00
chriseth
53d6721e47
Extract mask bytes function.
2020-10-20 17:36:46 +02:00
Mathias Baumann
a4dc110b38
Fix dependency tracking for abstract contracts for Yul codegen
2020-10-20 16:58:24 +02:00