https://scm.ti-edu.ch/https://scm.ti-edu.ch/favicon.ico?15601711372017-06-15T18:32:14ZUSI & SUPSI Source Code Management (SCM)hifrog - Bug #5306: inconsistency with CBMC is s3.chttps://scm.ti-edu.ch/issues/5306?journal_id=180422017-06-15T18:32:14ZSepideh Asadisepideh.a65@gmail.com
<ul></ul><p>--claim 131 s3.c</p>
<p>--claim 115</p>
<p>--claim 109</p>
<p>-claim 51</p>
<p>44</p> hifrog - Bug #5306: inconsistency with CBMC is s3.chttps://scm.ti-edu.ch/issues/5306?journal_id=180982017-06-16T10:34:49ZKarine Even Mendozakarine.even_mendoza@kcl.ac.uk
<ul><li><strong>Priority</strong> changed from <i>Normal</i> to <i>High</i></li></ul><p>1. Add new supports for more operators in OpenSMT side (so we can BB these), as well as in HiFrog side.<br />2. New Heuristics that do not need all operators to find SAT results.</p> hifrog - Bug #5306: inconsistency with CBMC is s3.chttps://scm.ti-edu.ch/issues/5306?journal_id=186252017-08-08T13:52:28ZKarine Even Mendozakarine.even_mendoza@kcl.ac.uk
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Feedback</i></li><li><strong>Assignee</strong> set to <i>Antti Hyvärinen</i></li><li><strong>Priority</strong> changed from <i>High</i> to <i>Normal</i></li></ul><p>Classic one, just waiting for us to improve/add new support :-)</p>