Deploying to gh-pages from @ a1822ef 🚀

adr/cpp-api-and-modularisation.html

@@ -99,7 +99,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: 2023-08-01 18:09:18 +0200 </p>
+<p>Last modified: 2023-08-02 09:08:49 +0200 </p>
 </div></div><!-- contents -->
 </div><!-- PageDoc -->
 <!-- start footer part -->

adr/homebrew-tap-instructions.html

@@ -131,7 +131,7 @@ <h2><a class="anchor" id="autotoc_md6"></a>
 <div class="line">$ brew link --overwrite [email protected]</div>
 <div class="line">$ cbmc --version</div>
 <div class="line">5.55.0</div>
-</div><!-- fragment --><p>Last modified: 2023-08-01 18:09:18 +0200 </p>
+</div><!-- fragment --><p>Last modified: 2023-08-02 09:08:49 +0200 </p>
 </div></div><!-- contents -->
 </div><!-- PageDoc -->
 <!-- start footer part -->

adr/index.html

@@ -76,7 +76,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: 2023-08-01 18:09:18 +0200 </p>
+<p>Last modified: 2023-08-02 09:08:49 +0200 </p>
 </div></div><!-- PageDoc -->
 </div><!-- contents -->
 <!-- start footer part -->

adr/release-process.html

@@ -111,7 +111,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: 2023-08-01 18:09:18 +0200 </p>
+<p>Last modified: 2023-08-02 09:08:49 +0200 </p>
 </div></div><!-- contents -->
 </div><!-- PageDoc -->
 <!-- start footer part -->

adr/symex-ready-goto.html

@@ -81,7 +81,7 @@
 <li><code>stop_on_fail_verifier_with_fault_localizationt</code>,</li>
 <li><code>stop_on_fail_verifiert</code>.</li>
 </ul>
-<p>Last modified: 2023-08-01 18:09:18 +0200 </p>
+<p>Last modified: 2023-08-02 09:08:49 +0200 </p>
 </div></div><!-- contents -->
 </div><!-- PageDoc -->
 <!-- start footer part -->

annotated_dup.js

@@ -181,6 +181,7 @@ var annotated_dup =
     [ "call_stackt", "classcall__stackt.html", "classcall__stackt" ],
     [ "call_validate_fullt", "structcall__validate__fullt.html", "structcall__validate__fullt" ],
     [ "call_validatet", "structcall__validatet.html", "structcall__validatet" ],
+    [ "can_forward_propagatet", "classcan__forward__propagatet.html", "classcan__forward__propagatet" ],
     [ "car_exprt", "classcar__exprt.html", "classcar__exprt" ],
     [ "casting_replace_symbolt", "classcasting__replace__symbolt.html", "classcasting__replace__symbolt" ],
     [ "cbmc_invariants_should_throwt", "structcbmc__invariants__should__throwt.html", "structcbmc__invariants__should__throwt" ],
@@ -285,8 +286,8 @@ var annotated_dup =
     [ "constant_interval_exprt", "classconstant__interval__exprt.html", "classconstant__interval__exprt" ],
     [ "constant_pointer_abstract_objectt", "classconstant__pointer__abstract__objectt.html", "classconstant__pointer__abstract__objectt" ],
     [ "constant_propagator_ait", "classconstant__propagator__ait.html", "classconstant__propagator__ait" ],
+    [ "constant_propagator_can_forward_propagatet", "classconstant__propagator__can__forward__propagatet.html", "classconstant__propagator__can__forward__propagatet" ],
     [ "constant_propagator_domaint", "classconstant__propagator__domaint.html", "classconstant__propagator__domaint" ],
-    [ "constant_propagator_is_constantt", "classconstant__propagator__is__constantt.html", "classconstant__propagator__is__constantt" ],
     [ "constants_evaluator", "classconstants__evaluator.html", "classconstants__evaluator" ],
     [ "constructor_oft", "classconstructor__oft.html", "classconstructor__oft" ],
     [ "container_encoding_targett", "classcontainer__encoding__targett.html", "classcontainer__encoding__targett" ],
@@ -581,8 +582,8 @@ var annotated_dup =
     [ "goto_program_dereferencet", "classgoto__program__dereferencet.html", "classgoto__program__dereferencet" ],
     [ "goto_programt", "classgoto__programt.html", "classgoto__programt" ],
     [ "goto_statet", "classgoto__statet.html", "classgoto__statet" ],
+    [ "goto_symex_can_forward_propagatet", "classgoto__symex__can__forward__propagatet.html", "classgoto__symex__can__forward__propagatet" ],
     [ "goto_symex_fault_localizert", "classgoto__symex__fault__localizert.html", "classgoto__symex__fault__localizert" ],
-    [ "goto_symex_is_constantt", "classgoto__symex__is__constantt.html", "classgoto__symex__is__constantt" ],
     [ "goto_symex_property_decidert", "classgoto__symex__property__decidert.html", "classgoto__symex__property__decidert" ],
     [ "goto_symex_statet", "classgoto__symex__statet.html", "classgoto__symex__statet" ],
     [ "goto_symext", "classgoto__symext.html", "classgoto__symext" ],
@@ -609,7 +610,7 @@ var annotated_dup =
     [ "havoc_generate_function_bodiest", "classhavoc__generate__function__bodiest.html", "classhavoc__generate__function__bodiest" ],
     [ "havoc_if_validt", "classhavoc__if__validt.html", "classhavoc__if__validt" ],
     [ "havoc_loopst", "classhavoc__loopst.html", "classhavoc__loopst" ],
