package owi

  1. Overview
  2. Docs
OCaml toolchain to work with WebAssembly, including an interpreter

Install 

dune-project
 Dependency

github.com Readme Changelog AGPL-3.0-or-later License Edit opam file Versions (2)

Authors

  1. L
    Léo Andrès <contact@ndrs.fr>
  2. P
    Pierre Chambart <pierre.chambart@ocamlpro.com>
  3. F
    Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
  4. E
    Eric Patrizio <epatrizio@mpns.fr>
  5. A
    Arthur Carcano <arthur.carcano@ocamlpro.com

Maintainers

  1. L
    Léo Andrès <contact@ndrs.fr>

Sources

0.2.tar.gz
sha256=ae5f43a855d35e3362d7ae4f5d26a2e99f5abbbafceb9e970a9ac9ec48eca791
sha512=2cbd28275e1c65aa8f16d945d8ed679f070e1409f45796a272c8d58eb806890ad686184c95e1b6b16b96734c3d2c1d885c9894b3386f55cc0fd3fb4a40d68a8d

doc/owi/Owi/Thread/index.html

Module Owi.Thread

type t = {
  1. choices : int;
  2. mutable symbol_set : Smtml.Symbol.t list;
  3. pc : Symbolic_value.vbool list;
  4. memories : Symbolic_memory.collection;
  5. tables : Symbolic_table.collection;
  6. globals : Symbolic_global.collection;
    (*

    Breadcrumbs represent the list of choices that were made so far. They identify one given symbolic execution trace.

    *)
  7. breadcrumbs : int32 list;
}
val pc : t -> Symbolic_value.vbool list
val memories : t -> Symbolic_memory.collection
val globals : t -> Symbolic_global.collection
val breadcrumbs : t -> int32 list
val create : unit -> t
val clone : t -> t