Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • 3.0
  • 2.1
  • 2.0
  • 1.0
5 results
Blame Permalink
language.mli 752 B 
(**************************************************************************)
(*                                                                        *)
(*  This file is part of CAISAR.                                          *)
(*                                                                        *)
(**************************************************************************)

type ioshape = {
  nb_inputs : int;
  nb_outputs : int;
  ty_data : Why3.Ty.ty;
  filename : string;
}

val lookup_loaded_nets : Why3.Term.lsymbol -> ioshape option
(** @return the filename of a nnet Why3 representation. *)

val register_nnet_support : unit -> unit
(** Register NNet parser. *)

val register_onnx_support : unit -> unit
(** Register ONNX parser. *)