Skip to content

Commit 936eb0c

Browse files
michael-schwarzmichael-schwarz
committed
Deploying to gh-pages from @ d1db705 🚀
1 parent bf53c46 commit 936eb0c

127 files changed

Lines changed: 160 additions & 143 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎api/goblint-cil/Dataslicing/index.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
11
<!DOCTYPE html>
2-
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Dataslicing (goblint-cil.Dataslicing)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../odoc.support/odoc.css"/><meta name="generator" content="odoc 3.0.0"/><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">Index</a> &#x00BB; <a href="../index.html">goblint-cil</a> &#x00BB; Dataslicing</nav><header class="odoc-preamble"><h1>Module <code><span>Dataslicing</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-feature"><a href="#val-feature" class="anchor"></a><code><span><span class="keyword">val</span> feature : <a href="../GoblintCil/Feature/index.html#type-t">GoblintCil.Feature.t</a></span></code></div></div></div></body></html>
2+
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Dataslicing (goblint-cil.Dataslicing)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../odoc.support/odoc.css"/><meta name="generator" content="odoc 3.1.0"/><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">Index</a> &#x00BB; <a href="../index.html">goblint-cil</a> &#x00BB; Dataslicing</nav><header class="odoc-preamble"><h1>Module <code><span>Dataslicing</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-feature"><a href="#val-feature" class="anchor"></a><code><span><span class="keyword">val</span> feature : <a href="../GoblintCil/Feature/index.html#type-t">GoblintCil.Feature.t</a></span></code></div></div></div></body></html>

‎api/goblint-cil/GoblintCil/Alpha/index.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<!DOCTYPE html>
2-
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Alpha (goblint-cil.GoblintCil.Alpha)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 3.0.0"/><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">Index</a> &#x00BB; <a href="../../index.html">goblint-cil</a> &#x00BB; <a href="../index.html">GoblintCil</a> &#x00BB; Alpha</nav><header class="odoc-preamble"><h1>Module <code><span>GoblintCil.Alpha</span></code></h1><p>ALPHA conversion</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-undoAlphaElement"><a href="#type-undoAlphaElement" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a undoAlphaElement</span></span></code></div><div class="spec-doc"><p>This is the type of the elements that are recorded by the alpha conversion functions in order to be able to undo changes to the tables they modify. Useful for implementing scoping</p></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-alphaTableData"><a href="#type-alphaTableData" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a alphaTableData</span></span></code></div><div class="spec-doc"><p>This is the type of the elements of the alpha renaming table. These elements can carry some data associated with each occurrence of the name.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-newAlphaName"><a href="#val-newAlphaName" class="anchor"></a><code><span><span class="keyword">val</span> newAlphaName :
2+
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Alpha (goblint-cil.GoblintCil.Alpha)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 3.1.0"/><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">Index</a> &#x00BB; <a href="../../index.html">goblint-cil</a> &#x00BB; <a href="../index.html">GoblintCil</a> &#x00BB; Alpha</nav><header class="odoc-preamble"><h1>Module <code><span>GoblintCil.Alpha</span></code></h1><p>ALPHA conversion</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-undoAlphaElement"><a href="#type-undoAlphaElement" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a undoAlphaElement</span></span></code></div><div class="spec-doc"><p>This is the type of the elements that are recorded by the alpha conversion functions in order to be able to undo changes to the tables they modify. Useful for implementing scoping</p></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-alphaTableData"><a href="#type-alphaTableData" class="anchor"></a><code><span><span class="keyword">type</span> <span>'a alphaTableData</span></span></code></div><div class="spec-doc"><p>This is the type of the elements of the alpha renaming table. These elements can carry some data associated with each occurrence of the name.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-newAlphaName"><a href="#val-newAlphaName" class="anchor"></a><code><span><span class="keyword">val</span> newAlphaName :
33
<span><span class="label">alphaTable</span>:<span><span>(string, <span><span><span class="type-var">'a</span> <a href="#type-alphaTableData">alphaTableData</a></span> <span class="xref-unresolved">Stdlib</span>.ref</span>)</span> <span class="xref-unresolved">Stdlib</span>.Hashtbl.t</span> <span class="arrow">&#45;&gt;</span></span>
44
<span><span class="label">undolist</span>:<span><span><span><span><span class="type-var">'a</span> <a href="#type-undoAlphaElement">undoAlphaElement</a></span> list</span> <span class="xref-unresolved">Stdlib</span>.ref</span> option</span> <span class="arrow">&#45;&gt;</span></span>
55
<span><span class="label">lookupname</span>:string <span class="arrow">&#45;&gt;</span></span>

‎api/goblint-cil/GoblintCil/Cabs/index.html‎

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

0 commit comments

Comments
 (0)