package caisar

  1. Overview
  2. Docs
A platform for characterizing the safety and robustness of artificial intelligence based software

Install 

dune-project
 Dependency

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

Authors

  1. A
    AISER team, Software Safety and Security Laboratory, CEA-List

Maintainers

  1. A
    AISER team, Software Safety and Security Laboratory, CEA-List

Sources

caisar-5.0.tbz
sha256=05024c094f68b82873f2c99c89d4f196049ac63b7d1d4f68ae1a1e3b08de7342
sha512=a26c724a19fca7c22a000367d1cd79c1e0474f373bf7265449928e55275ac44103190536dc8c76f5ac00a2a1897c3bd2ee06bb6f22140165079b72a27011e6df

doc/caisar.nir/Nir/Ngraph/index.html

Module Nir.NgraphSource

Neural Intermediate Representation (NIR)

NIR is a graph describing a machine learning model control flow.

A graph is described starting from its output node.

Sourcetype t
Sourceval pp : t Fmt.t
Sourceval pp_debug : t Fmt.t
Sourceval create : Node.t -> t

Create a network from its output node.t

Sourceval output : t -> Node.t

Output node.t of the network

Sourceval nodes : t -> Node.t list

Output nodes of the network

Sourceval input_shape : t -> Shape.t

Input shape of the network

Sourceval succs : t -> Node.t -> Node.t list

successors of a node.t

Sourceval iter_vertex : (Node.t -> unit) -> t -> unit
Sourceval iter_succ : (Node.t -> unit) -> t -> Node.t -> unit
Sourceval grapheasy : t -> string
Sourcemodule GFloat : sig ... end

Respect some OcamlGraph signature

Sourcemodule Dot : sig ... end