Skip to content

Commit

Permalink
Deploying to gh-pages from @ ee826fe 🚀
Browse files Browse the repository at this point in the history
  • Loading branch information
@zapashcanon
zapashcanon committed Dec 5, 2024
1 parent e0c678f commit e7ec96c
Show file tree
Hide file tree
Showing 75 changed files with 2,818 additions and 2,208 deletions.
2 changes: 1 addition & 1 deletion api/owi/Owi/Cmd_c/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@
<span><span class="label">unsafe</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">optimize</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">no_stop_at_failure</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">no_values</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">no_value</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">no_assert_failure_expression_printing</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">deterministic_result_order</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">fail_mode</span>:<a href="../Cmd_sym/index.html#type-fail_mode">Cmd_sym.fail_mode</a> <span class="arrow">&#45;&gt;</span></span>
Expand Down
2 changes: 1 addition & 1 deletion api/owi/Owi/Cmd_conc/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
<span><span class="label">optimize</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">workers</span>:int <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">no_stop_at_failure</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">no_values</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">no_value</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">no_assert_failure_expression_printing</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">deterministic_result_order</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">fail_mode</span>:<a href="../Cmd_sym/index.html#type-fail_mode">Cmd_sym.fail_mode</a> <span class="arrow">&#45;&gt;</span></span>
Expand Down
4 changes: 2 additions & 2 deletions api/owi/Owi/Cmd_opt/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,6 @@
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Cmd_opt (owi.Owi.Cmd_opt)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.3"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">owi</a> &#x00BB; <a href="../index.html">Owi</a> &#x00BB; Cmd_opt</nav><header class="odoc-preamble"><h1>Module <code><span>Owi.Cmd_opt</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-cmd"><a href="#val-cmd" class="anchor"></a><code><span><span class="keyword">val</span> cmd :
<span><span class="label">debug</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">unsafe</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">file</span>:<span class="xref-unresolved">Fpath</span>.t <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">outfile</span>:<span><span class="xref-unresolved">Fpath</span>.t option</span> <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">source_file</span>:<span class="xref-unresolved">Fpath</span>.t <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">out_file</span>:<span><span class="xref-unresolved">Fpath</span>.t option</span> <span class="arrow">&#45;&gt;</span></span>
<span>unit <a href="../Result/index.html#type-t">Result.t</a></span></span></code></div></div></div></body></html>
9 changes: 9 additions & 0 deletions api/owi/Owi/Cmd_replay/index.html
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Cmd_replay (owi.Owi.Cmd_replay)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.3"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">owi</a> &#x00BB; <a href="../index.html">Owi</a> &#x00BB; Cmd_replay</nav><header class="odoc-preamble"><h1>Module <code><span>Owi.Cmd_replay</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-cmd"><a href="#val-cmd" class="anchor"></a><code><span><span class="keyword">val</span> cmd :
<span><span class="label">profiling</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">debug</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">unsafe</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">optimize</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">replay_file</span>:<span class="xref-unresolved">Fpath</span>.t <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">source_file</span>:<span class="xref-unresolved">Fpath</span>.t <span class="arrow">&#45;&gt;</span></span>
<span>unit <a href="../Result/index.html#type-t">Result.t</a></span></span></code></div></div></div></body></html>
2 changes: 1 addition & 1 deletion api/owi/Owi/Cmd_sym/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
<span><span class="label">optimize</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">workers</span>:int <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">no_stop_at_failure</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">no_values</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">no_value</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">no_assert_failure_expression_printing</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">deterministic_result_order</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">fail_mode</span>:<a href="#type-fail_mode">fail_mode</a> <span class="arrow">&#45;&gt;</span></span>
Expand Down
4 changes: 2 additions & 2 deletions api/owi/Owi/Cmd_wasm2wat/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Cmd_wasm2wat (owi.Owi.Cmd_wasm2wat)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.3"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">owi</a> &#x00BB; <a href="../index.html">Owi</a> &#x00BB; Cmd_wasm2wat</nav><header class="odoc-preamble"><h1>Module <code><span>Owi.Cmd_wasm2wat</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-cmd"><a href="#val-cmd" class="anchor"></a><code><span><span class="keyword">val</span> cmd :
<span><span class="label">file</span>:<span class="xref-unresolved">Fpath</span>.t <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">source_file</span>:<span class="xref-unresolved">Fpath</span>.t <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">emit_file</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">outfile</span>:<span><span class="xref-unresolved">Fpath</span>.t option</span> <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">out_file</span>:<span><span class="xref-unresolved">Fpath</span>.t option</span> <span class="arrow">&#45;&gt;</span></span>
<span>unit <a href="../Result/index.html#type-t">Result.t</a></span></span></code></div></div></div></body></html>
4 changes: 2 additions & 2 deletions api/owi/Owi/Cmd_wat2wasm/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,6 @@
<span><span class="label">debug</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">unsafe</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">optimize</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">outfile</span>:<span><span class="xref-unresolved">Fpath</span>.t option</span> <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">file</span>:<span class="xref-unresolved">Fpath</span>.t <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">out_file</span>:<span><span class="xref-unresolved">Fpath</span>.t option</span> <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">source_file</span>:<span class="xref-unresolved">Fpath</span>.t <span class="arrow">&#45;&gt;</span></span>
<span>unit <a href="../Result/index.html#type-t">Result.t</a></span></span></code></div></div></div></body></html>
2 changes: 1 addition & 1 deletion api/owi/Owi/Concolic_choice/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Concolic_choice (owi.Owi.Concolic_choice)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.3"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">owi</a> &#x00BB; <a href="../index.html">Owi</a> &#x00BB; Concolic_choice</nav><header class="odoc-preamble"><h1>Module <code><span>Owi.Concolic_choice</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-err"><a href="#type-err" class="anchor"></a><code><span><span class="keyword">type</span> err</span><span> = </span></code><ol><li id="type-err.Assert_fail" class="def variant constructor anchored"><a href="#type-err.Assert_fail" class="anchor"></a><code><span>| </span><span><span class="constructor">Assert_fail</span></span></code></li><li id="type-err.Trap" class="def variant constructor anchored"><a href="#type-err.Trap" class="anchor"></a><code><span>| </span><span><span class="constructor">Trap</span> <span class="keyword">of</span> <a href="../Trap/index.html#type-t">Trap.t</a></span></code></li><li id="type-err.Assume_fail" class="def variant constructor anchored"><a href="#type-err.Assume_fail" class="anchor"></a><code><span>| </span><span><span class="constructor">Assume_fail</span> <span class="keyword">of</span> <a href="../Symbolic_value/index.html#type-vbool">Symbolic_value.vbool</a></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-pc_elt"><a href="#type-pc_elt" class="anchor"></a><code><span><span class="keyword">type</span> pc_elt</span><span> = </span></code><ol><li id="type-pc_elt.Select" class="def variant constructor anchored"><a href="#type-pc_elt.Select" class="anchor"></a><code><span>| </span><span><span class="constructor">Select</span> <span class="keyword">of</span> <a href="../Symbolic_value/index.html#type-vbool">Symbolic_value.vbool</a> * bool</span></code></li><li id="type-pc_elt.Select_i32" class="def variant constructor anchored"><a href="#type-pc_elt.Select_i32" class="anchor"></a><code><span>| </span><span><span class="constructor">Select_i32</span> <span class="keyword">of</span> <a href="../Symbolic_value/index.html#type-int32">Symbolic_value.int32</a> * int32</span></code></li><li id="type-pc_elt.Assume" class="def variant constructor anchored"><a href="#type-pc_elt.Assume" class="anchor"></a><code><span>| </span><span><span class="constructor">Assume</span> <span class="keyword">of</span> <a href="../Symbolic_value/index.html#type-vbool">Symbolic_value.vbool</a></span></code></li><li id="type-pc_elt.Assert" class="def variant constructor anchored"><a href="#type-pc_elt.Assert" class="anchor"></a><code><span>| </span><span><span class="constructor">Assert</span> <span class="keyword">of</span> <a href="../Symbolic_value/index.html#type-vbool">Symbolic_value.vbool</a></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-pc"><a href="#type-pc" class="anchor"></a><code><span><span class="keyword">type</span> pc</span><span> = <span><a href="#type-pc_elt">pc_elt</a> list</span></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-assignments"><a href="#type-assignments" class="anchor"></a><code><span><span class="keyword">type</span> assignments</span><span> = <span><span>(<span class="xref-unresolved">Smtml</span>.Symbol.t * <a href="../Concrete_value/index.html#type-t">Concrete_value.t</a>)</span> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pp_pc_elt"><a href="#val-pp_pc_elt" class="anchor"></a><code><span><span class="keyword">val</span> pp_pc_elt : <span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-pc_elt">pc_elt</a> <span class="arrow">&#45;&gt;</span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pp_pc"><a href="#val-pp_pc" class="anchor"></a><code><span><span class="keyword">val</span> pp_pc : <span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span> <span><span><a href="#type-pc_elt">pc_elt</a> list</span> <span class="arrow">&#45;&gt;</span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pp_assignments"><a href="#val-pp_assignments" class="anchor"></a><code><span><span class="keyword">val</span> pp_assignments :
<span><span class="label">no_values</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="label">no_value</span>:bool <span class="arrow">&#45;&gt;</span></span>
<span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span>
<span><span><span>(<span class="xref-unresolved">Smtml</span>.Symbol.t * <a href="../Concrete_value/index.html#type-t">Concrete_value.t</a>)</span> list</span> <span class="arrow">&#45;&gt;</span></span>
unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pc_elt_to_expr"><a href="#val-pc_elt_to_expr" class="anchor"></a><code><span><span class="keyword">val</span> pc_elt_to_expr : <span><a href="#type-pc_elt">pc_elt</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="../Symbolic_value/index.html#type-vbool">Symbolic_value.vbool</a> option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pc_to_exprs"><a href="#val-pc_to_exprs" class="anchor"></a><code><span><span class="keyword">val</span> pc_to_exprs : <span><span><a href="#type-pc_elt">pc_elt</a> list</span> <span class="arrow">&#45;&gt;</span></span> <span><a href="../Symbolic_value/index.html#type-vbool">Symbolic_value.vbool</a> list</span></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-shared_thread_info"><a href="#type-shared_thread_info" class="anchor"></a><code><span><span class="keyword">type</span> shared_thread_info</span><span> = </span><span>{</span></code><ol><li id="type-shared_thread_info.memories" class="def record field anchored"><a href="#type-shared_thread_info.memories" class="anchor"></a><code><span>memories : <a href="../Symbolic_memory/index.html#type-collection">Symbolic_memory.collection</a>;</span></code></li><li id="type-shared_thread_info.tables" class="def record field anchored"><a href="#type-shared_thread_info.tables" class="anchor"></a><code><span>tables : <a href="../Symbolic_table/index.html#type-collection">Symbolic_table.collection</a>;</span></code></li><li id="type-shared_thread_info.globals" class="def record field anchored"><a href="#type-shared_thread_info.globals" class="anchor"></a><code><span>globals : <a href="../Symbolic_global/index.html#type-collection">Symbolic_global.collection</a>;</span></code></li></ol><code><span>}</span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-thread"><a href="#type-thread" class="anchor"></a><code><span><span class="keyword">type</span> thread</span><span> = </span><span>{</span></code><ol><li id="type-thread.pc" class="def record field anchored"><a href="#type-thread.pc" class="anchor"></a><code><span>pc : <a href="#type-pc">pc</a>;</span></code></li><li id="type-thread.symbols" class="def record field anchored"><a href="#type-thread.symbols" class="anchor"></a><code><span>symbols : int;</span></code></li><li id="type-thread.symbols_value" class="def record field anchored"><a href="#type-thread.symbols_value" class="anchor"></a><code><span>symbols_value : <a href="#type-assignments">assignments</a>;</span></code></li><li id="type-thread.preallocated_values" class="def record field anchored"><a href="#type-thread.preallocated_values" class="anchor"></a><code><span>preallocated_values : <span><span>(<span class="xref-unresolved">Smtml</span>.Symbol.t, <span class="xref-unresolved">Smtml</span>.Value.t)</span> <span class="xref-unresolved">Prelude</span>.Hashtbl.t</span>;</span></code></li><li id="type-thread.shared" class="def record field anchored"><a href="#type-thread.shared" class="anchor"></a><code><span>shared : <a href="#type-shared_thread_info">shared_thread_info</a>;</span></code></li></ol><code><span>}</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-init_thread"><a href="#val-init_thread" class="anchor"></a><code><span><span class="keyword">val</span> init_thread :
Expand Down
2 changes: 1 addition & 1 deletion api/owi/Owi/Result/index.html
View file

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion api/owi/Owi/index.html
View file

Large diffs are not rendered by default.

Loading

0 comments on commit e7ec96c

Please sign in to comment.