Anurag Dashputre 435cd95c54 Default case removed to detect errors at comoile time rather than run time

2018-08-17 18:37:35 +05:30

..

analysis

Fix data location of external reference parameters.

2018-08-09 15:04:00 +02:00

ast

Default case removed to detect errors at comoile time rather than run time

2018-08-17 18:37:35 +05:30

codegen

Rename FunctionKind SHA3 to KECCAK256 (as the instruction was renamed in libevmasm)

2018-08-08 22:37:40 +01:00

formal

Add workarounds for building against CVC4 on ArchLinux.

2018-08-08 19:02:59 +02:00

inlineasm

Merge pull request #4753 from mattaereal/boost-to-string-patch

2018-08-08 16:07:25 +01:00

interface

Merge pull request #4753 from mattaereal/boost-to-string-patch

2018-08-08 16:07:25 +01:00

parsing

Cleanup & polish numbers-with-underscores parsing, also improving tests.

2018-08-08 13:38:46 +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