Commit Graph

14937 Commits

Author SHA1 Message Date
chriseth
d1c6ab8abe
Merge pull request #7589 from ethereum/storage_layout
Output the storage layout of a contract via storageLayout artifact
2019-11-14 11:21:59 +01:00
Leonardo Alt
5f43b8dbeb Output the storage layout of a contract via storageLayout artifact 2019-11-14 10:19:17 +01:00
chriseth
06588cde76 Reconstruct function definition for magic variables in overload error message. 2019-11-14 10:13:22 +01:00
Leonardo Alt
8efacfb545 [SMTChecker] Fix ICE in string literal to fixed bytes implicit conversion 2019-11-13 22:25:18 +01:00
chriseth
bc57566037
Merge pull request #7708 from ethereum/cleanupChangelog
Sort changelog.
2019-11-13 18:07:41 +01:00
chriseth
f9b208c85d Sort changelog. 2019-11-13 17:50:10 +01:00
chriseth
c4441bac5b
Merge pull request #7705 from ethereum/list-overloads-7146
List candidates when overload failed
2019-11-13 17:35:37 +01:00
Leonardo
c5cc668be2
Merge pull request #7686 from ethereum/smt_fix_ice_function_as_argument
[SMTChecker] Fix ICE in CHC when function used as argument
2019-11-13 16:50:20 +01:00
Mathias Baumann
15df2b30d7 List candidates when overload failed
fixes #7146
2019-11-13 15:54:36 +01:00
Leonardo Alt
e3652627fd [SMTChecker] Fix ICE in CHC when function used as argument 2019-11-13 15:11:30 +01:00
Chris Chinchilla
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