chriseth c047803b80 Change BreadthFirstSearch to use value types instead of pointers.

2019-08-15 16:10:10 +02:00

..

analysis

Change BreadthFirstSearch to use value types instead of pointers.

2019-08-15 16:10:10 +02:00

ast

Better error messages when writing to expressions that cannot be written to.

2019-08-14 17:59:48 +02:00

codegen

Refactor IRLValue so that it does not require IRGenerationContext.

2019-08-08 17:27:35 +02:00

formal

[CHC] Add function blocks and check asserts

2019-08-15 12:25:15 +02:00

interface

Fix link to Contract ABI in source code

2019-08-13 12:43:04 +02:00

parsing

A pragma version mismatch is not fatal if ...

2019-07-17 19:01:01 -04:00

CMakeLists.txt

Add CHC skeleton

2019-07-19 11:52:05 +02:00