Skip to content
Snippets Groups Projects
Commit 3ab3dd29 authored by Julien Girard-Satabin's avatar Julien Girard-Satabin
Browse files

[release] Release 0.2.1

parent 6f990158
No related branches found
No related tags found
No related merge requests found
# Unreleased
## Unreleased
- Add `--define` (or `--def`) to define the value of a declared constant from
- Add --define (or --def) to define the value of a declared constant from
the command line.
# 0.2.1 (19-09-2023)
- [packaging] Simplify CAISAR packaging structure by merging onnx, ovo, csv and
onnx libraries into the main repo.
# 0.2 (19-06-2023)
- [prover] Integration of the [nnenum](https://github.com/stanleybak/nnenum)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment