Deploying to gh-pages from @ 0beaf25 🚀

Author: tautschnig

adr/cpp-api-and-modularisation.html

@@ -106,7 +106,7 @@ <h2><a class="anchor" id="autotoc_md2"></a>
 <p>We are working towards addressing these teething problems, but while we are still operating on those, we have to accept some compromises in the architecture of the code while we are iterating or stabilising several of the new or refactored parts.</p>
 <p>Be advised that some constructs may pop up in some limited locations in the codebase that may appear questionable. We are only asking for some patience while we are working out the best way to refactor them into an architecture that is more cohesive with the long term vision for the platform.</p>
 <p>From our end, we will do our best to avoid any spillover effects to other areas of the codebase, and to avoid introducing any behavioural regressions while we are implementing the above plan. Any constructs that may feature "questionable" changes to parts will be marked as such and be followed with an explanation as to why the decision was made.</p>
-<p>Last modified: 2025-06-21 00:12:27 +0200 </p>
+<p>Last modified: 2025-06-24 14:49:56 +0200 </p>
 </div></div><!-- contents -->
 </div><!-- PageDoc -->
 <!-- start footer part -->

adr/homebrew-tap-instructions.html

@@ -135,7 +135,7 @@ <h2><a class="anchor" id="autotoc_md6"></a>
 <div class="line">5.55.0</div>
 </div><!-- fragment --></li>
 </ul>
-<p>Last modified: 2025-06-21 00:12:27 +0200 </p>
+<p>Last modified: 2025-06-24 14:49:56 +0200 </p>
 </div></div><!-- contents -->
 </div><!-- PageDoc -->
 <!-- start footer part -->

adr/index.html

@@ -83,7 +83,7 @@ <h1><a class="anchor" id="autotoc_md9"></a>
 <li><a class="el" href="homebrew-tap-instructions.html">Homebrew tap instructions</a></li>
 <li><a class="el" href="cpp-api-and-modularisation.html">libcprover-cpp and Modularisation</a></li>
 </ul>
-<p>Last modified: 2025-06-21 00:12:27 +0200 </p>
+<p>Last modified: 2025-06-24 14:49:56 +0200 </p>
 </div></div><!-- PageDoc -->
 </div><!-- contents -->
 <!-- start footer part -->

adr/release-process.html

@@ -118,7 +118,7 @@ <h2><a class="anchor" id="autotoc_md13"></a>
 <p>Originally we wanted to automate this part, but we were limited by the fact that we needed to update <code>src/config.inc</code> before doing the release, and that couldn't be done in an automated fashion, as any update needs to go through a PR, and gets stuck on code-owners approvals, making the whole process more manual than intended.</p>
 <p>Following this original limitation, we decided to settle on doing manual releases every two weeks, but having the process being initiated by a developer manually making the change to <code>src/config.inc</code>, and after that has been merged, mark that specific commit as with a version tag, and push that version tag to Github. At that point, the rest of the process is automated.</p>
 <p>The change to the current implementation was part of <a href="https://github.com/diffblue/cbmc/pull/5517">https://github.com/diffblue/cbmc/pull/5517</a>.</p>
-<p>Last modified: 2025-06-21 00:12:27 +0200 </p>
+<p>Last modified: 2025-06-24 14:49:56 +0200 </p>
 </div></div><!-- contents -->
 </div><!-- PageDoc -->
 <!-- start footer part -->

adr/symex-ready-goto.html

@@ -88,7 +88,7 @@
 <li><code>stop_on_fail_verifier_with_fault_localizationt</code>,</li>
 <li><code>stop_on_fail_verifiert</code>.</li>
 </ul>
-<p>Last modified: 2025-06-21 00:12:27 +0200 </p>
+<p>Last modified: 2025-06-24 14:49:56 +0200 </p>
 </div></div><!-- contents -->
 </div><!-- PageDoc -->
 <!-- start footer part -->

api/index.html

@@ -75,7 +75,7 @@
 <div class="textblock"><p><a class="anchor" id="md__r_e_a_d_m_e"></a></p><ul>
 <li><a class="el" href="piped-process.html">The `piped_process` API</a></li>
 </ul>
