Mathias Vorreiter Pedersen f173dc71c0 C++: Use shorter names for new IR predicates. This should hopefully guide users to use these predicates by default.

2020-11-21 00:54:50 +01:00

..

autobuilder

C#: Upgrade to .net core app 3.1

2020-10-06 16:01:14 +02:00

change-notes

Update cpp/change-notes/2020-11-02-unused-local-variable.md

2020-11-06 14:42:48 +00:00

config/suites

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

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

ql

C++: Use shorter names for new IR predicates. This should hopefully guide users to use these predicates by default.

2020-11-21 00:54:50 +01:00

upgrades

Add upgrade script

2020-10-18 08:42:24 -04:00