Alex Beregszaszi 384a65f660 Be more strict about values in the optimizer block in StandardJSON

2018-09-26 16:51:08 +01:00

..

analysis

Merge pull request #5061 from ethereum/fixedSizeArrayLength

2018-09-26 14:55:07 +02:00

ast

Use better assertion messages for RationalNumberType::literalValue

2018-09-26 13:05:58 +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

CREATE2 is part of Constantinople now

2018-09-26 01:58:10 +01:00

interface

Be more strict about values in the optimizer block in StandardJSON

2018-09-26 16:51:08 +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