Commit Graph

17251 Commits

Author SHA1 Message Date
Mathias Baumann
f47981d484 Prepare testcase for avoiding double cleanup 2020-07-16 13:53:46 +02:00
chriseth
13e19529c3
Merge pull request #9424 from ethereum/smt_fix_bitwise_fixed_bytes
[SMTChecker] Fix ICE when bitwise operator on fixed bytes
2020-07-16 13:27:37 +02:00
chriseth
4e6b660839
Merge pull request #9421 from ethereum/parallel
Run tests in parallel.
2020-07-16 00:35:50 +02:00
chriseth
0b9bb84c39 Run tests in parallel. 2020-07-15 23:50:43 +02:00
chriseth
59c6a1f57b
Merge pull request #9427 from ethereum/recursiveFunctionDetection
Extract recursive function detection from Semantics into the CallGraph.
2020-07-15 20:31:48 +02:00
Daniel Kirchner
99d831d7d1 Extract recursive function detection from Semantics into the CallGraph. 2020-07-15 20:30:52 +02:00
Leonardo Alt
46653b2d43 Fix ICE when bitwise operator on fixed bytes 2020-07-15 19:32:15 +02:00
chriseth
bd6cd027a3
Merge pull request #9419 from ethereum/moarproc
Use more processors to build base builds.
2020-07-15 16:58:46 +02:00
chriseth
ca313e4003 Use more processors to build base builds. 2020-07-15 16:45:20 +02:00
Daniel Kirchner
8226f3e804
Merge pull request #9368 from aarlt/docker-workflow
Initial docker image creation workflows.
2020-07-15 11:20:06 +02:00
Alexander Arlt
aed424f23e Initial docker image creation workflows. 2020-07-14 19:00:48 -05:00
chriseth
dca85a286d
Merge pull request #9398 from ethereum/eip615
Prefix EIP-615 opcodes with EIP615 in Instructions
2020-07-14 19:18:02 +02:00
chriseth
e970e58a9f
Merge pull request #9411 from ethereum/private-payable-msg
Nicer error message for private payable functions
2020-07-14 15:55:13 +02:00
Alex Beregszaszi
eab12ecf77 Nicer error message for private payable functions 2020-07-14 14:38:12 +01:00
chriseth
526e7b878b
Merge pull request #9403 from ethereum/string-tests
Add more tests for strings with unicode (escapes)
2020-07-14 13:49:06 +02:00
chriseth
f93932c259
Merge pull request #9406 from ethereum/fixSegfault
Fix segfault in oversized objects check in combination with var.
2020-07-14 13:30:33 +02:00
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