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.1.tbz
sha256=f41febdf9faa14c6ed1504791e7e96172997ca0bc26f421ad68a6c18893e92c4
sha512=364bc4d3a8dd7c8245ace10118c48db30a10749040bd655092e79c323c10bcdfc660a9b687335800988da0308d5fa1f1a8cb822eb8bcf857092e583bf94cce4d

Description

Published: 14 Jul 2022

Dependencies (5)

  1. ocaml-protoc-plugin >= "4.2.0"
  2. stdio >= "v0.14.0"
  3. base >= "v0.14.0"
  4. ocaml >= "4.13"
  5. dune >= "2.9"

Dev Dependencies (1)

  1. odoc with-doc

Used by (1)

  1. caisar

Conflicts

None