solidity/libsolidity
2018-09-11 14:47:25 +02:00
..
analysis Merge pull request #4872 from bakaoh/issue4716 2018-09-05 21:47:42 +02:00
ast Replace `isConstructor field in the JSON AST by a kind` field. 2018-09-11 14:47:25 +02:00
codegen Always perform cleanup for EXP. 2018-09-10 12:47:46 +02:00
formal Split IntegerType into IntegerType and AddressType. 2018-09-05 12:19:14 +02:00
inlineasm Merge pull request #4753 from mattaereal/boost-to-string-patch 2018-08-08 16:07:25 +01:00
interface Merge pull request #4542 from aarlt/constructor_natspec 2018-08-14 19:13:25 +02:00
parsing This fixes several bugs with regards to line breaks and comments: 2018-09-06 16:42:59 +02:00
CMakeLists.txt Do not force GMP to be present as dependency of CVC4, but also allow CLN instead. 2018-08-08 19:02:59 +02:00