Skip to content

Commit

Permalink
Deployment from GillianPlatform/Gillian@5ac2402
Browse files Browse the repository at this point in the history
  • Loading branch information
GitHub Actions committed Dec 6, 2023
1 parent 15d7cfc commit 25c35c0
Show file tree
Hide file tree
Showing 1,008 changed files with 1,248 additions and 1,214 deletions.
2 changes: 1 addition & 1 deletion odoc/gillian-bulk-rely/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>index (gillian-bulk-rely.index)</title><link rel="stylesheet" href="../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.1"/><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> – gillian-bulk-rely</nav><header class="odoc-preamble"><h1 id="gillian-bulk-rely-index"><a href="#gillian-bulk-rely-index" class="anchor"></a>gillian-bulk-rely index</h1></header><div class="odoc-content"></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>index (gillian-bulk-rely.index)</title><link rel="stylesheet" href="../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.2"/><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> – gillian-bulk-rely</nav><header class="odoc-preamble"><h1 id="gillian-bulk-rely-index"><a href="#gillian-bulk-rely-index" class="anchor"></a>gillian-bulk-rely index</h1></header><div class="odoc-content"></div></body></html>
2 changes: 1 addition & 1 deletion odoc/gillian-c/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>index (gillian-c.index)</title><link rel="stylesheet" href="../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.1"/><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> – gillian-c</nav><header class="odoc-preamble"><h1 id="gillian-c-index"><a href="#gillian-c-index" class="anchor"></a>gillian-c index</h1></header><div class="odoc-content"></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>index (gillian-c.index)</title><link rel="stylesheet" href="../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.2"/><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> – gillian-c</nav><header class="odoc-preamble"><h1 id="gillian-c-index"><a href="#gillian-c-index" class="anchor"></a>gillian-c index</h1></header><div class="odoc-content"></div></body></html>
2 changes: 1 addition & 1 deletion odoc/gillian-js/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>index (gillian-js.index)</title><link rel="stylesheet" href="../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.1"/><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> – gillian-js</nav><header class="odoc-preamble"><h1 id="gillian-js-index"><a href="#gillian-js-index" class="anchor"></a>gillian-js index</h1></header><div class="odoc-content"></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>index (gillian-js.index)</title><link rel="stylesheet" href="../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.2"/><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> – gillian-js</nav><header class="odoc-preamble"><h1 id="gillian-js-index"><a href="#gillian-js-index" class="anchor"></a>gillian-js index</h1></header><div class="odoc-content"></div></body></html>
2 changes: 1 addition & 1 deletion odoc/gillian/Alcotest_runner/AlcotestBackend/Make/AlcotestCore/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>AlcotestCore (gillian.Alcotest_runner.AlcotestBackend.Make.AlcotestCore)</title><link rel="stylesheet" href="../../../../../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.1"/><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">gillian</a> &#x00BB; <a href="../../../index.html">Alcotest_runner</a> &#x00BB; <a href="../../index.html">AlcotestBackend</a> &#x00BB; <a href="../index.html">Make</a> &#x00BB; AlcotestCore</nav><header class="odoc-preamble"><h1>Module <code><span>Make.AlcotestCore</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-return"><a href="#type-return" class="anchor"></a><code><span><span class="keyword">type</span> return</span><span> = <span>unit <span class="xref-unresolved">Alcotest</span>.Monad.Identity.t</span></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-speed_level"><a href="#type-speed_level" class="anchor"></a><code><span><span class="keyword">type</span> speed_level</span><span> = </span><span>[ </span></code><ol><li id="type-speed_level.Quick" class="def constructor anchored"><a href="#type-speed_level.Quick" class="anchor"></a><code><span>| </span></code><code><span>`Quick</span></code></li><li id="type-speed_level.Slow" class="def constructor anchored"><a href="#type-speed_level.Slow" class="anchor"></a><code><span>| </span></code><code><span>`Slow</span></code></li></ol><code><span> ]</span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-test_case"><a href="#type-test_case" class="anchor"></a><code><span><span class="keyword">type</span> <span>!'a test_case</span></span><span> = string * <a href="#type-speed_level">speed_level</a> * <span>(<span><span class="type-var">'a</span> <span class="arrow">&#45;&gt;</span></span> <a href="#type-return">return</a>)</span></span></code></div></div><div class="odoc-spec"><div class="spec exception anchored" id="exception-Test_error"><a href="#exception-Test_error" class="anchor"></a><code><span><span class="keyword">exception</span> </span><span><span class="exception">Test_error</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-test_case"><a href="#val-test_case" class="anchor"></a><code><span><span class="keyword">val</span> test_case : <span>string <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-speed_level">speed_level</a> <span class="arrow">&#45;&gt;</span></span> <span><span>(<span><span class="type-var">'a</span> <span class="arrow">&#45;&gt;</span></span> <a href="#type-return">return</a>)</span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'a</span> <a href="#type-test_case">test_case</a></span></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-test"><a href="#type-test" class="anchor"></a><code><span><span class="keyword">type</span> <span>!'a test</span></span><span> = string * <span><span><span class="type-var">'a</span> <a href="#type-test_case">test_case</a></span> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-list_tests"><a href="#val-list_tests" class="anchor"></a><code><span><span class="keyword">val</span> list_tests : <span><span><span><span class="type-var">'a</span> <a href="#type-test">test</a></span> list</span> <span class="arrow">&#45;&gt;</span></span> <a href="#type-return">return</a></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-with_options"><a href="#type-with_options" class="anchor"></a><code><span><span class="keyword">type</span> <span>!'a with_options</span></span><span> =
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>AlcotestCore (gillian.Alcotest_runner.AlcotestBackend.Make.AlcotestCore)</title><link rel="stylesheet" href="../../../../../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.2"/><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">gillian</a> &#x00BB; <a href="../../../index.html">Alcotest_runner</a> &#x00BB; <a href="../../index.html">AlcotestBackend</a> &#x00BB; <a href="../index.html">Make</a> &#x00BB; AlcotestCore</nav><header class="odoc-preamble"><h1>Module <code><span>Make.AlcotestCore</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-return"><a href="#type-return" class="anchor"></a><code><span><span class="keyword">type</span> return</span><span> = <span>unit <span class="xref-unresolved">Alcotest</span>.Monad.Identity.t</span></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-speed_level"><a href="#type-speed_level" class="anchor"></a><code><span><span class="keyword">type</span> speed_level</span><span> = </span><span>[ </span></code><ol><li id="type-speed_level.Quick" class="def constructor anchored"><a href="#type-speed_level.Quick" class="anchor"></a><code><span>| </span></code><code><span>`Quick</span></code></li><li id="type-speed_level.Slow" class="def constructor anchored"><a href="#type-speed_level.Slow" class="anchor"></a><code><span>| </span></code><code><span>`Slow</span></code></li></ol><code><span> ]</span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-test_case"><a href="#type-test_case" class="anchor"></a><code><span><span class="keyword">type</span> <span>!'a test_case</span></span><span> = string * <a href="#type-speed_level">speed_level</a> * <span>(<span><span class="type-var">'a</span> <span class="arrow">&#45;&gt;</span></span> <a href="#type-return">return</a>)</span></span></code></div></div><div class="odoc-spec"><div class="spec exception anchored" id="exception-Test_error"><a href="#exception-Test_error" class="anchor"></a><code><span><span class="keyword">exception</span> </span><span><span class="exception">Test_error</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-test_case"><a href="#val-test_case" class="anchor"></a><code><span><span class="keyword">val</span> test_case : <span>string <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-speed_level">speed_level</a> <span class="arrow">&#45;&gt;</span></span> <span><span>(<span><span class="type-var">'a</span> <span class="arrow">&#45;&gt;</span></span> <a href="#type-return">return</a>)</span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'a</span> <a href="#type-test_case">test_case</a></span></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-test"><a href="#type-test" class="anchor"></a><code><span><span class="keyword">type</span> <span>!'a test</span></span><span> = string * <span><span><span class="type-var">'a</span> <a href="#type-test_case">test_case</a></span> list</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-list_tests"><a href="#val-list_tests" class="anchor"></a><code><span><span class="keyword">val</span> list_tests : <span><span><span><span class="type-var">'a</span> <a href="#type-test">test</a></span> list</span> <span class="arrow">&#45;&gt;</span></span> <a href="#type-return">return</a></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-with_options"><a href="#type-with_options" class="anchor"></a><code><span><span class="keyword">type</span> <span>!'a with_options</span></span><span> =
<span>?and_exit:bool <span class="arrow">&#45;&gt;</span></span>
<span>?verbose:bool <span class="arrow">&#45;&gt;</span></span>
<span>?compact:bool <span class="arrow">&#45;&gt;</span></span>
Expand Down
2 changes: 1 addition & 1 deletion odoc/gillian/Alcotest_runner/AlcotestBackend/Make/TestFramework/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>TestFramework (gillian.Alcotest_runner.AlcotestBackend.Make.TestFramework)</title><link rel="stylesheet" href="../../../../../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.1"/><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">gillian</a> &#x00BB; <a href="../../../index.html">Alcotest_runner</a> &#x00BB; <a href="../../index.html">AlcotestBackend</a> &#x00BB; <a href="../index.html">Make</a> &#x00BB; TestFramework</nav><header class="odoc-preamble"><h1>Module <code><span>Make.TestFramework</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-custom_checkers"><a href="#val-custom_checkers" class="anchor"></a><code><span><span class="keyword">val</span> custom_checkers : <a href="../../../AlcotestCheckers/Make/index.html#type-matcher">AlcotestCheckers.Make(Outcome).matcher</a></span></code></div></div></div></body></html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>TestFramework (gillian.Alcotest_runner.AlcotestBackend.Make.TestFramework)</title><link rel="stylesheet" href="../../../../../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.2.2"/><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">gillian</a> &#x00BB; <a href="../../../index.html">Alcotest_runner</a> &#x00BB; <a href="../../index.html">AlcotestBackend</a> &#x00BB; <a href="../index.html">Make</a> &#x00BB; TestFramework</nav><header class="odoc-preamble"><h1>Module <code><span>Make.TestFramework</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-custom_checkers"><a href="#val-custom_checkers" class="anchor"></a><code><span><span class="keyword">val</span> custom_checkers : <a href="../../../AlcotestCheckers/Make/index.html#type-matcher">AlcotestCheckers.Make(Outcome).matcher</a></span></code></div></div></div></body></html>
Loading

0 comments on commit 25c35c0

Please sign in to comment.