 Leonardo Alt
|
e3652627fd
|
[SMTChecker] Fix ICE in CHC when function used as argument
|
2019-11-13 15:11:30 +01:00 |
|
  Chris ChinchillaandDaniel Kirchner
|
c0dc82ced7
|
Update stale.yml
Update config
Update .github/workflows/stale.yml
Co-Authored-By: Daniel Kirchner <daniel@ekpyron.org>
|
2019-11-13 14:29:22 +01:00 |
|
 Mathias Baumann
|
7d4e4b6088
|
Parse "virtual" keyword
|
2019-11-13 13:28:01 +01:00 |
|
 chriseth
|
8569fe7764
|
Merge pull request #7537 from djudjuu/asmAST
inline assembly to AST in json export
|
2019-11-13 12:39:08 +01:00 |
|
|
chriseth
|
c0cf96cbc1
|
Merge pull request #7699 from ethereum/test-require-str
Test `require` with string literals
|
2019-11-13 12:20:23 +01:00 |
|
 djudjuu
|
e437443645
|
Inline assembly to AST json export
|
2019-11-13 12:13:22 +01:00 |
|
|
Mathias Baumann
|
c74b1daef2
|
Test require with string literals
fixes #6651
|
2019-11-13 12:01:25 +01:00 |
|
|
chriseth
|
6f500f0632
|
Merge pull request #7701 from ethereum/libraryAddresses
Allow obtaining the address of a library by conversion to ``address``.
|
2019-11-13 12:00:57 +01:00 |
|
 Christian Parpart
|
6bef3071e0
|
Merge pull request #7677 from ethereum/ciSoltestAll
Remove overwritten tag in CI config.
|
2019-11-13 11:19:11 +01:00 |
|
|
Daniel Kirchner
|
ce7268272d
|
Allow obtaining the address of a library by conversion to `address`.
|
2019-11-12 17:09:13 +01:00 |
|
|
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 |
|
|
Leonardo
|
684ccea6f0
|
Merge pull request #7697 from ethereum/develop
Merge develop into develop_060
|
2019-11-12 15:30:34 +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
|
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 |
|