Khan M Rashedun-Naby 376ce07915 Use 'switch' instead of 'if..else if'		2018-09-24 08:31:44 +06:00
..
analysis	Use 'switch' instead of 'if..else if'	2018-09-24 08:31:44 +06:00
ast	Merge pull request #5049 from ethereum/structtype-assert-annotation	2018-09-21 15:02:26 +01:00
codegen	fix typo	2018-09-20 22:54:57 +08:00
formal	Split IntegerType into IntegerType and AddressType.	2018-09-05 12:19:14 +02:00
inlineasm	fix typo	2018-09-20 22:54:57 +08:00
interface	Add proper error reporting when invalid settings are provided in StandardJSON	2018-09-21 14:53:24 +01:00
parsing	Disallow uppercase X in hex number literals	2018-09-19 22:01:15 +08: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