chriseth 32112d6480 Merge pull request #5041 from liangdzou/fix_typo_in_doc ...

fix typo in docs and comments

2018-09-24 13:52:33 +02:00

..

analysis

Use 'switch' instead of 'if..else if'

2018-09-24 08:31:44 +06:00

ast

Merge pull request #5041 from liangdzou/fix_typo_in_doc

2018-09-24 13:52:33 +02: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