package hardcaml_verify

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Hardcaml Verification Tools

Install

dune-project

Dependency

sha256=b475dc8e540d9855b438309de3cf1984b28d29e7cd8a4d2b76d58a68894a8749

module I : Hardcaml.Interface.S

module O : Hardcaml.Interface.S

type model := t

Sourcetype t

type ltl := Hardcaml.Property.LTL.path

type ctl := Hardcaml.Property.CTL.state

Sourceval create : name:Base.string -> Hardcaml.Interface.Create_fn(I)(O).t -> t

Sourceval ltl : t -> (ltl Base.array I.t, ltl Base.array O.t) Circuit_properties.t

Sourceval ctl : t -> (ctl Base.array I.t, ctl Base.array O.t) Circuit_properties.t

Sourceval create_specification : t -> property Base.list -> model

On This Page