diff --git a/api/owi/Owi/Binary/index.html b/api/owi/Owi/Binary/index.html index 569f2af16..82b86ca7c 100644 --- a/api/owi/Owi/Binary/index.html +++ b/api/owi/Owi/Binary/index.html @@ -1,4 +1,4 @@ -
Owi.Binary
named exports of a module
type global = {
typ : Types.binary Types.global_type;
init : Types.binary Types.expr;
id : string option;
}
type elem_mode =
| Elem_passive
| Elem_active of int option * Types.binary Types.expr
| Elem_declarative
type elem = {
id : string option;
typ : Types.binary Types.ref_type;
init : Types.binary Types.expr list;
mode : elem_mode;
}
type modul = {
id : string option;
global : (global, Types.binary Types.global_type) Runtime.t Named.t;
table : (Types.binary Types.table, Types.binary Types.table_type) Runtime.t
+Binary (owi.Owi.Binary) Module Owi.Binary
named exports of a module
type global = {
typ : Types.binary Types.global_type;
init : Types.binary Types.expr;
id : string option;
}
type elem_mode =
| Elem_passive
| Elem_active of int option * Types.binary Types.expr
| Elem_declarative
type elem = {
id : string option;
typ : Types.binary Types.ref_type;
init : Types.binary Types.expr list;
mode : elem_mode;
}
type modul = {
id : string option;
types : Types.binary Types.rec_type Named.t;
global : (global, Types.binary Types.global_type) Runtime.t Named.t;
table : (Types.binary Types.table, Types.binary Types.table_type) Runtime.t
Named.t;
mem : (Types.mem, Types.limits) Runtime.t Named.t;
func : (Types.binary Types.func, Types.binary Types.block_type) Runtime.t
Named.t;
elem : elem Named.t;
data : data Named.t;
exports : exports;
start : int option;
}
val empty_modul : modul
diff --git a/api/owi/Owi/Binary_encoder/index.html b/api/owi/Owi/Binary_encoder/index.html
new file mode 100644
index 000000000..6c327d0d8
--- /dev/null
+++ b/api/owi/Owi/Binary_encoder/index.html
@@ -0,0 +1,7 @@
+
+Binary_encoder (owi.Owi.Binary_encoder) Module Owi.Binary_encoder
val convert :
+ Fpath.t ->
+ unsafe:bool ->
+ optimize:bool ->
+ Text.modul ->
+ (unit, Result.err) Prelude.result
diff --git a/api/owi/Owi/Binary_parser/index.html b/api/owi/Owi/Binary_parser/index.html
index 74f816e25..795cc46fc 100644
--- a/api/owi/Owi/Binary_parser/index.html
+++ b/api/owi/Owi/Binary_parser/index.html
@@ -1,2 +1,2 @@
-Binary_parser (owi.Owi.Binary_parser) Module Owi.Binary_parser
val from_string : string -> Binary.modul Result.t
val from_channel : Stdlib.in_channel -> Binary.modul Result.t
val from_file : Fpath.t -> Binary.modul Result.t
+Binary_parser (owi.Owi.Binary_parser) Module Owi.Binary_parser
val from_string : string -> Binary.modul Result.t
val from_channel : Prelude.in_channel -> Binary.modul Result.t
val from_file : Fpath.t -> Binary.modul Result.t
diff --git a/api/owi/Owi/Binary_types/index.html b/api/owi/Owi/Binary_types/index.html
index ab47a1da1..2a3ea0404 100644
--- a/api/owi/Owi/Binary_types/index.html
+++ b/api/owi/Owi/Binary_types/index.html
@@ -1,8 +1,5 @@
-Binary_types (owi.Owi.Binary_types) Module Owi.Binary_types
val equal_func_types :
- Types.binary Types.func_type ->
- Types.binary Types.func_type ->
- bool
val convert_val_type :
+Binary_types (owi.Owi.Binary_types) Module Owi.Binary_types
val convert_val_type :
tbl ->
Types.text Types.val_type ->
Types.binary Types.val_type Result.t
val convert_heap_type :
diff --git a/api/owi/Owi/C_instrumentor/index.html b/api/owi/Owi/C_instrumentor/index.html
deleted file mode 100644
index 9dce5938c..000000000
--- a/api/owi/Owi/C_instrumentor/index.html
+++ /dev/null
@@ -1,2 +0,0 @@
-
-C_instrumentor (owi.Owi.C_instrumentor) Module Owi.C_instrumentor
diff --git a/api/owi/Owi/C_share/index.html b/api/owi/Owi/C_share/index.html
deleted file mode 100644
index 4b904361b..000000000
--- a/api/owi/Owi/C_share/index.html
+++ /dev/null
@@ -1,2 +0,0 @@
-
-C_share (owi.Owi.C_share) Module Owi.C_share
diff --git a/api/owi/Owi/C_share_site/Sites/index.html b/api/owi/Owi/C_share_site/Sites/index.html
index c33206060..7efac848d 100644
--- a/api/owi/Owi/C_share_site/Sites/index.html
+++ b/api/owi/Owi/C_share_site/Sites/index.html
@@ -1,2 +1,2 @@
-Sites (owi.Owi.C_share_site.Sites) Module C_share_site.Sites
+Sites (owi.Owi.C_share_site.Sites) Module C_share_site.Sites
diff --git a/api/owi/Owi/Choice_intf/module-type-Complete/index.html b/api/owi/Owi/Choice_intf/module-type-Complete/index.html
index 8d07bdc91..5763e507f 100644
--- a/api/owi/Owi/Choice_intf/module-type-Complete/index.html
+++ b/api/owi/Owi/Choice_intf/module-type-Complete/index.html
@@ -1,2 +1,2 @@
-Complete (owi.Owi.Choice_intf.Complete) Module type Choice_intf.Complete
val solver : Solver.solver t
val run : workers:int -> 'a t -> thread -> 'a run_result
+Complete (owi.Owi.Choice_intf.Complete) Module type Choice_intf.Complete
val lift_mem : 'a Symbolic_choice_without_memory.t -> 'a t
diff --git a/api/owi/Owi/Cmd_c/index.html b/api/owi/Owi/Cmd_c/index.html
index 7bf28badb..c0ff52609 100644
--- a/api/owi/Owi/Cmd_c/index.html
+++ b/api/owi/Owi/Cmd_c/index.html
@@ -15,5 +15,7 @@
bool ->
bool ->
bool ->
+ Cmd_sym.fail_mode ->
bool ->
+ Smtml.Solver_dispatcher.solver_type ->
unit Result.t
diff --git a/api/owi/Owi/Cmd_conc/index.html b/api/owi/Owi/Cmd_conc/index.html
index 32f88f8d3..b6a510835 100644
--- a/api/owi/Owi/Cmd_conc/index.html
+++ b/api/owi/Owi/Cmd_conc/index.html
@@ -8,6 +8,8 @@
bool ->
bool ->
bool ->
+ Cmd_sym.fail_mode ->
Fpath.t ->
+ Smtml.Solver_dispatcher.solver_type ->
Fpath.t list ->
unit Result.t
diff --git a/api/owi/Owi/Cmd_sym/index.html b/api/owi/Owi/Cmd_sym/index.html
index bfb8be04f..e11523fc1 100644
--- a/api/owi/Owi/Cmd_sym/index.html
+++ b/api/owi/Owi/Cmd_sym/index.html
@@ -1,5 +1,5 @@
-Cmd_sym (owi.Owi.Cmd_sym) Module Owi.Cmd_sym
val cmd :
+Cmd_sym (owi.Owi.Cmd_sym) Module Owi.Cmd_sym
diff --git a/api/owi/Owi/Cmd_utils/index.html b/api/owi/Owi/Cmd_utils/index.html
new file mode 100644
index 000000000..fac808b48
--- /dev/null
+++ b/api/owi/Owi/Cmd_utils/index.html
@@ -0,0 +1,4 @@
+
+Cmd_utils (owi.Owi.Cmd_utils) Module Owi.Cmd_utils
val write_testcase : dir:Fpath.t -> Smtml.Value.t list -> unit Result.t
val add_main_as_start :
+ Binary.modul ->
+ (Binary.modul, [> `Msg of string ]) Prelude.result
diff --git a/api/owi/Owi/Cmd_wat2wasm/index.html b/api/owi/Owi/Cmd_wat2wasm/index.html
new file mode 100644
index 000000000..b9c463ca5
--- /dev/null
+++ b/api/owi/Owi/Cmd_wat2wasm/index.html
@@ -0,0 +1,2 @@
+
+Cmd_wat2wasm (owi.Owi.Cmd_wat2wasm) Module Owi.Cmd_wat2wasm
val cmd : bool -> bool -> bool -> bool -> Fpath.t list -> unit Result.t
diff --git a/api/owi/Owi/Compile/Any/index.html b/api/owi/Owi/Compile/Any/index.html
new file mode 100644
index 000000000..8bcaecaca
--- /dev/null
+++ b/api/owi/Owi/Compile/Any/index.html
@@ -0,0 +1,21 @@
+
+Any (owi.Owi.Compile.Any) Module Compile.Any
val until_typecheck :
+ unsafe:bool ->
+ 'extern_func Kind.t ->
+ Binary.modul Result.t
val until_optimize :
+ unsafe:bool ->
+ optimize:bool ->
+ 'extern_func Kind.t ->
+ Binary.modul Result.t
val until_link :
+ unsafe:bool ->
+ optimize:bool ->
+ name:string option ->
+ 'extern_func Link.state ->
+ 'extern_func Kind.t ->
+ ('extern_func Link.module_to_run * 'extern_func Link.state) Result.t
compile a module with a given link state and produce a new link state and a runnable module
val until_interpret :
+ unsafe:bool ->
+ optimize:bool ->
+ name:string option ->
+ Concrete_value.Func.extern_func Link.state ->
+ Concrete_value.Func.extern_func Kind.t ->
+ Concrete_value.Func.extern_func Link.state Result.t
compile and interpret a module with a given link state and produce a new link state
diff --git a/api/owi/Owi/Compile/Binary/index.html b/api/owi/Owi/Compile/Binary/index.html
index 7f215b06f..dd379ba52 100644
--- a/api/owi/Owi/Compile/Binary/index.html
+++ b/api/owi/Owi/Compile/Binary/index.html
@@ -5,14 +5,14 @@
Binary.modul ->
Binary.modul Result.t
val until_link :
unsafe:bool ->
- 'f Link.state ->
optimize:bool ->
name:string option ->
+ 'f Link.state ->
Binary.modul ->
('f Link.module_to_run * 'f Link.state) Result.t
compile a module with a given link state and produce a new link state and a runnable module
val until_interpret :
- Concrete_value.Func.extern_func Link.state ->
unsafe:bool ->
optimize:bool ->
name:string option ->
+ Concrete_value.Func.extern_func Link.state ->
Binary.modul ->
Concrete_value.Func.extern_func Link.state Result.t
compile and interpret a module with a given link state and produce a new link state
diff --git a/api/owi/Owi/Compile/File/index.html b/api/owi/Owi/Compile/File/index.html
new file mode 100644
index 000000000..81374697c
--- /dev/null
+++ b/api/owi/Owi/Compile/File/index.html
@@ -0,0 +1,18 @@
+
+File (owi.Owi.Compile.File) Module Compile.File
val until_typecheck : unsafe:bool -> Fpath.t -> Binary.modul Result.t
val until_optimize :
+ unsafe:bool ->
+ optimize:bool ->
+ Fpath.t ->
+ Binary.modul Result.t
val until_link :
+ unsafe:bool ->
+ optimize:bool ->
+ name:string option ->
+ 'extern_func Link.state ->
+ Fpath.t ->
+ ('extern_func Link.module_to_run * 'extern_func Link.state) Result.t
compile a file with a given link state and produce a new link state and a runnable module
val until_interpret :
+ unsafe:bool ->
+ optimize:bool ->
+ name:string option ->
+ Concrete_value.Func.extern_func Link.state ->
+ Fpath.t ->
+ Concrete_value.Func.extern_func Link.state Result.t
compile and interpret a file with a given link state and produce a new link state
diff --git a/api/owi/Owi/Compile/Text/index.html b/api/owi/Owi/Compile/Text/index.html
index b9e8f4efa..d1fe33329 100644
--- a/api/owi/Owi/Compile/Text/index.html
+++ b/api/owi/Owi/Compile/Text/index.html
@@ -5,14 +5,14 @@
Text.modul ->
Binary.modul Result.t
val until_link :
unsafe:bool ->
- 'f Link.state ->
optimize:bool ->
name:string option ->
+ 'f Link.state ->
Text.modul ->
('f Link.module_to_run * 'f Link.state) Result.t
compile a module with a given link state and produce a new link state and a runnable module
val until_interpret :
- Concrete_value.Func.extern_func Link.state ->
unsafe:bool ->
optimize:bool ->
name:string option ->
+ Concrete_value.Func.extern_func Link.state ->
Text.modul ->
Concrete_value.Func.extern_func Link.state Result.t
compile and interpret a module with a given link state and produce a new link state
Owi.Compile
Utility functions to compile a module until a given step.
Owi.Compile
Utility functions to compile a module until a given step.
module Any : sig ... end
module File : sig ... end
module Text : sig ... end
module Binary : sig ... end
P'.Extern_func
type _ telt =
| I32 : Value.int32 telt
| I64 : Value.int64 telt
| F32 : Value.float32 telt
| F64 : Value.float64 telt
| Externref : 'a Stdlib.Type.Id.t -> 'a telt
val extern_type : extern_func -> Types.binary Types.func_type
P'.Extern_func
type _ telt =
| I32 : Value.int32 telt
| I64 : Value.int64 telt
| F32 : Value.float32 telt
| F64 : Value.float64 telt
| Externref : 'a Prelude.Type.Id.t -> 'a telt
val extern_type : extern_func -> Types.binary Types.func_type
Value.Bool
val const : bool -> vbool
val pp : Format.formatter -> vbool -> unit
Value.Bool
Value.Ref
val get_func : ref_value -> Func_intf.t Value_intf.get_ref
val get_externref : ref_value -> 'a Stdlib.Type.Id.t -> 'a Value_intf.get_ref
Value.Ref
val get_func : ref_value -> Func_intf.t Value_intf.get_ref
val get_externref : ref_value -> 'a Prelude.Type.Id.t -> 'a Value_intf.get_ref
P'.Value
val ref_null : Types.binary Types.heap_type -> t
val ref_func : Func_intf.t -> t
val ref_externref : 'a Stdlib.Type.Id.t -> 'a -> t
val pp : Format.formatter -> t -> unit
module Ref : sig ... end
module Bool : sig ... end
module F32 : sig ... end
module F64 : sig ... end
module I32 : sig ... end
module I64 : sig ... end
P'.Value
val pp_int32 : Prelude.Fmt.formatter -> int32 -> unit
val pp_int64 : Prelude.Fmt.formatter -> int64 -> unit
val pp_float32 : Prelude.Fmt.formatter -> float32 -> unit
val pp_float64 : Prelude.Fmt.formatter -> float64 -> unit
val pp_ref_value : Prelude.Fmt.formatter -> ref_value -> unit
val pp : Prelude.Fmt.formatter -> t -> unit
val ref_null : Types.binary Types.heap_type -> t
val ref_func : Func_intf.t -> t
val ref_externref : 'a Prelude.Type.Id.t -> 'a -> t
module Ref : sig ... end
module Bool : sig ... end
module F32 : sig ... end
module F64 : sig ... end
module I32 : sig ... end
module I64 : sig ... end
module Extern_func :
+ Value.t Choice.t
module Global : sig ... end
module Table : sig ... end
module Memory : sig ... end
module Extern_func :
Func_intf.T_Extern_func
with type int32 := Value.int32
and type int64 := Value.int64
and type float32 := Value.float32
and type float64 := Value.float64
- and type 'a m := 'a Choice.t
module Global : sig ... end
module Table : sig ... end
module Memory : sig ... end
module Data : sig ... end
module Elem : sig ... end
module Env : sig ... end
module Module_to_run : sig ... end