hydai b409faa675 Disallow uppercase X in hex number literals

2018-09-19 22:01:15 +08:00

..

analysis

Do not set to ref for explicit conversion and add assertion for array

2018-09-14 08:42:40 +02:00

ast

fixing rebase conflicts

2018-09-13 15:53:06 -06:00

codegen

fixing rebase conflicts

2018-09-13 15:53:06 -06: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

fix code format problems

2018-09-19 00:18:49 +08: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