chriseth d76bfcd935 Fix typos.

2018-10-04 13:28:16 +02:00

..

analysis

Fix typos.

2018-10-04 13:28:16 +02:00

ast

Fixes #5051 (introduced in #4684), effectively allowing underscores in address literals.

2018-10-02 15:37:15 +02:00

codegen

Fix typos.

2018-10-04 13:28:16 +02:00

formal

Removing extra default cases to force compile time error, instead of runtime.

2018-09-30 12:40:38 +05:30

inlineasm

Add assembly support for EXTCODEHASH (EIP-1052)

2018-09-26 16:11:02 +01:00

interface

Merge pull request #4962 from anurag-git/anurag_issue_3667-1

2018-10-01 13:24:26 +02:00

parsing

Fix typos.

2018-10-04 13:28:16 +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