https://forge.ispras.ru/
https://forge.ispras.ru/favicon.ico?1649012669
2015-09-22T11:29:01Z
Open-Source Projects
MicroTESK - Bug #6287: Variable dependencies causes false positives in path feasibility test
https://forge.ispras.ru/issues/6287?journal_id=24371
2015-09-22T11:29:01Z
Alexander Kamkin
askamkin@gmail.com
<ul><li><strong>Assignee</strong> changed from <i>Andrei Tatarnikov</i> to <i>Alexander Kamkin</i></li><li><strong>Target version</strong> set to <i>2.3</i></li></ul>
MicroTESK - Bug #6287: Variable dependencies causes false positives in path feasibility test
https://forge.ispras.ru/issues/6287?journal_id=24372
2015-09-22T11:41:28Z
Alexander Kamkin
askamkin@gmail.com
<ul><li><strong>Description</strong> updated (<a title="View differences" href="/journals/24372/diff?detail_id=27473">diff</a>)</li></ul>
MicroTESK - Bug #6287: Variable dependencies causes false positives in path feasibility test
https://forge.ispras.ru/issues/6287?journal_id=24373
2015-09-22T11:47:41Z
Artem Kotsynyak
<ul><li><strong>File</strong> <a href="/attachments/4064">mmu.debug</a> <a class="icon-only icon-download" title="Download" href="/attachments/download/4064/mmu.debug">mmu.debug</a> added</li></ul>
MicroTESK - Bug #6287: Variable dependencies causes false positives in path feasibility test
https://forge.ispras.ru/issues/6287?journal_id=24374
2015-09-22T11:52:07Z
Alexander Kamkin
askamkin@gmail.com
<ul></ul><pre>
[pmem.dependent == 0:1]
[pmem.dependent == 1]
</pre>
<p>It seems that the solver does not care about variables with fixed values (<code>[pmem.dependent = 0:1]</code> is interpreted as <code>[pmem.dependent = x]</code>, where <code>x</code> is some variable).<br />To be fixed soon.</p>
MicroTESK - Bug #6287: Variable dependencies causes false positives in path feasibility test
https://forge.ispras.ru/issues/6287?journal_id=24382
2015-09-22T13:25:11Z
Artem Kotsynyak
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Resolved</i></li><li><strong>% Done</strong> changed from <i>0</i> to <i>100</i></li></ul>
MicroTESK - Bug #6287: Variable dependencies causes false positives in path feasibility test
https://forge.ispras.ru/issues/6287?journal_id=24416
2015-09-29T08:03:44Z
Alexander Kamkin
askamkin@gmail.com
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Closed</i></li><li><strong>Published in build</strong> set to <i>20150925</i></li></ul>