Leonardo Alt 4058978b3b Require Z3 >= 4.6.0

2019-02-07 14:24:40 +01:00

..

analysis

Turn unreachable error statements into asserts

2019-02-07 10:07:09 +01:00

ast

Change FIXMEs into TODOs where appropriate

2019-01-29 00:35:23 +00:00

codegen

Remove type check that is covered by assertions.

2019-02-07 12:02:15 +01:00

formal

[SMTChecker] Add mod operator

2019-02-07 14:24:40 +01:00

interface

Change FIXMEs into TODOs where appropriate

2019-01-29 00:35:23 +00:00

parsing

Use specific boost include in DocStringParser

2019-01-31 13:14:29 +00:00

CMakeLists.txt

Require Z3 >= 4.6.0

2019-02-07 14:24:40 +01:00