package caisar

You can search for identifiers within the package.

in-package search v0.2.0

A platform for characterizing the safety and robustness of artificial intelligence based software

Install

Dune Dependency

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

Authors

L

LAISER team, Software Safety and Security Laboratory, CEA-List

Maintainers

L

LAISER team, Software Safety and Security Laboratory, CEA-List

Sources

caisar-0.2.1.tbz

sha256=a9a704f1e4e255eee2e9b0333e6c7b0e3e002293ce0068faa1c3d7c18d209997

sha512=7e35bd5527f82c5c6f62452c88e2971907a4eab89fd4efb699b99eb95f730d752908d51c47e104dcff5ceb58cf24c87d3399cb42e09a47691440927463168abb

doc/caisar.ir/Ir/Nier_cfg/Tensor/index.html

Module `Nier_cfg.Tensor`Source

Sourcetype ('a, 'b) t = ('a, 'b, Bigarray.c_layout) Bigarray.Genarray.t

Sourcetype shape = Base.int Base.array

Source

val pp_shape : 
  Ppx_deriving_runtime.Format.formatter ->
  shape ->
  Ppx_deriving_runtime.unit

Sourceval show_shape : shape -> Ppx_deriving_runtime.string

Sourceval all_coords : shape -> Base.int Base.list Base.list

create sh initialize a tensor with the given shape sh with a default value, depending of the type of the tensor

Sourcetype ('a, 'b) t_kind =

| K_int : (Base.int64, Bigarray.int64_elt) t_kind
| K_float : (Base.float, Bigarray.float64_elt) t_kind

Sourceval create : shape -> ('a, 'b) t_kind -> ('a, 'b) t

get t idx returns the value in tensor t stored at coordinates idx. Throw an error if the coordinate is invalid.

Sourceval get : ('a, 'b) t -> shape -> 'a

set_idx t idx v sets value v for tensor t at idx. Throw an error if the coordinate is invalid.

Sourceval set : ('a, 'b) t -> shape -> 'a -> Base.unit

equal f t1 t2 applies f to all values of t1 and t2, and returns true if all applications of f returned true.

Sourceval equal : ('a -> 'a -> Base.bool) -> ('a, 'b) t -> ('a, 'b) t -> Base.bool

get_shape t returns the shape of t.

Sourceval get_shape : ('a, 'b) t -> shape

flatten t returns a flattened version of t.

Sourceval flatten : ('a, 'b) t -> 'a Base.list

num_neurons sh returns the total number of neurons given a shape

Sourceval num_neurons : shape -> Base.int

get flatnd_idx idx sh flt returns the value that would be stored at index idx under a tensor of shape sh, given the flattened version of this tensor flt.

Sourceval get_flatnd_idx : idx:shape -> sh:shape -> 'a Base.list -> 'a

transpose_2d t returns a copy of the tensor t with its two last dimension exchanged.

Sourceval transpose_2d : ('a, 'b) t -> ('a, 'b) t

unsqueeze sh1 sh2 returns the lowest common shape between sh1 and sh2, and None if there is no common shape. A common shape is when a shape of higher dimension has only 1 coordinates on non-shared dimensions with the other.

Sourceval unsqueeze : sh1:shape -> sh2:shape -> shape Base.option