Daniel Kirchner
|
4cb9a42d9a
|
Verify minimal clang version in cmake.
|
2020-12-10 17:40:29 +01:00 |
|
Daniel Kirchner
|
c400c61fc3
|
Fix incorrect behaviour on clang 6.
|
2020-12-10 17:20:30 +01:00 |
|
chriseth
|
d84415cb3b
|
Merge pull request #10483 from ethereum/dlopenZ3
Experimental mechanism for loading Z3 dynamically at runtime.
|
2020-12-10 17:06:07 +01:00 |
|
Daniel Kirchner
|
7308abc084
|
Allow loading Z3 dynamically at runtime.
|
2020-12-10 16:47:47 +01:00 |
|
Bhargava Shastry
|
fe79a27a0a
|
Merge pull request #10561 from ethereum/abiv2-isabelle-values
Abiv2 fuzzer: Make integer value generation consistent with range for…
|
2020-12-10 14:15:07 +01:00 |
|
chriseth
|
e15136c210
|
Merge pull request #10558 from ethereum/magictype-tests
Adds more tests for state access (block/tx/msg)
|
2020-12-10 14:05:37 +01:00 |
|
Bhargava Shastry
|
3c8caabf2e
|
Remove unused code
|
2020-12-10 12:56:04 +01:00 |
|
Bhargava Shastry
|
693548b787
|
Abiv2 fuzzer: Make integer value generation consistent with range for that integer type
|
2020-12-10 12:34:14 +01:00 |
|
chriseth
|
4861c9b8d1
|
Merge pull request #10554 from ethereum/emptyBytesPushSol2Yul
[Sol->Yul] Implementing empty byte array push.
|
2020-12-10 12:19:07 +01:00 |
|
chriseth
|
66b15f24ad
|
Merge pull request #10518 from ethereum/deduplicate-external-test-job-definitions
[CI] Deduplicate external test job definitions
|
2020-12-10 11:58:52 +01:00 |
|
chriseth
|
89b7c5f65a
|
Merge pull request #10455 from ethereum/issue-10433
Fix segfault for empty @return tags in modifiers
|
2020-12-10 11:54:55 +01:00 |
|
Mathias Baumann
|
37cc795034
|
Fix segfault for empty @return tags in modifiers
|
2020-12-10 11:54:40 +01:00 |
|
Bhargava Shastry
|
c72adbf3ec
|
Merge pull request #10562 from ethereum/eoanCi
Switch CI runs from EOL'ed eoan to focal.
|
2020-12-10 11:44:41 +01:00 |
|
Daniel Kirchner
|
2e31a6bdbf
|
Switch CI runs from EOL'ed eoan to focal.
|
2020-12-10 11:09:55 +01:00 |
|
Leonardo
|
7e930f7bb3
|
Merge pull request #10543 from ethereum/abiv2-isabelle-encode-test
Isabelle abiv2 fuzzer: Add type string
|
2020-12-09 23:33:41 +01:00 |
|
Alex Beregszaszi
|
f9d6abf69b
|
Add more tests for state access (block, msg, tx, etc.)
Move some of them out of SolidityEndToEndTests. Additionally this ensures the deterministic values of the testing infrastructure.
|
2020-12-09 20:46:01 +00:00 |
|
Leonardo
|
9e07981920
|
Merge pull request #10477 from ethereum/smt_isoltest_cex
[SMTChecker] Move CHC counterexamples to primary location
|
2020-12-09 20:37:24 +01:00 |
|
Leonardo Alt
|
3c142e0e94
|
Move CHC counterexamples to primary location
|
2020-12-09 19:55:18 +01:00 |
|
Djordje Mijovic
|
ab74194ca3
|
[Sol->Yul] Implementing empty byte array push.
|
2020-12-09 19:31:35 +01:00 |
|
Kamil Śliwak
|
aa3acdd7d6
|
Merge pull request #10500 from ethereum/restore-original-external-test-branches
Restore original external test branches
|
2020-12-09 19:26:37 +01:00 |
|
Bhargava Shastry
|
2e3cba996a
|
Isabelle abiv2 fuzzer: Add type string
|
2020-12-09 18:10:10 +01:00 |
|
chriseth
|
d75821e068
|
Merge pull request #10536 from ethereum/fix-createlinkingfunction-to-cpp
Move the implementation of createLinkingFunction into a cpp file
|
2020-12-09 17:49:16 +01:00 |
|
Kamil Śliwak
|
165cab9e9d
|
Switch the external tests back to the usual branches from solidity-external-tests
|
2020-12-09 17:33:13 +01:00 |
|
chriseth
|
052b97e217
|
Merge pull request #10545 from ethereum/modelCheckerSettingsMove
Move standard-json "modelCheckerSettings" key to "settings.modelChecker".
|
2020-12-09 16:47:21 +01:00 |
|
Daniel Kirchner
|
e691b7402a
|
Move standard-json "modelCheckerSettings" key to "settings.modelChecker".
|
2020-12-09 15:53:32 +01:00 |
|
chriseth
|
44b7301048
|
Merge pull request #10547 from ethereum/sortChangelog07
Sort changelog.
|
2020-12-09 15:47:44 +01:00 |
|
Leonardo
|
c34a2f27e5
|
Merge pull request #10540 from ethereum/smt_file_level
Do not run SMTChecker when file level functions/constants are present.
|
2020-12-09 15:39:18 +01:00 |
|
chriseth
|
b0a93a85c2
|
Sort changelog.
|
2020-12-09 15:33:16 +01:00 |
|
Kamil Śliwak
|
b672c2fab7
|
Combine the t_ems_compile_ext and t_ems_test_ext job definitions
|
2020-12-09 13:12:40 +01:00 |
|
Kamil Śliwak
|
da17150bec
|
Extract common parts from external job definitions into commands
|
2020-12-09 13:12:40 +01:00 |
|
Leonardo Alt
|
a961a76263
|
Do not run SMTChecker when file level functions/constants are present.
|
2020-12-09 12:18:55 +01:00 |
|
Bhargava Shastry
|
e23cf26d98
|
Merge pull request #10541 from ethereum/add-isabelle-abiv2-fuzzer-to-circleci-nightly
CircleCI: Add new abiv2 fuzzer to list of binaries in nightly fuzzer CI
|
2020-12-09 11:53:15 +01:00 |
|
chriseth
|
d2534e8208
|
Merge pull request #10466 from ethereum/run-external-tests-nightly
Running external tests nightly
|
2020-12-09 11:43:34 +01:00 |
|
hrkrshnn
|
06d719e4f1
|
Move filter to CommonData.h
|
2020-12-09 11:13:27 +01:00 |
|
hrkrshnn
|
7ea96c5583
|
Move the implementation of createLinkingFunction into a cpp file
|
2020-12-09 11:13:27 +01:00 |
|
Bhargava Shastry
|
047e706e7f
|
CircleCI: Add new abiv2 fuzzer to list of binaries in nightly fuzzer CI
|
2020-12-09 11:10:16 +01:00 |
|
Leonardo
|
3ca4a5136d
|
Merge pull request #10539 from blishko/test-issue-10502
[SMTChecker] Adding test witnessing that SMTChecker no longer crashes when producing CEX with arrays
|
2020-12-09 11:03:53 +01:00 |
|
chriseth
|
319b29bb4a
|
Merge pull request #10423 from ethereum/ir-warn-v1
Report warning if contract uses abicoder v1, but IR is requested
|
2020-12-09 10:03:04 +01:00 |
|
chriseth
|
8cd9fdd757
|
Merge pull request #10538 from ethereum/ewasm_polyfill_recompilation
Fix regeneration of polyfill headers.
|
2020-12-09 09:56:42 +01:00 |
|
Martin Blicha
|
de34fe8aa3
|
[SMTChecker] Adding test witnessing that SMTChecker no longer crashes when producing CEX with arrays
|
2020-12-09 09:13:39 +01:00 |
|
Alex Beregszaszi
|
47b10fd751
|
Report warning if contract uses abicoder v1, but IR is requested
|
2020-12-09 01:20:58 +00:00 |
|
Alexander Arlt
|
90623d9507
|
Fix recompilation of polyfills.
|
2020-12-08 20:02:25 -05:00 |
|
chriseth
|
0d7f9ae183
|
Merge pull request #10520 from ethereum/fix-initial-optimizer-settings-in-external-tests
Fix initial optimizer settings in external tests
|
2020-12-08 20:52:59 +01:00 |
|
chriseth
|
49d1f541a1
|
Merge pull request #10264 from ethereum/warn-conversion
Enable -Wconversion
|
2020-12-08 20:37:12 +01:00 |
|
chriseth
|
672abc2276
|
Merge pull request #10530 from ethereum/changeConstructorOrder
[Sol->Yul] Evaluate base arguments in derived to base order.
|
2020-12-08 20:32:48 +01:00 |
|
chriseth
|
e97ca0a777
|
Evaluate base arguments in derived to base order.
|
2020-12-08 20:27:06 +01:00 |
|
Leonardo
|
e78ca14368
|
Merge pull request #10510 from blishko/struct_in_cex
[SMTChecker] Adding support for reporting values of structs in CEX in CHC engine
|
2020-12-08 18:09:31 +01:00 |
|
Alex Beregszaszi
|
7e88ba8da0
|
Enable the -Wconversion warning
|
2020-12-08 16:45:24 +00:00 |
|
Martin Blicha
|
eb356735f6
|
[SMTChecker] Adding support for reporting values of structs in CEX in CHC engine.
|
2020-12-08 16:40:28 +01:00 |
|
Kamil Śliwak
|
a66ab1eb4e
|
Simplify functions for setting solc version in Truffle config
|
2020-12-08 16:23:37 +01:00 |
|