package soteria

  1. Overview
  2. Docs
Soteria is a toolkit for writing symbolic bug-finding tools

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (2)

Authors

  1. S
    Sacha-Élie Ayoun <s.ayoun17@imperial.ac.uk>
  2. O
    Opale Sjöstedt <opale.sjostedt23@imperial.ac.uk>

Maintainers

  1. S
    Sacha-Élie Ayoun <s.ayoun17@imperial.ac.uk>
  2. O
    Opale Sjöstedt <opale.sjostedt23@imperial.ac.uk>

Sources

v0.1.0.tar.gz
md5=8f15271b81e34caa12a39e3b7a63313a
sha512=5f6987cf362bc06402d9bed324c7b060384d7ef02479e2a614ca4b4122cc65082f6afc892c398c6562b0eb42fc13d6cc77e76c2518221590576215aaa00ee5bd

doc/soteria/Soteria/Sym_states/Pmap/index.html

Module Sym_states.Pmap

module Key (Symex : Symex.Base) : sig ... end
module S (Symex : Symex.Base) (Key : sig ... end) : sig ... end
module Make (Symex : Symex.Base) (Key : Key(Symex).S) (Codom : Sym_states.Base.M(Symex).S) : S(Symex)(Key).S with type codom := Codom.t and type codom_syn := Codom.syn
module Make_patricia_tree (Symex : Symex.Base) (Key : Key(Symex).S_patricia_tree) (Codom : Sym_states.Base.M(Symex).S) : S(Symex)(Key).S with type codom := Codom.t and type codom_syn := Codom.syn
module Direct_access (Symex : Symex.Base) (Key : Key(Symex).S) (Codom : Sym_states.Base.M(Symex).S) : S(Symex)(Key).S with type codom := Codom.t and type codom_syn := Codom.syn
module Direct_access_patricia_tree (Symex : Symex.Base) (Key : Key(Symex).S_patricia_tree) (Codom : Sym_states.Base.M(Symex).S) : S(Symex)(Key).S with type codom := Codom.t and type codom_syn := Codom.syn
module Concrete (Symex : Symex.Base) (Key : Soteria.Soteria_std.Ordered_type.S) (Codom : Sym_states.Base.M(Symex).S) : S(Symex)(Soteria__Sym_states__.Pmap_intf.Ckey(Key)).S with type codom := Codom.t and type codom_syn := Codom.syn