cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
17,773 Commits 348 Branches 121 Tags
interface-assert
Commit Graph
17773 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
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
v0.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 MijovicandDaniel Kirchner 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
Leonardo Alt 7ca335adde Decrease rlimit 2020-09-01 08:25:07 +02:00
Leonardo Alt 50e0ada77d [SMTChecker] Fix unary operator on lvalue tuple 2020-09-01 08:25:06 +02:00
Alexander Arlt 5f7b4a2e05 OSX: Fix readlink issues and that ASTImportTest.sh silently ignores errors. 2020-08-31 21:04:25 -05:00
a3d4 8faa5243b5 Fix MSVC ADL 2020-09-01 00:42:42 +02:00
chriseth 34543e5eab Merge pull request #9692 from ethereum/smt_fix_pop 
[SMTChecker] Fix soundness of array pop
 2020-08-31 20:07:58 +02:00
chriseth b3b1df6556 Merge pull request #9681 from ethereum/small-astjsontest-refactor 
Refactor ASTJSONTest to reduce redundancy
 2020-08-31 19:50:06 +02:00