GitLab

new example: infinity_of_primes

See merge request !549

Fix sessions

See merge request !548

Resolve "Too complex counterexample"

Closes #578

See merge request !546

Add COLIBRI and Colibri2

See merge request !545

Export get filename

See merge request !544

Improve compatibility of TryWhy3 (fix #576 #577).

Closes #577 and #576

See merge request !543

Add API example for checking counterexamples

See merge request !541

Fix CVC4 counterexample regex

See merge request !542

Will be replaced by petiot2018 example

They are a good indicator for a separator regex missing in the driver

True cases where lost in the any-pattern (same_result StepLimitExceeded
StepLimitExceeded). Make future-proof by removing the any-pattern.

In some cases, the models are separated by "unknown (RESOURCEOUT)" instead of
"unknown", for example in SPARK's test N121-026__nonlinear and many others.

Fix type instantiation for constructors in execution

See merge request !539

Reduce bounded all quantifications in reduction engine

See merge request !526

Add command line option to limit why3 prove to certain goals

See merge request !525

[FEATURE]