-<p>Last modified: 2025-06-21 00:12:27 +0200 </p>
+<p>Last modified: 2025-06-24 14:49:56 +0200 </p>
 </div></div><!-- PageDoc -->
 </div><!-- contents -->
 <!-- start footer part -->

api/piped-process.html

@@ -100,7 +100,7 @@
 </ul>
 </li>
 </ul>
-<p>Last modified: 2025-06-21 00:12:27 +0200 </p>
+<p>Last modified: 2025-06-24 14:49:56 +0200 </p>
 </div></div><!-- contents -->
 </div><!-- PageDoc -->
 <!-- start footer part -->

assets/index.html

@@ -90,7 +90,7 @@ <h2><a class="anchor" id="autotoc_md1"></a>
 <li>texlive-latex-base</li>
 <li>texlive-latex-extra (for minted package)</li>
 </ul>
-<p>Last modified: 2025-06-21 00:12:27 +0200 </p>
+<p>Last modified: 2025-06-24 14:49:56 +0200 </p>
 </div></div><!-- PageDoc -->
 </div><!-- contents -->
 <!-- start footer part -->

assets/md_xml__spec.html

@@ -417,7 +417,7 @@ <h1><a class="anchor" id="autotoc_md4"></a>
 <h2><a class="anchor" id="autotoc_md8"></a>
 SSA to GOTO Trace</h2>
 <p>SSA steps are sorted by clocks and the following steps are skipped: PHI, GUARD assignments; shared-read, shared-write, constraint, spawn, atomic-begin, atomic-end.</p>
-<p>Last modified: 2025-06-21 00:12:27 +0200 </p>
+<p>Last modified: 2025-06-24 14:49:56 +0200 </p>
 </div></div><!-- contents -->
 </div><!-- PageDoc -->
 <!-- start footer part -->

auto__objects_8cpp__incl.map

@@ -166,20 +166,20 @@
 <area shape="rect" id="Node000091" href="$symex__target_8h.html" title="Generate Equation using Symbolic Execution." alt="" coords="1762,416,1886,441"/>
 <area shape="poly" id="edge123_Node000107_Node000091" title=" " alt="" coords="1653,285,1718,305,1750,321,1779,341,1803,370,1818,402,1814,404,1799,373,1775,345,1747,325,1716,310,1652,290"/>
 <area shape="poly" id="edge107_Node000108_Node000004" title=" " alt="" coords="1534,367,1562,423,1575,461,1580,500,1580,833,1576,883,1569,903,1554,927,1532,951,1506,969,1503,964,1528,947,1550,924,1564,901,1571,882,1575,833,1575,501,1570,462,1557,425,1529,369"/>
-<area shape="rect" id="Node000081" title=" " alt="" coords="1425,416,1540,441"/>
-<area shape="poly" id="edge106_Node000108_Node000081" title=" " alt="" coords="1519,370,1499,405,1494,403,1515,367"/>
+<area shape="rect" id="Node000087" title=" " alt="" coords="1425,416,1540,441"/>
+<area shape="poly" id="edge106_Node000108_Node000087" title=" " alt="" coords="1519,370,1499,405,1494,403,1515,367"/>
 <area shape="poly" id="edge111_Node000109_Node000053" title=" " alt="" coords="1674,364,1603,371,1012,424,1011,418,1602,365,1674,358"/>
 <area shape="rect" id="Node000110" href="$goto__trace_8h.html" title="Traces of GOTO Programs." alt="" coords="1767,724,1918,764"/>
 <area shape="poly" id="edge112_Node000109_Node000110" title=" " alt="" coords="1726,367,1835,710,1830,712,1721,369"/>
 <area shape="poly" id="edge121_Node000109_Node000091" title=" " alt="" coords="1738,366,1797,406,1794,410,1735,370"/>
 <area shape="poly" id="edge114_Node000110_Node000005" title=" " alt="" coords="1878,762,1908,783,1937,810,1978,862,2012,912,2037,961,2054,1011,2059,1061,2053,1112,2035,1165,2002,1220,1977,1245,1946,1262,1913,1272,1882,1278,1881,1273,1912,1267,1944,1257,1974,1241,1998,1217,2030,1163,2048,1111,2054,1061,2048,1012,2033,964,2007,915,1974,865,1933,814,1905,787,1875,766"/>
 <area shape="poly" id="edge113_Node000110_Node000012" title=" " alt="" coords="1864,763,1897,800,1934,853,1965,916,1974,950,1977,985,1977,1061,1973,1126,1964,1180,1958,1179,1967,1125,1972,1061,1972,985,1969,951,1960,918,1930,856,1893,804,1860,766"/>
 <area shape="poly" id="edge115_Node000110_Node000048" title=" " alt="" coords="1768,761,1412,821,1411,816,1767,755"/>
