chriseth
|
dc4a44fb7f
|
Protection to not lose money.
|
2019-08-28 17:00:15 +02:00 |
|
Leonardo
|
e74b63b6de
|
Merge pull request #7306 from ethereum/smt_fix_type_expression
[SMTChecker] Fix index access type type error
|
2019-08-28 15:54:30 +02:00 |
|
Leonardo Alt
|
214e5c6369
|
[SMTChecker] Fix index access type type error
|
2019-08-27 16:39:19 +02:00 |
|
Mathias L. Baumann
|
25a3a83b34
|
Merge pull request #7233 from ethereum/override-5424
Implement parsing of override keyword
|
2019-08-26 18:12:28 +02:00 |
|
Mathias Baumann
|
24716404f8
|
Parse override keyword
|
2019-08-26 17:34:21 +02:00 |
|
Bhargava Shastry
|
a54d69b8ef
|
Merge pull request #7286 from ethereum/protofuzzer_input_generation
proto fuzzer: Use a yul optimizer dictionary
|
2019-08-26 16:08:14 +02:00 |
|
Erik K
|
fd58ca0676
|
Merge pull request #7301 from elopio/patch-6
Add wget to the build packages of the snap
|
2019-08-26 15:14:10 +02:00 |
|
Alex Beregszaszi
|
5749a5d7c9
|
Introduce istanbul and berlin versions
|
2019-08-26 13:15:01 +01:00 |
|
Leo Arias
|
d95252faf1
|
Add wget to the build packages of the snap
This is required to download antlr for cvc4:
323d5faa1f/contrib/get-antlr-3.4 (L23)
|
2019-08-26 06:07:54 -06:00 |
|
Bhargava Shastry
|
922790730c
|
Do not create duplicate case statements
|
2019-08-26 12:44:06 +02:00 |
|
Bhargava Shastry
|
86c981d9fa
|
proto fuzzer: Use a yul optimizer dictionary
|
2019-08-26 12:44:06 +02:00 |
|
Erik K
|
d47863ef35
|
Merge pull request #7300 from ethereum/fix-docCheck
Fix deprecated option style for docCheck
|
2019-08-26 12:23:03 +02:00 |
|
Mathias L. Baumann
|
e1bb4b9f81
|
Merge pull request #7280 from ethereum/isoltest-empty-revert
[isoltest] Support empty revert message
|
2019-08-26 11:45:36 +02:00 |
|
Mathias Baumann
|
7f6bb543a9
|
Fix deprecated option style for docCheck
solhint was updated and now warns about deprecated option values
|
2019-08-26 11:23:29 +02:00 |
|
Erik Kundt
|
755dae5d66
|
[isoltest] Supports empty revert message.
|
2019-08-26 11:06:30 +02:00 |
|
Mathias L. Baumann
|
502bf01be2
|
Merge pull request #7278 from ethereum/develop
Merge develop into develop_060
|
2019-08-26 10:26:48 +02:00 |
|
Leonardo
|
bb104546e1
|
Merge pull request #7298 from ethereum/smt_fix_division
[SMTChecker] Adapt division test for Z3 only
|
2019-08-24 11:40:49 +02:00 |
|
Leonardo Alt
|
c27235b2f5
|
[SMTChecker] Adapt division test for Z3 only
|
2019-08-23 17:33:29 +02:00 |
|
Leonardo
|
b5048bd6d7
|
Merge pull request #7294 from Solexplorer/patch-1
Update assembly.rst
|
2019-08-23 12:00:10 +02:00 |
|
Solexplorer
|
16ddbd5391
|
Update assembly.rst
Syntax error on mlod
|
2019-08-22 19:53:39 +02:00 |
|
chriseth
|
34fbaf018d
|
Merge pull request #7279 from ethereum/consistent-json-order
Make sure json output array order is consistent
|
2019-08-19 21:51:59 +02:00 |
|
Mathias Baumann
|
0e3ff25b4e
|
Make sure json output array order is consistent
The source of the "contractDependencies" value was an std::map, thus
order was more or less random.
|
2019-08-19 17:42:03 +02:00 |
|
chriseth
|
0cd6b9e596
|
Merge pull request #7239 from ethereum/externalFunctionToAddress
[0.6.0] Replace casting of external functions to address by a member named "address".
|
2019-08-19 16:07:26 +02:00 |
|
chriseth
|
5e2a31f43b
|
Merge pull request #7271 from ethereum/importTestSupport
Support multiple sources for syntax tests.
|
2019-08-19 16:03:33 +02:00 |
|
Daniel Kirchner
|
4354ef2ef4
|
Add update suggestion.
|
2019-08-19 14:58:05 +02:00 |
|
Daniel Kirchner
|
20b23e124b
|
Add test case.
|
2019-08-19 14:56:04 +02:00 |
|
Daniel Kirchner
|
42f30981db
|
Add unimplemented assertion to IR generation when accessing address member of external function types.
|
2019-08-19 14:56:04 +02:00 |
|
Daniel Kirchner
|
80199ded79
|
More documentation updates.
|
2019-08-19 14:56:04 +02:00 |
|
Daniel Kirchner
|
9f6fff2120
|
Replace casting of external functions to address by a member named "address".
|
2019-08-19 14:56:04 +02:00 |
|
Daniel Kirchner
|
aa2167b208
|
Extract some import tests.
|
2019-08-19 14:45:26 +02:00 |
|
Daniel Kirchner
|
6ed219ebe8
|
Support multiple sources for syntax tests.
|
2019-08-19 14:45:26 +02:00 |
|
chriseth
|
95d426bd88
|
Merge pull request #7277 from ayrat555/patch-1
Update metadata.rst
|
2019-08-19 14:42:49 +02:00 |
|
Ayrat Badykov
|
e0507b5a8c
|
Update metadata.rst
|
2019-08-19 14:24:56 +03:00 |
|
chriseth
|
a39d26f366
|
Merge pull request #7262 from elopio/snap-build-cvc4
Build cvc4 when packaging the snap
|
2019-08-19 10:10:23 +02:00 |
|
Daniel Kirchner
|
04af1b4058
|
Merge pull request #7272 from ethereum/compileSyntaxTests
Compile succeeding syntax tests.
|
2019-08-16 18:08:44 +02:00 |
|
Daniel Kirchner
|
4a65c5ebaa
|
Compile succeeding syntax tests.
|
2019-08-16 17:14:49 +02:00 |
|
Erik K
|
d3ea86b052
|
Merge pull request #7270 from ethereum/develop
Update develop_060 from develop
|
2019-08-16 13:15:24 +02:00 |
|
Daniel Kirchner
|
058bbd398e
|
Merge pull request #7252 from ethereum/enable-c++17-in-libfuzzer-cmake
Enable c++17 in cmake toolchain file used by ossfuzz builder
|
2019-08-16 12:26:56 +02:00 |
|
chriseth
|
276b275cdc
|
Merge pull request #7238 from ethereum/sideEffectsPropagator
[Yul] Side effects propagator
|
2019-08-15 18:20:21 +02:00 |
|
Bhargava Shastry
|
c89eb84372
|
Merge pull request #7268 from ethereum/fix-7264
jsoncpp: force explicit casts for integer to floating point conversion
|
2019-08-15 18:10:15 +02:00 |
|
chriseth
|
3c4f558242
|
Tests
|
2019-08-15 16:30:05 +02:00 |
|
chriseth
|
a2a06d0318
|
Side effects propagator.
|
2019-08-15 16:30:05 +02:00 |
|
Bhargava Shastry
|
ffbf7e6c7a
|
jsoncpp: force explicit casts for integer to floating point conversions
|
2019-08-15 16:21:45 +02:00 |
|
chriseth
|
c047803b80
|
Change BreadthFirstSearch to use value types instead of pointers.
|
2019-08-15 16:10:10 +02:00 |
|
Leonardo
|
2fb442366f
|
Merge pull request #7121 from ethereum/smt_chc_functions
[SMTChecker] CHC blocks for functions and asserts
|
2019-08-15 13:22:03 +02:00 |
|
Leonardo Alt
|
1a70a46f9b
|
[CHC] Add function blocks and check asserts
|
2019-08-15 12:25:15 +02:00 |
|
chriseth
|
acd4a1e3a6
|
Merge remote-tracking branch 'origin/develop' into develop_060
|
2019-08-15 12:19:43 +02:00 |
|
chriseth
|
2508cbc1eb
|
Merge pull request #7095 from ethereum/isoltest-failure-reason
[isoltest] Support FAILURE with reason
|
2019-08-15 11:37:56 +02:00 |
|
Leo Arias
|
d25a34377f
|
Install the libcvc library
|
2019-08-15 04:38:55 +00:00 |
|
Leo Arias
|
7573133626
|
Fix the stage path
|
2019-08-15 02:14:21 +00:00 |
|