module Instance : sig ... endval create :
?interesting_signals:Hardcaml.Signal.t list ->
Hardcaml.Circuit.t ->
tCreate a new simulator for a given circuit. It will be only possible to Instance.read and Instance.write signals that are in interesting_signals or are inputs/outputs of the circuit.
val start : ?compiler_command:string -> t -> Instance.tStart a new simulator.
val add_function : t -> string list -> Instance.t -> unitAdd a C code to the simulator. Returns a function that, when called on an instance will execute this function.
val make_seq_code : t -> string listval make_comb_code : t -> string listval make_comb_last_layer_code : t -> string listval make_reset_code : t -> string listmodule Cyclesim : sig ... end