Leonardo
|
f964966090
|
Merge pull request #9670 from ethereum/smt_struct
[SMTChecker] Support structs
|
2020-09-03 17:50:56 +02:00 |
|
Leonardo Alt
|
69a7808838
|
Add new tests
|
2020-09-03 15:19:33 +02:00 |
|
Leonardo Alt
|
7b3cd019d4
|
Make recursive structs unsupported
|
2020-09-03 15:19:33 +02:00 |
|
Leonardo Alt
|
3093648c05
|
Changelog
|
2020-09-03 15:19:32 +02:00 |
|
Leonardo Alt
|
bd0c46abf5
|
Remove unreachable/redundant error messages
|
2020-09-03 15:19:03 +02:00 |
|
Leonardo Alt
|
afcd44e77c
|
Update current tests
|
2020-09-03 15:19:03 +02:00 |
|
Leonardo Alt
|
e61b731647
|
[SMTChecker] Support structs
|
2020-09-03 15:19:03 +02:00 |
|
chriseth
|
ff6415aa9e
|
Merge pull request #9397 from ethereum/function-unused-parameter
[YUL] Remove unused function parameters
|
2020-09-03 14:03:35 +02:00 |
|
Harikrishnan Mulackal
|
974e35d09c
|
Tests and changelog
|
2020-09-03 13:15:38 +02:00 |
|
Harikrishnan Mulackal
|
e2fd41f097
|
Implemented UnusedFunctionArgumentPruner
|
2020-09-03 13:15:38 +02:00 |
|
chriseth
|
1f11965849
|
Simplify DeclarationRegistrationHelper.
|
2020-09-02 20:45:33 +02:00 |
|
chriseth
|
2934a1f037
|
Assign scopes as a separate step.
|
2020-09-02 20:45:33 +02:00 |
|
chriseth
|
cde6522484
|
Merge pull request #9732 from ethereum/dropI386PPA
Drop i386 from the PPA release script.
|
2020-09-02 18:56:09 +02:00 |
|
chriseth
|
92920c2a0f
|
Merge pull request #9733 from ethereum/release
Merge release back into develop.
|
2020-09-02 18:55:46 +02:00 |
|
Daniel Kirchner
|
5b64f0b7ed
|
Drop i386 from the PPA release script.
|
2020-09-02 18:26:05 +02:00 |
|
Leonardo
|
767d06b297
|
Merge pull request #9730 from ethereum/setversionto072
Set version to 0.7.2.
|
2020-09-02 18:05:56 +02:00 |
|
chriseth
|
d58c5f48e4
|
Set version to 0.7.2.
|
2020-09-02 16:21:48 +02:00 |
|
chriseth
|
f4a555bedc
|
Merge pull request #9729 from ethereum/develop
Merge develop into release for 0.7.1
|
2020-09-02 14:43:57 +02:00 |
|
chriseth
|
3a48be546d
|
Merge pull request #9602 from ethereum/structMemToStorageSol2Yul
[Sol->Yul] Implementing various copying of structs
|
2020-09-02 13:50:46 +02:00 |
|
chriseth
|
840791a470
|
Merge pull request #9717 from ethereum/prepare071
Prepare release of 0.7.1.
|
2020-09-02 12:58:13 +02:00 |
|
chriseth
|
23514c1749
|
Merge pull request #9724 from ethereum/superForYul
Implement ``super``.
|
2020-09-02 12:48:39 +02:00 |
|
Djordje Mijovic
|
a740cb619b
|
Adding tests for copying structs with function pointers between storage and memory
|
2020-09-02 12:28:53 +02:00 |
|
Djordje Mijovic
|
1fab5b79fb
|
Refactoring signature for updateStorageValueFunction
|
2020-09-02 12:28:53 +02:00 |
|
Djordje Mijovic
|
15163b2270
|
Refactoring readFromStorage util frunctions
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
|
2020-09-02 12:28:53 +02:00 |
|
Djordje Mijovic
|
23f6369a46
|
Implementing struct copying from calldata to storage
|
2020-09-02 12:28:53 +02:00 |
|
Djordje Mijovic
|
762e3f3cee
|
[Sol->Yul] Implementing struct copying from calldata to storage
|
2020-09-02 12:28:53 +02:00 |
|
Djordje Mijovic
|
381784dd89
|
[Sol->Yul] Implementing struct copying from storage to memory
|
2020-09-02 12:28:53 +02:00 |
|
Djordje Mijovic
|
b89c863e11
|
[Sol->Yul] Implementing struct copying from memory to storage
|
2020-09-02 12:28:53 +02:00 |
|
chriseth
|
5e66583b0b
|
Merge pull request #9726 from ethereum/arrayCopySol2YulTests
Adding simple array copying tests
|
2020-09-02 11:05:01 +02:00 |
|
chriseth
|
8f34ac472f
|
Implement `super`.
|
2020-09-02 11:00:42 +02:00 |
|
Djordje Mijovic
|
e7a05324af
|
Adding simple array copying tests
|
2020-09-02 09:39:28 +02:00 |
|
Leonardo
|
0d83977d5a
|
Merge pull request #9648 from ethereum/smt_refactor_predicates
[SMTChecker] Refactor CHC predicates
|
2020-09-01 20:38:47 +02:00 |
|
chriseth
|
b52f334fff
|
Prepare release of 0.7.1.
|
2020-09-01 17:47:56 +02:00 |
|
chriseth
|
3599258d86
|
Merge pull request #9723 from ethereum/smt_fix_rational
[SMTChecker] Fix rational number short circuit
|
2020-09-01 17:34:56 +02:00 |
|
Leonardo Alt
|
49d3804de4
|
[SMTChecker] Fix rational number short circuit
|
2020-09-01 17:21:13 +02:00 |
|
Leonardo Alt
|
e23d96464b
|
Adjust test
|
2020-09-01 16:10:12 +02:00 |
|
Leonardo Alt
|
a3b6019131
|
Move post input and post output filtering from CHC to Predicate
|
2020-09-01 16:10:12 +02:00 |
|
Leonardo Alt
|
2e2e96cc93
|
Move state model filtering from CHC to Predicate
|
2020-09-01 16:10:12 +02:00 |
|
Leonardo Alt
|
e3a8c94ace
|
Move formatFunctionCallCounterexample from CHC to Predicate
|
2020-09-01 16:10:11 +02:00 |
|
Leonardo Alt
|
5bbb20d3cb
|
Move stateVariablesIncludingInheritedAndPrivate from CHC to SMTEncoder
|
2020-09-01 16:09:57 +02:00 |
|
Leonardo Alt
|
016b9b83a8
|
Refactor predicates
|
2020-09-01 16:09:56 +02:00 |
|
chriseth
|
e582731aab
|
Merge pull request #9721 from ethereum/allowCxxStandardOverride
Do not generally override CXX standard.
|
2020-09-01 14:35:23 +02:00 |
|
Daniel Kirchner
|
c6dff971cb
|
Do not generally override CXX standard.
|
2020-09-01 14:29:44 +02:00 |
|
chriseth
|
ea38ff0348
|
Merge pull request #9715 from ethereum/macosx-readlink
OSX: Fix readlink & ASTImportTest.sh issues.
|
2020-09-01 12:26:01 +02:00 |
|
Leonardo
|
6b38c64c84
|
Merge pull request #9709 from ethereum/smt_fix_tuple_3
[SMTChecker] Fix ICE on tuples of one element of tuple type
|
2020-09-01 10:47:36 +02:00 |
|
Leonardo
|
20b359e5c5
|
Merge pull request #9716 from ethereum/smt_fix_tuple_2
[SMTChecker] Fix ICE on tuple assignment
|
2020-09-01 10:44:34 +02:00 |
|
Leonardo
|
c9ca1d1814
|
Merge pull request #9706 from ethereum/smt_fix_tuple_lvalue
[SMTChecker] Fix unary operator on lvalue tuple
|
2020-09-01 10:37:24 +02:00 |
|
chriseth
|
f628fd3f03
|
Merge pull request #9655 from a3d4/fix-msvc-adl
Fix MSVC ADL
|
2020-09-01 10:35:11 +02:00 |
|
Leonardo Alt
|
238b8a929e
|
[SMTChecker] Fix ICE on tuples of one element that actually have tuple type
|
2020-09-01 08:31:57 +02:00 |
|
Leonardo Alt
|
5cafbeebec
|
[SMTChecker] Fix ICE on tuple assignment
|
2020-09-01 08:29:01 +02:00 |
|