Commit Graph
15491 Commits
Author SHA1 Message Date
Bhargava Shastry 4089c2cd55 yul proto fuzzer: Make function call generation optional 2020-01-07 22:21:24 +01:00
Bhargava Shastry cdc935a294 yul proto fuzzer: Add EVM version field 2020-01-07 22:21:24 +01:00
Bhargava Shastry 31ef914d61 Change EVMVersion namespace 2020-01-07 22:20:56 +01:00
Bhargava Shastry bb96d871e7 yul proto fuzzer: Add EVM version field 2020-01-07 21:59:51 +01:00
Bhargava Shastry b7a9fe2203 yul proto fuzzer: Generate at most 2 for loops per program 2020-01-07 21:56:08 +01:00
Bhargava Shastry bd73bfbe05 yul proto fuzzer: Do not generate infinite for loops 2020-01-07 21:56:08 +01:00
Bhargava Shastry 3764a9f9c9 Permit variable declarations inside for init block 2020-01-07 21:55:28 +01:00
Daniel Kirchner 70a2902714 Merge pull request #8100 from ethereum/deadTestArguments
Disallow dead positional arguments for (i)soltest
2020-01-07 16:56:10 +01:00
Daniel Kirchner be0775da49 Merge pull request #8075 from ethereum/refactor-namespaces
Refactor namespaces
2020-01-07 16:52:20 +01:00
Mathias L. Baumann a2141d3be2 Merge pull request #7869 from fulldecent/fix-kill
Reduce usage of word kill
2020-01-07 16:01:04 +01:00
Christian Parpart 345f9928ab Library libdevcore renamed to libsolutil. 2020-01-07 15:51:50 +01:00
Christian Parpart 8ac6258d31 lll: Adapted to namespace changes. 2020-01-07 15:51:50 +01:00
Christian Parpart ed45b000d1 Adapt tests directory to C++ namespace changes. 2020-01-07 15:51:50 +01:00
Christian Parpart 6b23412fae C++ namespace cleanup (except tests). 2020-01-07 15:51:50 +01:00
Leonardo 8385256bdc Merge pull request #8004 from ethereum/fix-7960
abiv2 proto converter: Resize dynamic storage arrays via push
2020-01-07 15:48:20 +01:00
William Entriken 6d068b6331 Reduce usage of the word "kill" 2020-01-07 11:18:10 +01:00
Bhargava Shastry 49aec64caf abiv2 proto converter: Do not resize dynamic storage arrays by writing to the length field as it is now read only 2020-01-06 17:44:42 +01:00
Daniel Kirchner 3e714913a0 Disallow positional arguments for (i)soltest instead of ignoring 2020-01-06 15:28:20 +01:00
Leonardo f7624e254c Merge pull request #8098 from ethereum/smt_fix_shared_ptr
[SMTChecker] Replace some shared_ptr by unique_ptr/raw
2020-01-06 14:58:37 +01:00
Mathias L. Baumann 20cf9d9fef Merge pull request #8038 from ethereum/statless-typechecker-7566
Refactor PostTypeChecker into multiple classes per usecase
2020-01-06 14:39:58 +01:00
Leonardo Alt f4f83690f3 Replace some shared_ptr by unique_ptr or raw pointers 2020-01-06 14:16:49 +01:00
chriseth 31cd9d364d Merge pull request #8097 from ethereum/release
Merge release back into develop.
2020-01-03 13:40:41 +01:00
chriseth 943af71d3d Merge pull request #8092 from ethereum/chriseth-patch-1
Update the standard-json yul switch to the 0.6.0 behaviour.
2020-01-03 13:39:59 +01:00
chriseth e6f7d5a492 Merge pull request #8095 from ethereum/develop
Merge develop into release for 0.6.1
v0.6.1
2020-01-03 00:35:39 +01:00
chriseth 1cc7eb7fe8 Merge pull request #8090 from ethereum/release061
Prepare release of 0.6.1
2020-01-03 00:04:56 +01:00
chriseth 30a2d712c0 Bug list entry. 2020-01-03 00:04:01 +01:00
chriseth 385e1bf70a Set release date. 2020-01-03 00:04:01 +01:00
chriseth 42712a78ce Merge branch 'release-0.5' into develop. 2020-01-02 23:49:43 +01:00
chriseth bdd9f215cb Update the yul switch to the 0.6.0 behaviour. 2020-01-02 23:01:50 +01:00
chriseth 9c3226ce75 Set version to 0.5.16. v0.5.16 2020-01-02 19:52:34 +01:00
chriseth 281edc6fd8 Merge pull request #8083 from ethereum/fixRedundantContinue05
Fix redundant removal for 0.5 branch
2020-01-02 19:41:30 +01:00
Leonardo Alt 026f7c37af Review 1 2020-01-02 18:51:21 +01:00
chriseth 8328f826a1 Bug list entry. 2020-01-02 18:51:21 +01:00
chriseth 1c2096a360 Changelog entry. 2020-01-02 18:49:56 +01:00
chriseth c70bdf2b2c Merge pull request #8082 from ethereum/fixRedundantContinue
Fix redundant assignment removal in combination with break / continue.
2020-01-02 18:46:26 +01:00
Alex Beregszaszi d082b9b868 Merge pull request #8087 from elenadimitrova/update-solium-naming
Rename solium to ethlint
2020-01-02 13:15:56 +01:00
Leonardo Alt d972a10b4f Review 1 2020-01-02 12:43:56 +01:00
elenadimitrova 27727a7af3 Rename solium to ethlint 2020-01-02 12:39:10 +02:00
chriseth 29c0b73dff Bug list entry. 2019-12-29 16:08:15 +01:00
chriseth 92c3511f47 Tests. 2019-12-29 15:55:51 +01:00
chriseth 1e50fc61e4 Fix redundant assignment removal in combination with break / continue. 2019-12-29 15:55:51 +01:00
chriseth c3f43fd1e6 Changelog entry. 2019-12-29 15:53:47 +01:00
chriseth 3994c9135f Tests. 2019-12-29 15:53:47 +01:00
chriseth aab8b9bc36 Fix redundant assignment removal in combination with break / continue. 2019-12-29 15:53:47 +01:00
chriseth 07a56625e4 Merge pull request #8070 from ethereum/tryCatchChangelog
Changelog entry for try/catch.
2019-12-20 14:53:34 +01:00
chriseth c44916cbd5 Changelog entry for try/catch. 2019-12-20 08:29:25 +01:00
chriseth ece6463f56 Merge pull request #8069 from random-internet-cat/set-scope
Move scope of Scopable into new ScopableAnnotation
2019-12-20 08:22:36 +01:00
Jason Cobb 6679f92c8a Move all references to scope into annotation 2019-12-19 21:45:16 -05:00
Jason Cobb 69fd185903 Add new annotations for Scopables 2019-12-19 21:45:16 -05:00
Jason Cobb 30b1b39901 Have other annotations subclass DeclarationAnnotation 2019-12-19 21:45:16 -05:00