chriseth
a7e133b95c
Merge pull request #7696 from ethereum/semanticsTestsLibraryDeployment
...
Add support for external libraries to extracted semantics tests.
2019-11-12 15:50:36 +01:00
Daniel Kirchner
c7e3318dba
Add support for external libraries to extracted semantics tests.
2019-11-12 15:19:04 +01:00
Leonardo
50a015acf0
Merge pull request #7694 from ethereum/smt_remove_flaky_tests
...
[SMTChecker] Remove flaky tests until we fix the SMTChecker tests
2019-11-12 14:41:59 +01:00
Leonardo Alt
dc2dff839c
[SMTChecker] Remove flaky tests until we fix the SMTChecker tests
2019-11-12 12:58:42 +01:00
chriseth
0059f9dd01
Merge pull request #7692 from ethereum/fix-7690
...
Remove obsolete installation scripts that were used by the fuzzer build CI
2019-11-12 12:57:33 +01:00
Bhargava Shastry
066626a3e8
Remove obsolete installation scripts that were used by the fuzzer build CI
2019-11-12 11:26:59 +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
375be4a04d
Merge pull request #7678 from ethereum/updatePPAScripts
...
Update PPA build scripts.
2019-11-11 17:07:46 +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
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
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
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
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
4b6647f6e1
Generalize word.
2019-11-07 14:33:34 +01:00
chriseth
fa02667075
Generalize instructions.
2019-11-07 14:33:34 +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
e581194a62
Merge pull request #7654 from ethereum/update-evmc
...
Update EVMC to 6.3.1
2019-11-07 13:06:47 +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
chriseth
efeee15d32
Merge pull request #7100 from ethereum/docs-review-mappings
...
[DOCS] Add clarifications to mapping type
2019-11-06 21:36:00 +01:00
Chris Chinchilla
0c51dcc967
Explain mappings example, and add link to further details
...
Updates from review
Changes from review
Nested example
Update docs/types/mapping-types.rst
Co-Authored-By: chriseth <chris@ethereum.org>
Changes from review
Bring example inline with ERC20
Clarify what maps where
Use OZ contract example
Update docs/types/mapping-types.rst
Co-Authored-By: chriseth <chris@ethereum.org>
update code example
2019-11-06 21:32:24 +01:00
chriseth
aa8de4404e
Merge pull request #7610 from ethereum/fix-7472
...
yul proto fuzzer: Increase step limit for optimized code
2019-11-06 21:11:51 +01:00
chriseth
1c8077c659
Merge pull request #7491 from ethereum/smt_override
...
[SMTChecker] Support inheritance and function overriding
2019-11-06 21:08:46 +01:00
chriseth
63d4291948
Merge pull request #7636 from ethereum/ChrisChinchilla-patch-2
...
[DOCS] Add project board links to read me
2019-11-06 18:37:40 +01:00
Chris Chinchilla
f11597e2f4
Update README.md
2019-11-06 18:37:07 +01:00
chriseth
56a3abcd03
Merge pull request #7465 from ethereum/docs-iterable-mapping
...
[DOCS] Add updated iterable mapping example
2019-11-06 18:36:14 +01:00
Leonardo Alt
10e70b8603
[SMTChecker] Support inheritance and resolve overrides
2019-11-06 11:00:06 +01:00
Alex Beregszaszi
eb0d72e825
Merge pull request #7606 from ethereum/wasmBinaryAssemblyStack
...
Wasm binary assembly stack
2019-11-05 23:31:32 +00:00
chriseth
587c87b15b
Commandline interface additions for webassembly binary.
2019-11-05 20:05:57 +01:00
chriseth
e79a32e9d5
Wasm to binary assembly stack.
2019-11-05 20:02:42 +01:00
chriseth
4cd0c84f75
Merge pull request #7633 from ethereum/fix/tests-run
...
Remove macOS flag for SMT tests
2019-11-05 20:00:31 +01:00
