Ladislav Sladecek
|
9bbeea58c8
|
Make --pretty-json work with Standard JSON output
|
2021-07-26 16:00:46 +02:00 |
|
Mathias Baumann
|
bf204403d8
|
Add "@use-src" header for generated yul code
|
2021-07-15 14:26:01 +02:00 |
|
Marenz
|
57db4c82ba
|
Fix: Use correct byte offset separation
":" instead of ","
|
2021-07-15 13:15:21 +02:00 |
|
Christian Parpart
|
f9f32c910d
|
Fix source location for `if` statements.
|
2021-07-07 17:37:01 +02:00 |
|
chriseth
|
6ba298c82b
|
Include locations with empty source name.
|
2021-07-07 12:13:52 +02:00 |
|
chriseth
|
8d5e82b406
|
Fix source location of builtin function calls.
|
2021-07-06 16:54:29 +02:00 |
|
Kamil Śliwak
|
105b4b4c8b
|
Update tests
|
2021-07-05 13:46:53 +02:00 |
|
Kamil Śliwak
|
e3b345e5f0
|
Use a simpler stack optimization test to avoid having ICE message with absolute paths as expected output
|
2021-07-01 17:29:24 +02:00 |
|
Kamil Śliwak
|
753f359157
|
Replace stack optimization command-line test with Standard JSON ones
- It's not possible to run optimizer with only stack optimization enabled on the CLI.
|
2021-07-01 16:54:09 +02:00 |
|
Kamil Śliwak
|
9d08b5001f
|
Add sstore to linker tests to prevent the address from being optimized out
|
2021-07-01 16:54:09 +02:00 |
|
Alex Beregszaszi
|
cd60ade472
|
Improve some Yul object and command line tests to avoid using pop() which can be optimized out
|
2021-07-01 16:54:09 +02:00 |
|
Mathias Baumann
|
c47d02066c
|
Fix yul codegen bug when using binary negatition.
|
2021-06-29 17:41:03 +02:00 |
|
Djordje Mijovic
|
838f59fa5b
|
Adding origin location notation to yul ir.
|
2021-06-21 18:48:20 +02:00 |
|
chriseth
|
0df8a38e55
|
Support metadata via IR.
|
2021-06-21 18:20:31 +02:00 |
|
chriseth
|
29a995b937
|
Merge pull request #11433 from ethereum/panic-dedup
Insert a call to panic function in legacy codegen (and not inline it every single time)
|
2021-05-31 11:23:30 +02:00 |
|
Alex Beregszaszi
|
47167a42a7
|
Update tests
|
2021-05-27 18:31:54 +01:00 |
|
Leo Alt
|
cb017b95cf
|
update tests
|
2021-05-26 22:12:49 +02:00 |
|
chriseth
|
f9c94d7c42
|
Note function entry points.
|
2021-05-04 17:15:13 +02:00 |
|
chriseth
|
aded56b5b9
|
Update tests
|
2021-05-03 18:28:43 +02:00 |
|
chriseth
|
2e274a0b26
|
Add commandline test to show debug strings.
|
2021-05-03 18:28:39 +02:00 |
|
chriseth
|
426d60f07b
|
Commandline test updates.
|
2021-04-29 16:46:25 +02:00 |
|
chriseth
|
f30ef06d62
|
Update tests.
|
2021-04-29 15:08:54 +02:00 |
|
chriseth
|
cb1af8b88a
|
Make verbatim compatible with KnownState.
|
2021-04-26 19:56:44 +02:00 |
|
chriseth
|
e2d8005737
|
Add verbatim builtin.
|
2021-04-26 19:56:44 +02:00 |
|
Alex Beregszaszi
|
73b804aff4
|
Update tests
|
2021-04-23 15:54:10 +01:00 |
|
hrkrshnn
|
b636ef881e
|
Added command line tests for keccak optimization with low runs
The value of keccak256(0, 32) should not be replaced by the big constant
|
2021-04-22 18:19:47 +02:00 |
|
hrkrshnn
|
221292c278
|
Tests and changelog
|
2021-04-22 18:19:47 +02:00 |
|
chriseth
|
314f361d07
|
Update commandline tests.
|
2021-04-22 16:54:02 +02:00 |
|
chriseth
|
35b651103d
|
Adjust cost of literal zero.
|
2021-04-22 11:42:42 +02:00 |
|
Leonardo
|
7bbf3a694b
|
Merge pull request #11261 from ethereum/smt_choose_target
[SMTChecker] Add option to choose contracts to be analyzed
|
2021-04-21 13:11:33 +02:00 |
|
Djordje Mijovic
|
d03744489f
|
Update cmdline tests.
|
2021-04-21 11:01:22 +02:00 |
|
Leonardo Alt
|
dd1865873e
|
Choose contracts to be analyzed by the SMTChecker
|
2021-04-21 10:34:14 +02:00 |
|
chriseth
|
6a0a51110d
|
Merge pull request #11256 from ethereum/smt_target_array
Change settings.modelChecker.targets to take an array instead of string
|
2021-04-19 18:47:06 +02:00 |
|
Leonardo Alt
|
e3abde43f5
|
Change settings.modelChecker.targets to take an array instead of string
|
2021-04-19 17:53:03 +02:00 |
|
Kamil Śliwak
|
0d4871ad10
|
Prevent adding '-' CLI flag to allowed paths as if it was an actual file
- This resulted in a bug where using stdin was effectively disabling allowed path checks.
|
2021-04-19 16:58:48 +02:00 |
|
Kamil Śliwak
|
2abd3073d4
|
Merge pull request #11235 from ethereum/cmdline-tests-for-stdin
Allow using stdin in cmdlineTests
|
2021-04-19 16:21:43 +02:00 |
|
chriseth
|
8eb0d5edf6
|
Export used errors in the AST.
|
2021-04-19 14:15:50 +02:00 |
|
Kamil Śliwak
|
59ef75cf5a
|
cmdlineTests: Allow providing content of the standard input when not testing via Standard JSON
|
2021-04-13 13:37:12 +02:00 |
|
Kamil Śliwak
|
4e4f46cde5
|
cmdlineTests: Allow tests with no input file
|
2021-04-13 13:37:12 +02:00 |
|
Kamil Śliwak
|
6a41b417a3
|
FileReader: Store files loaded by the callback under their source unit name
|
2021-04-13 13:25:59 +02:00 |
|
chriseth
|
2ed17e4b43
|
Update tests.
|
2021-04-12 13:43:56 +02:00 |
|
Leonardo Alt
|
ad10bee8f0
|
update command line tests
|
2021-04-08 21:03:39 +02:00 |
|
chriseth
|
0cc0cabd30
|
Merge pull request #11224 from ethereum/lastAllocationUnbounded
Use unbounded allocation before returning.
|
2021-04-08 19:32:40 +02:00 |
|
Daniel Kirchner
|
96c8123b6b
|
Use unbounded allocation before returning.
|
2021-04-08 18:37:24 +02:00 |
|
Daniel Kirchner
|
4b0f8383a6
|
Reuse function argument slots and defer allocation of return variable slots in EVMCodeTransform.
|
2021-04-06 13:38:05 +02:00 |
|
Martin Blicha
|
330fb8f4d0
|
[SMTChecker] Assignment refactoring
|
2021-03-31 13:36:50 +02:00 |
|
Leonardo Alt
|
dbd067d6db
|
Report out of bounds index access
|
2021-03-30 10:28:48 +02:00 |
|
hrkrshnn
|
09998ceb0c
|
Tests for FunctionSpecializer
|
2021-03-29 11:02:18 +02:00 |
|
Daniel Kirchner
|
8b3095920a
|
Inline ordinary jumps to small blocks and jumps to terminating control flow.
|
2021-03-24 13:50:24 +01:00 |
|
chriseth
|
7aa51bcb40
|
Test updates.
|
2021-03-18 08:42:49 +01:00 |
|