cerc-io/solidity
15
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
4f635cab91
solidity/libsolidity
History
chriseth a2b427dc0b
Merge pull request #8567 from ethereum/storage-pointer-checker 
Removed redundant storage declaration check; test coverages
2020-04-02 13:46:51 +02:00
..
analysis Merge pull request #8567 from ethereum/storage-pointer-checker 2020-04-02 13:46:51 +02:00
ast Refactor: Replace inheritance hierarchy by most derived contract. 2020-03-26 18:27:39 +01:00
codegen Properly handle assignments of immutables at declaration. 2020-04-02 08:35:22 +02:00
formal [SMTChecker] Add SortProvider 2020-03-26 14:55:54 +01:00
interface Introduced TestCaseReader. 2020-03-16 23:14:33 +01:00
parsing Parsing of immutable state variable. 2020-03-12 17:11:24 +01:00
CMakeLists.txt [SMTChecker] Add SortProvider 2020-03-26 14:55:54 +01:00