Daniel Kirchner
|
e691b7402a
|
Move standard-json "modelCheckerSettings" key to "settings.modelChecker".
|
2020-12-09 15:53:32 +01:00 |
|
chriseth
|
251f2a4d93
|
Fix bug in constant evaluator.
|
2020-12-09 15:50:53 +01:00 |
|
chriseth
|
fca8026250
|
Merge pull request #10548 from ethereum/sortChangelog08
Sort changelog.
|
2020-12-09 15:48:05 +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 |
|
chriseth
|
0fda94cf25
|
Sort changelog.
|
2020-12-09 15:32:30 +01:00 |
|
chriseth
|
197cb819d4
|
Documentation.
|
2020-12-09 15:25:15 +01:00 |
|
chriseth
|
dff7dcdc27
|
Update source location tests.
|
2020-12-09 15:25:15 +01:00 |
|
chriseth
|
3f5925e1c3
|
Update gas cost tests.
|
2020-12-09 15:25:15 +01:00 |
|
chriseth
|
72f1e4ea0b
|
Explicitly set coder to v1 for syntax tests.
|
2020-12-09 15:25:15 +01:00 |
|
chriseth
|
a5bd22795e
|
Force running abi coder v1 instead of v2.
|
2020-12-09 15:25:15 +01:00 |
|
chriseth
|
d525a8bccb
|
Enable ABI coder v2 by default.
|
2020-12-09 15:25:15 +01:00 |
|
chriseth
|
b18c76e34b
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-12-09 15:24:49 +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
|
806453aca9
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-12-08 21:00:09 +01: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 |
|
chriseth
|
b045195c1e
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-12-08 17:42:31 +01: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 |
|
Kamil Śliwak
|
8cd6e15333
|
When changing compiler settings in Truffle config, always set all of them
|
2020-12-08 16:21:46 +01:00 |
|
Kamil Śliwak
|
5868eb7879
|
Take into account optimization level when creating initial Truffle settings for external tests
|
2020-12-08 16:11:17 +01:00 |
|
Kamil Śliwak
|
c6643712f7
|
Refactor truffle_run_test() to make optimizer settings reusable
|
2020-12-08 16:11:16 +01:00 |
|
Kamil Śliwak
|
609f1746c9
|
force_solc_settings: Stop using the outdated 'solc' key for compiler settings in truffle-config.js
- Settings were moved under 'compilers' in Truffle 5.0.0 and none of the projects use older Truffle.
|
2020-12-08 16:10:42 +01:00 |
|
Kamil Śliwak
|
a64a2fa186
|
Remove unused find_truffle_config
|
2020-12-08 16:10:11 +01:00 |
|
Kamil Śliwak
|
8edd5d4fd9
|
Make printError() print to stderr
|
2020-12-08 16:01:41 +01:00 |
|
Leonardo
|
71a4a4efb1
|
Merge pull request #10529 from blishko/compound_assignment
[SMTChecker] Remove assert that is not true for compound assignment with right shift
|
2020-12-08 15:43:36 +01:00 |
|
Bhargava Shastry
|
eff155d46a
|
Merge pull request #10528 from ethereum/abiv2-isabelle-smoketest
Abiv2 isabelle: Add fuzzer test harness skeleton and update CMake
|
2020-12-08 14:00:36 +01:00 |
|
chriseth
|
b8ad7e0607
|
Merge pull request #10499 from ethereum/dropUbuntu18
Drop direct support for Ubuntu 18.04 and switch to static PPA releases for it.
|
2020-12-08 13:57:20 +01:00 |
|
Bhargava Shastry
|
fe6543a7c8
|
Abiv2 isabelle: Add fuzzer test harness skeleton and update CMake
|
2020-12-08 13:05:23 +01:00 |
|
Martin Blicha
|
12aa654bad
|
added test
|
2020-12-08 13:05:16 +01:00 |
|
Martin Blicha
|
0ebab439be
|
removing assert that is not always true
|
2020-12-08 12:27:59 +01:00 |
|