package caisar-onnx

  1. Overview
  2. Docs
ONNX parser for CAISAR

Install

git.frama-c.com Readme Changelog Edit opam file

Authors

  1. L
    LAISER team, Software Safety and Security Laboratory, CEA-List

Maintainers

  1. L
    LAISER team, Software Safety and Security Laboratory, CEA-List

Sources

caisar-0.2.tbz
sha256=e56829b9e2564c1cd0ab01798cc2b3c9b8887be0180b1e260b6e93940bf5e069
sha512=fcd1b1bf4b32d4ece982acab59710c8f1fe33784f5e4a15bd85a14cd1b7db450f529a0bfca31009a919008312149a25c6ea7ec3272d524a1e4c026eeeff7d5a3

Description

Published: 27 Jun 2023

Dependencies (7)

  1. caisar-ir = version
  2. ocplib-endian >= "1.0"
  3. ocaml-protoc-plugin >= "4.2.0"
  4. stdio >= "v0.14.0"
  5. base >= "v0.14.0"
  6. ocaml >= "4.13"
  7. dune >= "2.9"

Dev Dependencies (1)

  1. odoc with-doc

Used by (1)

  1. caisar = "0.2"

Conflicts (1)

  1. result < "1.5"