Daniel Kirchner
|
874f4d5447
|
Merge pull request #9407 from ethereum/refactorStorageSizeUpperBound
Refactor storageSizeUpperBound.
|
2020-07-14 12:17:45 +02:00 |
|
Daniel Kirchner
|
9c62ea182d
|
Fix segfault in oversized objects check in combination with var.
|
2020-07-14 11:23:39 +02:00 |
|
chriseth
|
f28bede34a
|
Refactor storageSizeUpperBound.
|
2020-07-14 10:45:02 +02:00 |
|
Alex Beregszaszi
|
950612cf42
|
Add more tests for strings with unicode (escapes)
|
2020-07-13 20:43:30 +01:00 |
|
chriseth
|
0212a16b02
|
Merge pull request #9401 from ethereum/isoltest-update-hex
Fix formatting hex strings in isoltest update
|
2020-07-13 20:27:15 +02:00 |
|
Alex Beregszaszi
|
6a1ad7e59c
|
Fix formatting hex strings in isoltest update
|
2020-07-13 19:06:16 +01:00 |
|
Alex Beregszaszi
|
870ea98c21
|
Prefix EIP-615 opcodes with EIP615 in Instructions
|
2020-07-13 17:34:19 +01:00 |
|
chriseth
|
289fc7a9d0
|
Merge pull request #9371 from ethereum/refactorInterpreter
Refactor yul interpreter.
|
2020-07-13 18:27:47 +02:00 |
|
chriseth
|
3376dbab47
|
Merge pull request #9378 from ethereum/variableDeclStackSlotReuse
Free variables directly after visiting RHS of VarDecls EVMCodeTransform.
|
2020-07-13 18:11:00 +02:00 |
|
Daniel Kirchner
|
def0ebbb3e
|
Free variables directly after visiting RHS of Variable Declarations during EVMCodeTransform.
|
2020-07-13 17:36:15 +02:00 |
|
chriseth
|
a783449195
|
Merge pull request #9362 from ethereum/swappedTagConjunctions
Remove unneccessary masking of tags.
|
2020-07-13 17:35:06 +02:00 |
|
chriseth
|
414e3bd6fe
|
Merge pull request #9387 from ethereum/swapDup
Remove swap after dup.
|
2020-07-13 17:27:43 +02:00 |
|
chriseth
|
080f33a72c
|
Remove swap after dup.
|
2020-07-13 15:05:01 +02:00 |
|
chriseth
|
1d666335f8
|
Merge pull request #9367 from ethereum/wasm-dialect
Add ctz and popcnt to WasmDialect
|
2020-07-13 15:02:34 +02:00 |
|
chriseth
|
f8ac90a8d1
|
Merge pull request #9392 from ethereum/fixOssfuzzSignConversion
Disabling `-Wsign-conversion` for `yul_proto_diff_custom_mutate_ossfuzz` target
|
2020-07-13 14:54:52 +02:00 |
|
Djordje Mijovic
|
a72b0deea6
|
Disabling -Wsign-conversion for yul_proto_diff_custom_mutate_ossfuzz target
|
2020-07-13 14:01:53 +02:00 |
|
Alex Beregszaszi
|
8df4baac42
|
Implement ctz/popcnt in yulInterpreter
|
2020-07-13 11:18:10 +01:00 |
|
Alex Beregszaszi
|
87557896ed
|
Add ctz and popcnt to WasmDialect
|
2020-07-13 11:10:14 +01:00 |
|
chriseth
|
c90d3a3558
|
Merge pull request #9384 from ethereum/yul-err-typo
Fix missing quote in error message for invalid Yul types
|
2020-07-13 11:28:55 +02:00 |
|
chriseth
|
b3566ad0d5
|
Merge pull request #9082 from ethereum/conversionWarnings
Adding `-Wsign-conversion` flag and fixing errors
|
2020-07-13 11:28:09 +02:00 |
|
Daniel Kirchner
|
b7b3411464
|
Merge pull request #9377 from ethereum/smtNoOptions
Add nooptions label to smt checks.
|
2020-07-12 23:32:31 +02:00 |
|
Daniel Kirchner
|
c8f25142a7
|
Add nooptions label to smt checks.
|
2020-07-11 20:17:12 +02:00 |
|
Daniel Kirchner
|
d1ea33bcca
|
Merge pull request #9383 from ethereum/updateJsonCpp
Upgrade json-cpp to 1.9.3.
|
2020-07-10 22:41:38 +02:00 |
|
Alex Beregszaszi
|
20dd66f398
|
Fix missing quote in error message for invalid Yul types
|
2020-07-10 21:06:09 +01:00 |
|
Daniel Kirchner
|
0fd13b7a9e
|
Upgrade json-cpp to 1.9.3.
|
2020-07-10 21:40:15 +02:00 |
|
Daniel Kirchner
|
65ed93d99f
|
Merge pull request #9366 from ethereum/wasm-clz
Fix yulInterpreter to correctly handle i32.clz
|
2020-07-10 20:36:24 +02:00 |
|
Leonardo
|
8d4ec27544
|
Merge pull request #9376 from ethereum/smt_refactor_targets
[SMTChecker] Refactor verification targets
|
2020-07-10 17:30:48 +02:00 |
|
a3d4
|
cf5e9a3551
|
Merge pull request #9062 from a3d4/fix-oversized-object-compiler-error
Fix internal compiler error related to oversized objects
|
2020-07-10 16:43:43 +02:00 |
|
Alex Beregszaszi
|
f5ae9c5761
|
Fix yulInterpreter to correctly handle i32.clz
|
2020-07-10 15:38:25 +01:00 |
|
a3d4
|
efc5ee207d
|
Fix internal compiler error caused by oversized objects
|
2020-07-10 11:39:07 +02:00 |
|
Leonardo Alt
|
88030c6568
|
[SMTChecker] Refactor verification targets
|
2020-07-10 10:28:49 +02:00 |
|
Djordje Mijovic
|
3781ee6349
|
Removing -Wsign-conversion flag for ossfuzz targets
|
2020-07-09 17:22:52 +02:00 |
|
Alex Beregszaszi
|
a0300835eb
|
Change CHC to avoid sign mismatch
|
2020-07-09 17:22:52 +02:00 |
|
Djordje Mijovic
|
547590b972
|
Fixing additional signedness errors after adding -Wsign-conversion flag
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
|
2020-07-09 17:22:45 +02:00 |
|
chriseth
|
e144e85f45
|
Merge pull request #9374 from ethereum/runoptionsfirst
Run "options" test first to get early failures.
|
2020-07-09 16:19:28 +02:00 |
|
chriseth
|
82b66c7687
|
Merge pull request #9372 from a3d4/improve-error-coverage-cmdlinetests
Cover cmdlineTests.sh errors
|
2020-07-09 16:17:00 +02:00 |
|
chriseth
|
872858078f
|
Run "options" test first to get early failures.
|
2020-07-09 16:16:17 +02:00 |
|
chriseth
|
2b94ced65f
|
Merge pull request #8305 from ethereum/fix-7947
yul proto fuzzer: Use custom mutation routines
|
2020-07-09 15:40:16 +02:00 |
|
chriseth
|
8b52985744
|
Merge pull request #9357 from ethereum/fix-9356
Disable more than one reference to a variable on the LHS of a tuple a…
|
2020-07-09 15:27:04 +02:00 |
|
Djordje Mijovic
|
3c57e04751
|
Adding -Wsign-conversion flag to cmake.
|
2020-07-09 15:07:56 +02:00 |
|
chriseth
|
3cf5ed9514
|
Use plain strings for comparison.
|
2020-07-09 15:00:13 +02:00 |
|
chriseth
|
ec2393d3b6
|
Refactor interpreter.
|
2020-07-09 15:00:13 +02:00 |
|
a3d4
|
a068583bec
|
Cover cmdlineTests.sh errors
|
2020-07-09 14:39:05 +02:00 |
|
Bhargava Shastry
|
7272129354
|
yul fuzzer: Add framework for yul optimizer custom mutation routines
Co-authored-by: Leonardo <leo@ethereum.org>
|
2020-07-09 13:32:07 +02:00 |
|
chriseth
|
8548bf1b4c
|
Merge pull request #9365 from ethereum/fixProofScript
Proof script should only run on existing files.
|
2020-07-08 23:58:17 +02:00 |
|
Daniel Kirchner
|
fe5bcf759e
|
Run proof script only on existing files.
|
2020-07-08 22:57:36 +02:00 |
|
chriseth
|
f3e100a000
|
Merge pull request #9359 from ethereum/doNotRunAllTests
Do not run tests that do not need options multiple times.
|
2020-07-08 22:19:46 +02:00 |
|
Daniel Kirchner
|
29bad26dee
|
Merge pull request #9122 from ethereum/optimizeShiftBytes
Optimize combination of byte and shl.
|
2020-07-08 21:41:49 +02:00 |
|
chriseth
|
59f4989966
|
Optimize combination of byte and shl.
|
2020-07-08 20:26:46 +02:00 |
|
chriseth
|
d3abbd5610
|
Remove unneccessary masking of tags.
|
2020-07-08 20:16:39 +02:00 |
|