Julien Girard-Satabin authored 1 year ago and Michele Alberti committed 1 year ago

This commit adds support for outputting most of the NIER informations into ONNX format.
Some metadata may be missing, such as input and output nodes for the ONNX graph.

[release] Release 1.0

See merge request laiser/caisar!116

Documentation revamp for the Interpretation Engine

Closes #44

See merge request laiser/caisar!87

Only use non-strict inequality symbols in VNNLIB driver/printer

Closes #49

See merge request laiser/caisar!110

No need to modify the driver because PyRAT handles stict inequality symbols.

Revise semantics of the options -T and -g for selecting goals.

See merge request laiser/caisar!109

Here the revised semantics:
- Option -T <theory_name> select only the goals of theory <theory_name>
- Option -g [<theory_name>:]<goal_name>,...,<goal_name> select only the list of
  <goal_name> from the <theory_name>, or from all theories.
- If no -T and -g are provided, all goals (from all theories) are selected.

Goal selection

See merge request laiser/caisar!108