Skip to content

Commit

Permalink
Deploying to gh-pages from @ 98095b4 🚀
Browse files Browse the repository at this point in the history
  • Loading branch information
@sim642
sim642 committed Oct 2, 2024
1 parent 10c627a commit 96c50da
Show file tree
Hide file tree
Showing 127 changed files with 128 additions and 128 deletions.
2 changes: 1 addition & 1 deletion api/goblint-cil/Dataslicing/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>Dataslicing (goblint-cil.Dataslicing)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.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">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>
<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 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">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 changes: 1 addition & 1 deletion api/goblint-cil/GoblintCil/Alpha/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>Alpha (goblint-cil.GoblintCil.Alpha)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.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">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 :
<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 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">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 :
<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>
<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>
<span><span class="label">lookupname</span>:string <span class="arrow">&#45;&gt;</span></span>
Expand Down
2 changes: 1 addition & 1 deletion api/goblint-cil/GoblintCil/Cabs/index.html
View file

Large diffs are not rendered by default.

Loading

0 comments on commit 96c50da

Please sign in to comment.