Ian Lynagh c7b6374e55 C++: Improve compileTimeConstantInt ...

It is possible for the frontend to make
    (bool)e
where e has a constant value 0, but the (implicit) cast has no constant
value. This was causing us to not understand assume(0) correctly.

Now compileTimeConstantInt will handle casts itself if necessary.

2020-09-17 14:51:50 +01:00

..

autobuilder

C++: Move .gitignore into autobuilder directory

2020-07-07 16:31:46 -04:00

config/suites

C++: Added query to suites and change-notes

2020-01-17 14:51:40 +01:00

ql

C++: Improve compileTimeConstantInt

2020-09-17 14:51:50 +01:00

upgrades

C++: Add an upgrade script

2020-09-15 15:36:19 +01:00