Jonas Jensen 10de931b92 C++: Decrease largeVariable cut-off to 100k ...

This 10x lower cut-off has on at least one snapshot made it possible to
compute AST data flow where it was infeasible before.

Also fix an integer overflow that happened in practice on at least one
snapshot and prevented the cut-off from being applied.

2020-11-17 09:48:32 +01:00

..

autobuilder

C#: Upgrade to .net core app 3.1

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

change-notes

Merge pull request #4532 from geoffw0/wrongtypeformaterr

2020-10-22 14:21:14 +02:00

config/suites

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

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

ql

C++: Decrease largeVariable cut-off to 100k

2020-11-17 09:48:32 +01:00

upgrades

C++: Add an upgrade script

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