chriseth
|
287b9be7af
|
Merge pull request #7872 from ethereum/smt_z3_4_8_7
Update to Z3 4.8.7
|
2019-12-03 21:23:40 +01:00 |
|
chriseth
|
306c7eb5e8
|
Merge pull request #7884 from ethereum/yul-exceptions
Replace all solAsserts with yulAsserts in libyul (and support YulException in StandardCompiler)
|
2019-12-03 20:33:42 +01:00 |
|
Leonardo Alt
|
5337f58767
|
Update to Z3 4.8.7
|
2019-12-03 20:19:20 +01:00 |
|
Alex Beregszaszi
|
c644f43cde
|
Update test expection in use_stack_optimization with YulException
|
2019-12-03 19:06:48 +01:00 |
|
Alex Beregszaszi
|
9140a7d64e
|
Support catching YulException nicely in StandardCompiler
|
2019-12-03 19:06:21 +01:00 |
|
Daniel Kirchner
|
361801b94c
|
Merge pull request #7879 from ethereum/updateZ3PPAScript
Update to Z3 4.8.7 and cherry-pick build fix commit
|
2019-12-03 18:50:24 +01:00 |
|
Alex Beregszaszi
|
7e8f0a17bc
|
Replace all solAsserts with yulAsserts in libyul
|
2019-12-03 17:54:34 +01:00 |
|
Mathias L. Baumann
|
a13416f4da
|
Merge pull request #7882 from ethereum/libyul-assert
Actually throw YulAssertion in yulAssert
|
2019-12-03 17:39:22 +01:00 |
|
Mathias L. Baumann
|
d29a87dfdc
|
Merge pull request #7881 from ethereum/json-cleanup
Removed non-strict JsonParse helpers
|
2019-12-03 17:38:00 +01:00 |
|
Alex Beregszaszi
|
cab00755e8
|
Actually throw YulAssertion in yulAssert
|
2019-12-03 16:40:48 +01:00 |
|
Alex Beregszaszi
|
7156c908be
|
Drop non-strict version of jsonParse* and always use jsonParseStrict
|
2019-12-03 16:20:23 +01:00 |
|
Daniel Kirchner
|
c9be3bdf7e
|
Rename cmake option
|
2019-12-03 15:11:38 +01:00 |
|
Alex Beregszaszi
|
7ace66ad59
|
Remove last boost/variant include
|
2019-12-03 14:44:56 +01:00 |
|
Daniel Kirchner
|
e04d8955ab
|
Update to Z3 4.8.7 and cherry-pick build fix commit
|
2019-12-03 14:41:02 +01:00 |
|
Leonardo
|
9554b90e07
|
Merge pull request #7871 from ethereum/smt_fix_struct_array_ice
[SMTChecker] Fix ICE in array of structs type
|
2019-12-03 10:37:04 +01:00 |
|
chriseth
|
c0931405be
|
Merge pull request #7875 from ethereum/it-translation
[DOCS] Add Italian translation
|
2019-12-03 10:19:09 +01:00 |
|
Chris Chinchilla
|
2340d830ce
|
Add Italian translation
|
2019-12-03 10:02:55 +01:00 |
|
Leonardo Alt
|
b1577f5e46
|
[SMTChecker] Fix ICE in array of structs type
|
2019-12-03 01:12:30 +01:00 |
|
Daniel Kirchner
|
4d2f205706
|
Merge pull request #7848 from ethereum/evmc-7.1
Update EVMC to 7.1.0
|
2019-12-02 23:03:48 +01:00 |
|
Alex Beregszaszi
|
c4012eee33
|
Update EVMHost to EVMC 7.1.0
Co-authored-by: Paweł Bylica <chfast@gmail.com>
|
2019-12-02 21:26:42 +01:00 |
|
Alex Beregszaszi
|
aba2ee0f68
|
Update EVMC to 7.1.0
|
2019-12-02 21:26:42 +01:00 |
|
Daniel Kirchner
|
7a8d0c9250
|
Merge pull request #7852 from ethereum/evmc-host-precompiles
EVMHost: mark precompiles as existing accounts in the constructor
|
2019-12-02 21:25:59 +01:00 |
|
Alex Beregszaszi
|
2a62425f0a
|
EVMHost: mark precompiles as existing accounts in the constructor
|
2019-12-02 20:49:33 +01:00 |
|
Paweł Bylica
|
578d69983d
|
EVMHost: Mark precompiles implementation as static methods
|
2019-12-02 20:41:50 +01:00 |
|
Daniel Kirchner
|
04222f0e2b
|
Merge pull request #7868 from ethereum/evmc-host-byzantium
EVMHost: disallow Byzantium precompiles on earlier EVM versions
|
2019-12-02 20:41:07 +01:00 |
|
Alex Beregszaszi
|
fca0f6e2c1
|
Disable EndToEnd/snark test on <Byzantium (given the precompiles were introduced after)
|
2019-12-02 19:37:09 +01:00 |
|
Alex Beregszaszi
|
ddf6e067ed
|
EVMHost: disallow Byzantium precompiles on earlier EVM versions
|
2019-12-02 19:11:18 +01:00 |
|
Alex Beregszaszi
|
e349973396
|
Merge pull request #7854 from ethereum/lll-turn-on-testing
Turn on LLL testing in test_ubuntu1904_clang
|
2019-12-02 18:22:37 +01:00 |
|
Alex Beregszaszi
|
6a254e27a1
|
Turn on LLL testing in test_ubuntu1904_clang
|
2019-12-02 17:39:39 +01:00 |
|
chriseth
|
c61ed0b22d
|
Merge pull request #7797 from ethereum/allowTranslationInAssemblyMode
Allow EVM to EWasm translation in assembly mode.
|
2019-12-02 13:15:06 +01:00 |
|
Leonardo
|
a7d481fb94
|
Merge pull request #7851 from ethereum/smt_fix_function_type
[SMTChecker] Fix ICE for arrays and mappings of functions.
|
2019-11-30 13:15:08 +01:00 |
|
Alex Beregszaszi
|
4775af730d
|
Merge pull request #7853 from ethereum/lll-test-fixes
LLL: fix test cases after chaind/selfbalance was added
|
2019-11-30 12:10:30 +01:00 |
|
Alex Beregszaszi
|
805d4d5a57
|
LLL: fix test cases after chaind/selfbalance was added
|
2019-11-30 11:56:22 +01:00 |
|
Leonardo
|
767ce4417f
|
Merge pull request #7850 from ethereum/smt_fix_typetype
[SMTChecker] Fix visit to IndexAccess that has type Type
|
2019-11-29 18:18:26 +01:00 |
|
Leonardo Alt
|
5adc2a40b9
|
[SMTChecker] Fix ICE for arrays and mappings of functions.
|
2019-11-29 18:06:44 +01:00 |
|
Leonardo
|
2f6e006ea4
|
Merge pull request #7849 from ethereum/smt_constructor_local_vars
[SMTChecker] Fix constructors with local vars
|
2019-11-29 17:46:29 +01:00 |
|
Leonardo Alt
|
9eda95caf9
|
[SMTChecker] Fix visit to IndexAccess that has type Type
|
2019-11-29 17:20:50 +01:00 |
|
Leonardo Alt
|
c09da092d2
|
[SMTChecker] Fix constructors with local vars
|
2019-11-29 16:59:15 +01:00 |
|
Leonardo
|
27097b3eca
|
Merge pull request #7832 from ethereum/updateEmscripten
Update emscripten to 1.39.3
|
2019-11-29 14:39:41 +01:00 |
|
Leonardo
|
c6c5a6fb8a
|
Merge pull request #7827 from ethereum/jsoncpp
Update to jsoncpp 1.9.2
|
2019-11-29 13:25:42 +01:00 |
|
Daniel Kirchner
|
edd80a986d
|
Update emscripten to 1.39.3
|
2019-11-29 12:55:02 +01:00 |
|
Alex Beregszaszi
|
7b038dbd92
|
Merge pull request #7844 from ethereum/emscriptenCleanups
Internal emscripten build cleanup
|
2019-11-29 10:33:35 +01:00 |
|
Daniel Kirchner
|
cdbaf067c7
|
Internal emscripten build cleanup
|
2019-11-29 10:21:29 +01:00 |
|
Daniel Kirchner
|
a2791c22a5
|
Merge pull request #7845 from ethereum/fixExternalZeppelinTests
Fix external zeppelin tests on develop
|
2019-11-28 22:10:27 +01:00 |
|
Daniel Kirchner
|
909296582f
|
Remove zeppelin truffle workaround
|
2019-11-28 21:31:12 +01:00 |
|
chriseth
|
5855428ec0
|
Merge pull request #7836 from ethereum/formatCheckAssertion
Change string formatting check to assertion.
|
2019-11-28 20:08:34 +01:00 |
|
chriseth
|
bee2b9e120
|
Commandline test.
|
2019-11-28 16:22:24 +01:00 |
|
chriseth
|
6499e52a86
|
Changelog entry.
|
2019-11-28 16:15:32 +01:00 |
|
chriseth
|
ccfc1840a9
|
Allow assembly stack to translate its source.
|
2019-11-28 16:15:15 +01:00 |
|
Alex Beregszaszi
|
c1db89161b
|
Allow enabling optimisations for Yul + Wasm
|
2019-11-28 16:15:15 +01:00 |
|