package caisar-onnx

  1. Overview
  2. Docs
ONNX parser for CAISAR

Install

Dune Dependency

git.frama-c.com Readme Changelog Edit opam file Versions (2)

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

CHANGES.md.html

0.1 (13-07-2022)

First public release of CAISAR.