Deploying to gh-pages from @ 9180125 🚀

arkocal · arkocal · commit bbfc11b30bc5 · 2025-04-08T09:23:12.000Z
diff --git a/api/goblint-cil/GoblintCil/Pretty/index.html b/api/goblint-cil/GoblintCil/Pretty/index.html
diff --git a/api/index.html b/api/index.html
@@ -11,7 +11,7 @@
       <div class="by-name">
       <h2>OCaml package documentation</h2>
       <ol>
-      <li><a href="goblint-cil/index.html">goblint-cil</a> <span class="version">2.0.6-3-g31f427f</span></li>
+      <li><a href="goblint-cil/index.html">goblint-cil</a> <span class="version">2.0.6-13-g9180125</span></li>
       </ol>
       </div>
     </main>
diff --git a/examples/ex1.txt b/examples/ex1.txt
@@ -1,4 +1,4 @@
-/* Generated by Goblint-CIL v. 2.0.6-3-g31f427f */
+/* Generated by Goblint-CIL v. 2.0.6-13-g9180125 */
 /* print_CIL_Input is true */
 
 #line 1 "cilcode.tmp/ex1.c"
diff --git a/examples/ex10.txt b/examples/ex10.txt
@@ -1,4 +1,4 @@
-/* Generated by Goblint-CIL v. 2.0.6-3-g31f427f */
+/* Generated by Goblint-CIL v. 2.0.6-13-g9180125 */
 /* print_CIL_Input is true */
 
 #line 1 "cilcode.tmp/ex10.c"
diff --git a/examples/ex11.txt b/examples/ex11.txt
@@ -1,4 +1,4 @@
-/* Generated by Goblint-CIL v. 2.0.6-3-g31f427f */
+/* Generated by Goblint-CIL v. 2.0.6-13-g9180125 */
 /* print_CIL_Input is true */
 
 #line 1 "cilcode.tmp/ex11.c"
diff --git a/examples/ex12.txt b/examples/ex12.txt
@@ -1,4 +1,4 @@
-/* Generated by Goblint-CIL v. 2.0.6-3-g31f427f */
+/* Generated by Goblint-CIL v. 2.0.6-13-g9180125 */
 /* print_CIL_Input is true */
 
 #line 2 "cilcode.tmp/ex12.c"
diff --git a/examples/ex13.txt b/examples/ex13.txt
@@ -1,4 +1,4 @@
-/* Generated by Goblint-CIL v. 2.0.6-3-g31f427f */
+/* Generated by Goblint-CIL v. 2.0.6-13-g9180125 */
 /* print_CIL_Input is true */
 
 #line 1 "cilcode.tmp/ex13.c"
diff --git a/examples/ex14.txt b/examples/ex14.txt
@@ -1,4 +1,4 @@
-/* Generated by Goblint-CIL v. 2.0.6-3-g31f427f */
+/* Generated by Goblint-CIL v. 2.0.6-13-g9180125 */
 /* print_CIL_Input is true */
 
 #line 1 "cilcode.tmp/ex14.c"
diff --git a/examples/ex15.txt b/examples/ex15.txt
@@ -1,4 +1,4 @@
-/* Generated by Goblint-CIL v. 2.0.6-3-g31f427f */
+/* Generated by Goblint-CIL v. 2.0.6-13-g9180125 */
 /* print_CIL_Input is true */
 
 #line 1 "cilcode.tmp/ex15.c"
diff --git a/examples/ex16.txt b/examples/ex16.txt
@@ -1,4 +1,4 @@
-/* Generated by Goblint-CIL v. 2.0.6-3-g31f427f */
+/* Generated by Goblint-CIL v. 2.0.6-13-g9180125 */
 /* print_CIL_Input is true */
 
 #line 1 "cilcode.tmp/ex16.c"
diff --git a/examples/ex17.txt b/examples/ex17.txt
@@ -1,4 +1,4 @@
-/* Generated by Goblint-CIL v. 2.0.6-3-g31f427f */
+/* Generated by Goblint-CIL v. 2.0.6-13-g9180125 */
 /* print_CIL_Input is true */
 
 #line 1 "cilcode.tmp/ex17.c"
diff --git a/examples/ex18.txt b/examples/ex18.txt
@@ -1,4 +1,4 @@
-/* Generated by Goblint-CIL v. 2.0.6-3-g31f427f */
+/* Generated by Goblint-CIL v. 2.0.6-13-g9180125 */
 /* print_CIL_Input is true */
 
 #line 1 "cilcode.tmp/ex18.c"
diff --git a/examples/ex19.txt b/examples/ex19.txt
@@ -1,4 +1,4 @@
-/* Generated by Goblint-CIL v. 2.0.6-3-g31f427f */
+/* Generated by Goblint-CIL v. 2.0.6-13-g9180125 */
 /* print_CIL_Input is true */
 
 #line 1 "cilcode.tmp/ex19.c"
diff --git a/examples/ex2.txt b/examples/ex2.txt
@@ -1,4 +1,4 @@
-/* Generated by Goblint-CIL v. 2.0.6-3-g31f427f */
+/* Generated by Goblint-CIL v. 2.0.6-13-g9180125 */
 /* print_CIL_Input is true */
 
 #line 1 "cilcode.tmp/ex2.c"
diff --git a/examples/ex20.txt b/examples/ex20.txt
@@ -1,4 +1,4 @@
-/* Generated by Goblint-CIL v. 2.0.6-3-g31f427f */
+/* Generated by Goblint-CIL v. 2.0.6-13-g9180125 */
 /* print_CIL_Input is true */
 
 #line 1 "cilcode.tmp/ex20.c"
