solidity/libsolidity
2019-03-04 11:41:52 +01:00
..
analysis Merge pull request #6132 from ethereum/ossfuzz-nullref-typechecker 2019-02-28 16:38:54 +01:00
ast Provide access to the name of contracts. 2019-02-26 14:07:03 +00:00
codegen Remove defaults in constructor arguments. 2019-03-04 11:41:52 +01:00
formal Fix SMT Checker crash due to missing type information 2019-02-28 11:55:45 +01:00
interface Process and validate standard-json optimizer settings. 2019-03-04 11:40:28 +01:00
parsing Make EVM version part of EVM dialect. 2019-02-21 21:59:46 +01:00
CMakeLists.txt Introduce global optimiser settings. 2019-03-04 11:40:28 +01:00