caisar-irversion

CAISAR's intermediate representation

AuthorLAISER team, Software Safety and Security Laboratory, CEA-List
LicenseLGPL-2.1-only
Published
Homepagehttps://git.frama-c.com/pub/caisar
Issue Trackerhttps://git.frama-c.com/pub/caisar/issues
MaintainerLAISER 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
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/caisar-ir/caisar-ir.0.2/opam
Required by