Get name of a node.
Get data node of a node.
Shape inference function.

[ci] Try to avoid double pipeline for same branch/commit when an MR is open for it.

See merge request laiser/caisar!43

Use gitlab-ci [when:] keyword instead of [rules:] when possible.

Better interpretation of the DataSetClassification theory predicates

See merge request laiser/caisar!42

[SAVer] Harmonize output on SAVer's Unknown answer.

See merge request laiser/caisar!40

No "empty parenthesis" anymore.

Extend SAVer support

See merge request laiser/caisar!37

Also, consider SAVer as complete wrt "correct" predicate, which does not take
into account a perturbation anymore. Correctness is wrt the expected label only.

Split premises to generate tasks

See merge request laiser/caisar!39

Documentation

See merge request laiser/caisar!23

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

The axiom a \/ b gives two different tasks.

Add ACAS Xu example properties

See merge request laiser/caisar!38

Rework output messages

See merge request laiser/caisar!36