-<area shape="rect" id="Node000086" href="$goto__program_8h.html" title="Concrete Goto Program." alt="" coords="1635,812,1786,852"/>
-<area shape="poly" id="edge116_Node000110_Node000086" title=" " alt="" coords="1815,767,1753,807,1750,802,1812,762"/>
-<area shape="poly" id="edge120_Node000086_Node000003" title=" " alt="" coords="1701,854,1689,876,1680,901,1674,937,1675,969,1685,1024,1690,1051,1692,1080,1689,1111,1677,1146,1658,1178,1633,1204,1602,1226,1569,1243,1501,1265,1441,1277,1440,1271,1499,1260,1567,1238,1600,1221,1629,1200,1654,1175,1672,1144,1684,1110,1687,1080,1685,1052,1680,1025,1669,969,1669,937,1675,899,1684,873,1696,851"/>
-<area shape="poly" id="edge117_Node000086_Node000006" title=" " alt="" coords="1636,849,1521,871,1393,903,1219,956,1086,1005,954,1058,784,1122,596,1191,594,1186,782,1118,952,1053,1084,1000,1217,951,1391,897,1519,866,1635,843"/>
-<area shape="poly" id="edge119_Node000086_Node000016" title=" " alt="" coords="1784,850,1832,869,1878,898,1898,915,1913,936,1923,959,1927,984,1927,1060,1931,1080,1944,1104,1985,1159,2036,1213,2080,1255,2076,1259,2032,1216,1981,1162,1939,1107,1926,1082,1921,1061,1921,985,1918,960,1908,938,1894,919,1875,902,1830,874,1782,855"/>
-<area shape="poly" id="edge118_Node000086_Node000031" title=" " alt="" coords="1654,855,1521,898,1519,893,1653,849"/>
-<area shape="poly" id="edge122_Node000091_Node000086" title=" " alt="" coords="1823,442,1722,799,1717,798,1818,441"/>
+<area shape="rect" id="Node000085" href="$goto__program_8h.html" title="Concrete Goto Program." alt="" coords="1635,812,1786,852"/>
+<area shape="poly" id="edge116_Node000110_Node000085" title=" " alt="" coords="1815,767,1753,807,1750,802,1812,762"/>
+<area shape="poly" id="edge120_Node000085_Node000003" title=" " alt="" coords="1701,854,1689,876,1680,901,1674,937,1675,969,1685,1024,1690,1051,1692,1080,1689,1111,1677,1146,1658,1178,1633,1204,1602,1226,1569,1243,1501,1265,1441,1277,1440,1271,1499,1260,1567,1238,1600,1221,1629,1200,1654,1175,1672,1144,1684,1110,1687,1080,1685,1052,1680,1025,1669,969,1669,937,1675,899,1684,873,1696,851"/>
+<area shape="poly" id="edge117_Node000085_Node000006" title=" " alt="" coords="1636,849,1521,871,1393,903,1219,956,1086,1005,954,1058,784,1122,596,1191,594,1186,782,1118,952,1053,1084,1000,1217,951,1391,897,1519,866,1635,843"/>
+<area shape="poly" id="edge119_Node000085_Node000016" title=" " alt="" coords="1784,850,1832,869,1878,898,1898,915,1913,936,1923,959,1927,984,1927,1060,1931,1080,1944,1104,1985,1159,2036,1213,2080,1255,2076,1259,2032,1216,1981,1162,1939,1107,1926,1082,1921,1061,1921,985,1918,960,1908,938,1894,919,1875,902,1830,874,1782,855"/>
+<area shape="poly" id="edge118_Node000085_Node000031" title=" " alt="" coords="1654,855,1521,898,1519,893,1653,849"/>
+<area shape="poly" id="edge122_Node000091_Node000085" title=" " alt="" coords="1823,442,1722,799,1717,798,1818,441"/>
 </map>