Lazaridis cab8dea7fe refine memory-store assertions, closes #4891

2018-10-27 00:04:54 +03:00

..

analysis

Merge pull request #5195 from ethereum/unsigned-array-index

2018-10-10 20:56:25 +02:00

ast

Fixes large rational number literals being wrongly interpreted.

2018-10-09 14:36:49 +02:00

codegen

refine memory-store assertions, closes #4891

2018-10-27 00:04:54 +03:00

formal

Use empty() instead of size() == 0

2018-10-09 04:29:37 +01:00

inlineasm

Merge pull request #5132 from ethereum/genericVisitor

2018-10-10 16:01:20 +02:00

interface

Change find to use a single character

2018-10-09 18:06:25 +01:00

parsing

Merge pull request #5180 from ethereum/cpp-cleanup

2018-10-10 11:43:42 +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