 Bhargava Shastry
|
bec86f7c03
|
Bug fix in enum ranging and add/remove revert mutation
|
2020-01-07 22:21:49 +01:00 |
|
|
Bhargava Shastry
|
3d8b9f03fe
|
Minor refactoring
|
2020-01-07 22:21:49 +01:00 |
|
|
Bhargava Shastry
|
8c9c5b74ae
|
Add utility functions and add/remove store stmt mutator
|
2020-01-07 22:21:49 +01:00 |
|
|
Bhargava Shastry
|
c954e18e12
|
Simplify function call type conversion
|
2020-01-07 22:21:49 +01:00 |
|
|
Bhargava Shastry
|
a6702425a1
|
Add/remove bounded and generic for stmt; remove block swap
|
2020-01-07 22:21:49 +01:00 |
|
|
Bhargava Shastry
|
17a69bbe90
|
Swap mutated block and if body and switch-case body blocks
|
2020-01-07 22:21:49 +01:00 |
|
|
Bhargava Shastry
|
145a4ee645
|
Swap mutated block and function def block
|
2020-01-07 22:21:49 +01:00 |
|
|
Bhargava Shastry
|
2c48f9a841
|
Add/remove function definition
|
2020-01-07 22:21:49 +01:00 |
|
|
Bhargava Shastry
|
26b3ee91e3
|
Minor code cleanup and added two new mutations: add/remove Function call and vardecl
|
2020-01-07 22:21:49 +01:00 |
|
|
Bhargava Shastry
|
f0ade1b4de
|
Add/remove switch statement mutation
|
2020-01-07 22:21:49 +01:00 |
|
|
Bhargava Shastry
|
fc93d9e5f8
|
Add/remove if statement mutation; also remove first instance and bail in all remove mutations
|
2020-01-07 22:21:49 +01:00 |
|
|
Bhargava Shastry
|
b6f9a2d380
|
Add/remove assignment mutation
|
2020-01-07 22:21:49 +01:00 |
|
|
Bhargava Shastry
|
60930ca119
|
WIP
|
2020-01-07 22:21:49 +01:00 |
|
|
Bhargava Shastry
|
3324762c37
|
Add remove mutations
|
2020-01-07 22:21:49 +01:00 |
|
|
Bhargava Shastry
|
194fbeb5c2
|
Add leave mutation
|
2020-01-07 22:21:49 +01:00 |
|
|
Bhargava Shastry
|
e2efcf222c
|
WIP
|
2020-01-07 22:21:49 +01:00 |
|
|
Bhargava Shastry
|
ec56c785c1
|
yul fuzzer: Add custom mutation routines
|
2020-01-07 22:21:49 +01:00 |
|
|
Bhargava Shastry
|
e32bb74b30
|
yul proto fuzzer: Add EVM version field
|
2020-01-07 22:21:49 +01:00 |
|
|
Bhargava Shastry
|
bab92118a5
|
yul proto fuzzer: Add EVM version field
|
2020-01-07 22:21:49 +01:00 |
|
|
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 |
|