diff --git a/examples/ex21.txt b/examples/ex21.txt
@@ -1,4 +1,4 @@
-/* Generated by Goblint-CIL v. 2.0.6-3-g31f427f */
+/* Generated by Goblint-CIL v. 2.0.6-13-g9180125 */
 /* print_CIL_Input is true */
 
 #line 1 "cilcode.tmp/ex21.c"
diff --git a/examples/ex22.txt b/examples/ex22.txt
@@ -1,4 +1,4 @@
-/* Generated by Goblint-CIL v. 2.0.6-3-g31f427f */
+/* Generated by Goblint-CIL v. 2.0.6-13-g9180125 */
 /* print_CIL_Input is true */
 
 #line 363 "/usr/include/stdio.h"
diff --git a/examples/ex23.txt b/examples/ex23.txt
@@ -1,4 +1,4 @@
-/* Generated by Goblint-CIL v. 2.0.6-3-g31f427f */
+/* Generated by Goblint-CIL v. 2.0.6-13-g9180125 */
 /* print_CIL_Input is true */
 
 #line 1 "cilcode.tmp/ex23.c"
diff --git a/examples/ex3.txt b/examples/ex3.txt
@@ -1,4 +1,4 @@
-/* Generated by Goblint-CIL v. 2.0.6-3-g31f427f */
+/* Generated by Goblint-CIL v. 2.0.6-13-g9180125 */
 /* print_CIL_Input is true */
 
 #line 1 "cilcode.tmp/ex3.c"
diff --git a/examples/ex4.txt b/examples/ex4.txt
@@ -1,4 +1,4 @@
-/* Generated by Goblint-CIL v. 2.0.6-3-g31f427f */
+/* Generated by Goblint-CIL v. 2.0.6-13-g9180125 */
 /* print_CIL_Input is true */
 
 #line 2 "cilcode.tmp/ex4.c"
diff --git a/examples/ex5.txt b/examples/ex5.txt
@@ -1,4 +1,4 @@
-/* Generated by Goblint-CIL v. 2.0.6-3-g31f427f */
+/* Generated by Goblint-CIL v. 2.0.6-13-g9180125 */
 /* print_CIL_Input is true */
 
 #line 1 "cilcode.tmp/ex5.c"
diff --git a/examples/ex6.txt b/examples/ex6.txt
@@ -1,4 +1,4 @@
-/* Generated by Goblint-CIL v. 2.0.6-3-g31f427f */
+/* Generated by Goblint-CIL v. 2.0.6-13-g9180125 */
 /* print_CIL_Input is true */
 
 #line 1 "cilcode.tmp/ex6.c"
diff --git a/examples/ex7.txt b/examples/ex7.txt
@@ -1,4 +1,4 @@
-/* Generated by Goblint-CIL v. 2.0.6-3-g31f427f */
+/* Generated by Goblint-CIL v. 2.0.6-13-g9180125 */
 /* print_CIL_Input is true */
 
 #line 2 "cilcode.tmp/ex7.c"
diff --git a/examples/ex8.txt b/examples/ex8.txt
@@ -1,4 +1,4 @@
-/* Generated by Goblint-CIL v. 2.0.6-3-g31f427f */
+/* Generated by Goblint-CIL v. 2.0.6-13-g9180125 */
 /* print_CIL_Input is true */
 
 #line 2 "cilcode.tmp/ex8.c"
diff --git a/examples/ex9.txt b/examples/ex9.txt
@@ -1,4 +1,4 @@
-/* Generated by Goblint-CIL v. 2.0.6-3-g31f427f */
+/* Generated by Goblint-CIL v. 2.0.6-13-g9180125 */
 /* print_CIL_Input is true */
 
 #line 1 "cilcode.tmp/ex9.c"
diff --git a/header.html b/header.html
@@ -5,13 +5,13 @@
 <meta name="GENERATOR" content="Microsoft FrontPage 5.0">
 <meta name="ProgId" content="FrontPage.Editor.Document">
 <meta http-equiv="Content-Type" content="text/html; charset=windows-1252">
-<title>Goblint-CIL Documentation (v. 2.0.6-3-g31f427f)</title>
+<title>Goblint-CIL Documentation (v. 2.0.6-13-g9180125)</title>
 <base target="contents">
 </head>
 
 <body>
 
-<h1 align="center">Goblint-CIL - Infrastructure for C Program Analysis and Transformation (v. 2.0.6-3-g31f427f)</h1>
+<h1 align="center">Goblint-CIL - Infrastructure for C Program Analysis and Transformation (v. 2.0.6-13-g9180125)</h1>
 
 </body>
 
diff --git a/index.html b/index.html
@@ -4,7 +4,7 @@
 <meta name="GENERATOR" content="Microsoft FrontPage 5.0">
 <meta name="ProgId" content="FrontPage.Editor.Document">
 <base target="main">
-<title>CIL Documentation (v. 2.0.6-3-g31f427f)</title>
+<title>CIL Documentation (v. 2.0.6-13-g9180125)</title>
 </head>
 
 <frameset rows="64,*">

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-/* Generated by Goblint-CIL v. 2.0.6-3-g31f427f */`
	`1`	`+/* Generated by Goblint-CIL v. 2.0.6-13-g9180125 */`
`2`	`2`	`/* print_CIL_Input is true */`
`3`	`3`
`4`	`4`	`#line 1 "cilcode.tmp/ex1.c"`