Settle for Why3 1.5.1.

See merge request laiser/caisar!77

Simplify dataset results to provide as JSON

See merge request laiser/caisar!76

[verification] Rework additional information for dataset results and simplify its JSON serialization.

AIMOS support

See merge request laiser/caisar!41

Make ONNX library to explicitly depend on the ocaml-protoc-plugin package.

Closes #1

See merge request laiser/caisar!75

Issue reported by Stephen Sherratt (@gridbugs).

Better nnenum detection

See merge request laiser/caisar!74

Also provide more general python script that detects the existance of a python
module. The script takes two arguments: module name as first argument, and the
output string (typically, a version) that CAISAR uses for detection as second argument.

[docker] Rework template to make it work with latest solvers.

See merge request laiser/caisar!73

Enable Marabou once again, and fix the commit for nnenum and SAVer.

Remove dataset normalization

See merge request laiser/caisar!72

Fix docker Makefile

See merge request laiser/caisar!71

Some design rework needs to be done first.

Avoid having the default image hardcoded in template.

François Bobot authored 2 years ago and Michele Alberti committed 2 years ago

Use default image version of ocaml/opam:ubuntu-ocaml-4.13 instead in template.

Some rework about JSON configuration

See merge request laiser/caisar!67

Some rework on stdlib

See merge request laiser/caisar!66