Commit Graph

15511 Commits

Author SHA1 Message Date
Daniel Kirchner
8148619d5b Merge branch 'develop' into develop_060 2019-11-12 10:32:41 +01:00
Daniel Kirchner
52a9de83f3
Merge pull request #7682 from ethereum/smt_z3486_tests
[SMTChecker] Update test expectations for z3 4.8.6
2019-11-12 10:30:10 +01:00
Leonardo Alt
999d8c6bb8 Extend CircleCI MaxOS cache keys 2019-11-11 18:48:20 +01:00
Leonardo Alt
b323134ef0 [SMTChecker] Update test expectations for z3 4.8.6 2019-11-11 18:43:59 +01:00
chriseth
5423dd6a48
Merge pull request #7684 from ethereum/add_while_style_rule
Add ``switch (..)` to style checker
2019-11-11 17:56:46 +01:00
Mathias Baumann
e35a23bbcc Add `switch (..) to style checker 2019-11-11 17:44:21 +01:00
chriseth
24f41bc979
Merge pull request #7683 from ethereum/add_while_style_rule
Add ``while (..)` to style checker
2019-11-11 17:41:25 +01:00
Mathias Baumann
e643c4ca28 Add `while (..) to style checker 2019-11-11 17:28:41 +01:00
chriseth
c68b672d9c
Merge pull request #7673 from ethereum/switch-external-forks
Switch to external forks of Gnosis and Zeppelin
2019-11-11 17:17:45 +01:00
chriseth
375be4a04d
Merge pull request #7678 from ethereum/updatePPAScripts
Update PPA build scripts.
2019-11-11 17:07:46 +01:00
chriseth
2e5a42836c
Merge pull request #7681 from ethereum/develop
Merge develop into develop_060
2019-11-11 16:42:03 +01:00
chriseth
157fb44b44
Merge pull request #7671 from ethereum/yul-ast-cleanup-FunctionalInstruction
Yul AST cleanup FunctionalInstruction
2019-11-11 16:40:11 +01:00
Christian Parpart
f15d47f165 Yul: Remove obsoleted FunctionalInstruction. 2019-11-11 16:04:39 +01:00
Daniel Kirchner
3b75466b76 Update to Z3 4.8.6 in ubuntu clang Dockerfile. 2019-11-11 15:54:04 +01:00
Daniel Kirchner
2f9779d06b
Merge pull request #7464 from aarlt/t_osx_soltest
[circleci] Add t_osx_soltest.
2019-11-11 15:29:33 +01:00
Daniel Kirchner
b3174db322 Update PPA build script for Z3 to version 4.8.6. And add eoan to Z3 and release PPA script. 2019-11-11 14:55:00 +01:00
Daniel Kirchner
a1647d9955 Remove overwritten tag in CI config. 2019-11-11 14:22:13 +01:00
chriseth
7c7cca5f2d
Merge pull request #7675 from ethereum/memberInitializeInCodingStyle
Member initialize PODs in CODING_STYLE.md.
2019-11-11 13:42:58 +01:00
Daniel Kirchner
7bb9a21103 Member initialize PODs in CODING_STYLE.md. 2019-11-11 13:33:38 +01:00
Erik Kundt
af790cec5e Switches to forks of external projects. 2019-11-11 13:14:56 +01:00
chriseth
147120ba47
Merge pull request #7666 from aarlt/list_unimplemented_functions
Output which functions are not implemented
2019-11-10 15:29:40 +01:00
chriseth
a5f0422dcc
Merge pull request #7662 from ethereum/cmakeNoGlobInTests
Do not rely on cmake's GLOB for test/
2019-11-10 15:28:11 +01:00
Alexander Arlt
160983141f [circleci] Add t_osx_soltest. 2019-11-08 14:44:54 -05:00
Alexander Arlt
ce0cef7cbc Output which functions are not implemented 2019-11-08 14:06:57 -05:00
Leonardo
78be93856b
Merge pull request #7664 from ethereum/smt_fixed_bytes_index_access
Fix ICE in FixedBytes IndexAccess
2019-11-08 19:27:05 +01:00
Leonardo Alt
5dacaf57bc Fix ICE in FixedBytes IndexAccess 2019-11-08 17:29:40 +01:00
Daniel Kirchner
25a933a906 Do not rely on cmake's GLOB for test/ 2019-11-08 16:12:42 +01:00
chriseth
ed7be7b9c7
Merge pull request #7480 from ethereum/smt_chcsmtlib2interface
[SMTChecker] Add CHCSmtLib2Interface
2019-11-07 15:10:23 +01:00
chriseth
d633d375e7
Merge pull request #7450 from ethereum/stripRevertMessages
Provide different options for reason strings.
2019-11-07 15:03:53 +01:00
chriseth
a081b720b9
Merge pull request #7587 from ethereum/abiv2-returndata-fuzz
Abiv2 returndata fuzz
2019-11-07 15:03:14 +01:00
chriseth
8472e8591d
Merge pull request #7652 from ethereum/generalizeRuleList
Generalize rule list
2019-11-07 15:02:40 +01:00
chriseth
782de06554
Merge pull request #7658 from ethereum/inlineAssemblyDocs
Document variable name restrictions for declarations in inline assembly.
2019-11-07 14:54:59 +01:00
Daniel Kirchner
75c3a7dc06 Document variable name restrictions for declarations in inline assembly. 2019-11-07 14:47:35 +01:00
chriseth
4b6647f6e1 Generalize word. 2019-11-07 14:33:34 +01:00
chriseth
fa02667075 Generalize instructions. 2019-11-07 14:33:34 +01:00
chriseth
138ee647f1 Provide different options for reason strings. 2019-11-07 14:13:53 +01:00
Daniel Kirchner
108992c335
Merge pull request #7640 from ethereum/smt_fix_060
[SMTChecker] Fix override tests
2019-11-07 14:10:10 +01:00
chriseth
033b61f920
Merge pull request #7657 from ethereum/reallowBlankIssues
Github: remove blank issue template config
2019-11-07 14:08:02 +01:00
Daniel Kirchner
83496829be Github: remove blank issue template config 2019-11-07 13:44:27 +01:00
chriseth
c0b27d0bc1
Merge pull request #7648 from ethereum/inlineAssemblyShadowing
Error on shadowing and invalid names in inline assembly
2019-11-07 13:31:09 +01:00
chriseth
e581194a62
Merge pull request #7654 from ethereum/update-evmc
Update EVMC to 6.3.1
2019-11-07 13:06:47 +01:00
Daniel Kirchner
0556f64722 Analyze inline assembly variable declarations for invalid or shadowing names. 2019-11-07 13:04:37 +01:00
Leonardo Alt
fc945880d1 [SMTChecker] Fix override tests 2019-11-07 11:49:32 +01:00
Leonardo
23b6a8eb07
Merge pull request #7651 from ethereum/addReturn89
Fix build by adding return.
2019-11-07 11:49:16 +01:00
Alex Beregszaszi
18542ebf31 Use evmc_load_and_configure to support passing EVMC options 2019-11-07 10:42:41 +00:00
Alex Beregszaszi
882cd3e285 Update EVMC to 6.3.1 2019-11-07 10:41:14 +00:00
Leonardo Alt
6b10efff8c Add CHCSmtLib2Interface 2019-11-07 11:12:11 +01:00
chriseth
37c6ab4c38
Merge pull request #7653 from ethereum/test-evmone
Ensure that EVMC capability is checked after loading evmone
2019-11-07 10:01:59 +01:00
Alex Beregszaszi
f77d7c2dc7 Ensure that EVMC capability is checked after loading evmone 2019-11-07 00:27:46 +00:00
Bhargava Shastry
9772cc44a0 abiv2 proto fuzzer: Fuzz return data coding 2019-11-06 23:42:10 +01:00