caisar-irversion
CAISAR's intermediate representation
| Author | LAISER team, Software Safety and Security Laboratory, CEA-List |
|---|---|
| License | LGPL-2.1-only |
| Published | |
| Homepage | https://git.frama-c.com/pub/caisar |
| Issue Tracker | https://git.frama-c.com/pub/caisar/issues |
| Maintainer | LAISER team, Software Safety and Security Laboratory, CEA-List |
| Dependencies |
|
| Source [http] | https://git.frama-c.com/api/v4/projects/1082/packages/generic/caisar/0.2/caisar-0.2.tbz sha256=e56829b9e2564c1cd0ab01798cc2b3c9b8887be0180b1e260b6e93940bf5e069 sha512=fcd1b1bf4b32d4ece982acab59710c8f1fe33784f5e4a15bd85a14cd1b7db450f529a0bfca31009a919008312149a25c6ea7ec3272d524a1e4c026eeeff7d5a3 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/caisar-ir/caisar-ir.0.2/opam |
Required by
- caisar=0.2
- caisar-onnx>=0.2