-    [ "havoc_utils_is_constantt", "classhavoc__utils__is__constantt.html", "classhavoc__utils__is__constantt" ],
+    [ "havoc_utils_can_forward_propagatet", "classhavoc__utils__can__forward__propagatet.html", "classhavoc__utils__can__forward__propagatet" ],
     [ "havoc_utilst", "classhavoc__utilst.html", "classhavoc__utilst" ],
     [ "help_formattert", "classhelp__formattert.html", "classhelp__formattert" ],
     [ "history_exprt", "classhistory__exprt.html", "classhistory__exprt" ],
@@ -682,7 +683,6 @@ var annotated_dup =
     [ "irep_serializationt", "classirep__serializationt.html", "classirep__serializationt" ],
     [ "irept", "classirept.html", "classirept" ],
     [ "is_compile_time_constantt", "classis__compile__time__constantt.html", "classis__compile__time__constantt" ],
-    [ "is_constantt", "classis__constantt.html", "classis__constantt" ],
     [ "is_cstring_exprt", "classis__cstring__exprt.html", "classis__cstring__exprt" ],
     [ "is_dynamic_object_exprt", "classis__dynamic__object__exprt.html", "classis__dynamic__object__exprt" ],
     [ "is_fresh_baset", "classis__fresh__baset.html", "classis__fresh__baset" ],

api/index.html

@@ -68,7 +68,7 @@
 <div class="textblock"><p><a class="anchor" id="md_README"></a></p><ul>
 <li><a class="el" href="piped-process.html"><code>src/util/piped_process.{cpp, h}</code></a></li>
 </ul>
-<p>Last modified: 2023-08-01 18:09:18 +0200 </p>
+<p>Last modified: 2023-08-02 09:08:49 +0200 </p>
 </div></div><!-- PageDoc -->
 </div><!-- contents -->
 <!-- start footer part -->

api/piped-process.html

@@ -93,7 +93,7 @@
 </ul>
 </li>
 </ul>
-<p>Last modified: 2023-08-01 18:09:18 +0200 </p>
+<p>Last modified: 2023-08-02 09:08:49 +0200 </p>
 </div></div><!-- contents -->
 </div><!-- PageDoc -->
 <!-- start footer part -->

arith__tools_8cpp_source.html

@@ -530,7 +530,7 @@
 <div class="ttc" id="aclasstrue__exprt_html"><div class="ttname"><a href="classtrue__exprt.html">true_exprt</a></div><div class="ttdoc">The Boolean constant true.</div><div class="ttdef"><b>Definition:</b> <a href="std__expr_8h_source.html#l03007">std_expr.h:3008</a></div></div>
 <div class="ttc" id="aclasstypet_html"><div class="ttname"><a href="classtypet.html">typet</a></div><div class="ttdoc">The type of an expression, extends irept.</div><div class="ttdef"><b>Definition:</b> <a href="type_8h_source.html#l00028">type.h:29</a></div></div>
 <div class="ttc" id="actype_8c_html_a3fa45b35c8abf67a950b6d3d4063dede"><div class="ttname"><a href="ctype_8c.html#a3fa45b35c8abf67a950b6d3d4063dede">isdigit</a></div><div class="ttdeci">int isdigit(int c)</div><div class="ttdef"><b>Definition:</b> <a href="ctype_8c_source.html#l00024">ctype.c:24</a></div></div>
-<div class="ttc" id="aexpr__util_8cpp_html_ae2ae8e358c96aa4b13b11a502bc9328b"><div class="ttname"><a href="expr__util_8cpp.html#ae2ae8e358c96aa4b13b11a502bc9328b">is_null_pointer</a></div><div class="ttdeci">bool is_null_pointer(const constant_exprt &amp;expr)</div><div class="ttdoc">Returns true if expr has a pointer type and a value NULL; it also returns true when expr has value ze...</div><div class="ttdef"><b>Definition:</b> <a href="expr__util_8cpp_source.html#l00360">expr_util.cpp:360</a></div></div>
+<div class="ttc" id="aexpr__util_8cpp_html_ae2ae8e358c96aa4b13b11a502bc9328b"><div class="ttname"><a href="expr__util_8cpp.html#ae2ae8e358c96aa4b13b11a502bc9328b">is_null_pointer</a></div><div class="ttdeci">bool is_null_pointer(const constant_exprt &amp;expr)</div><div class="ttdoc">Returns true if expr has a pointer type and a value NULL; it also returns true when expr has value ze...</div><div class="ttdef"><b>Definition:</b> <a href="expr__util_8cpp_source.html#l00369">expr_util.cpp:369</a></div></div>
 <div class="ttc" id="aexpr__util_8h_html"><div class="ttname"><a href="expr__util_8h.html">expr_util.h</a></div><div class="ttdoc">Deprecated expression utility functions.</div></div>
 <div class="ttc" id="afixedbv_8h_html"><div class="ttname"><a href="fixedbv_8h.html">fixedbv.h</a></div></div>
 <div class="ttc" id="aieee__float_8h_html"><div class="ttname"><a href="ieee__float_8h.html">ieee_float.h</a></div></div>

as__const_8h.html

@@ -99,7 +99,7 @@
 <div id="dynsection-0-summary" class="dynsummary" style="display:block;">
 </div>
 <div id="dynsection-0-content" class="dyncontent" style="display:none;">
-<div class="center"><iframe scrolling="no" frameborder="0" src="as__const_8h__dep__incl.svg" width="10254" height="512"><p><b>This browser is not able to show SVG: try Firefox, Chrome, Safari, or Opera instead.</b></p></iframe>
+<div class="center"><iframe scrolling="no" frameborder="0" src="as__const_8h__dep__incl.svg" width="10300" height="512"><p><b>This browser is not able to show SVG: try Firefox, Chrome, Safari, or Opera instead.</b></p></iframe>
 </div>
 </div>
 </div>