https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692018-08-17T13:56:25ZOpen-Source ProjectsKlever - Feature #8494: Process extended format of violation witnesseshttps://forge.ispras.ru/issues/8494?journal_id=344462018-08-17T13:56:25ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Target version</strong> changed from <i>2.0</i> to <i>3.0</i></li></ul><p>I don't believe that we will be able to include this into Klever <a class="version" href="https://forge.ispras.ru/versions/247">2.0</a>.</p> Klever - Feature #8494: Process extended format of violation witnesseshttps://forge.ispras.ru/issues/8494?journal_id=355452019-01-25T12:19:31ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Assignee</strong> changed from <i>Ilja Zakharov</i> to <i>Evgeny Novikov</i></li></ul><p>Ilja will do a real job unlike us in near future.</p> Klever - Feature #8494: Process extended format of violation witnesseshttps://forge.ispras.ru/issues/8494?journal_id=368692019-09-18T07:56:54ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Blocks</strong> <i><a class="issue tracker-1 status-6 priority-6 priority-high2 closed" href="/issues/9393">Bug #9393</a>: Problem with memleak visualization on absent return from void function</i> added</li></ul> Klever - Feature #8494: Process extended format of violation witnesseshttps://forge.ispras.ru/issues/8494?journal_id=371012019-11-01T07:12:38ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Blocks</strong> <i><a class="issue tracker-4 status-5 priority-6 priority-high2 closed" href="/issues/9897">Feature #9897</a>: Develop tutorial</i> added</li></ul> Klever - Feature #8494: Process extended format of violation witnesseshttps://forge.ispras.ru/issues/8494?journal_id=377622020-01-17T06:53:37ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Blocks</strong> deleted (<i><a class="issue tracker-1 status-6 priority-6 priority-high2 closed" href="/issues/8500">Bug #8500</a>: Environment model simplifications can break error traces</i>)</li></ul> Klever - Feature #8494: Process extended format of violation witnesseshttps://forge.ispras.ru/issues/8494?journal_id=377652020-01-17T06:55:23ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Blocks</strong> deleted (<i><a class="issue tracker-1 status-6 priority-6 priority-high2 closed" href="/issues/9393">Bug #9393</a>: Problem with memleak visualization on absent return from void function</i>)</li></ul> Klever - Feature #8494: Process extended format of violation witnesseshttps://forge.ispras.ru/issues/8494?journal_id=377692020-01-17T06:57:34ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Blocked by</strong> <i><a class="issue tracker-4 status-5 priority-6 priority-high2 closed" href="/issues/10043">Feature #10043</a>: Update CPAchecker</i> added</li></ul> Klever - Feature #8494: Process extended format of violation witnesseshttps://forge.ispras.ru/issues/8494?journal_id=390012020-05-21T13:39:02ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Blocks</strong> deleted (<i><a class="issue tracker-4 status-5 priority-6 priority-high2 closed" href="/issues/9897">Feature #9897</a>: Develop tutorial</i>)</li></ul> Klever - Feature #8494: Process extended format of violation witnesseshttps://forge.ispras.ru/issues/8494?journal_id=395002020-08-17T08:53:26ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Blocked by</strong> <i><a class="issue tracker-4 status-5 priority-6 priority-high2 closed" href="/issues/10465">Feature #10465</a>: Update Klever tutorial</i> added</li></ul> Klever - Feature #8494: Process extended format of violation witnesseshttps://forge.ispras.ru/issues/8494?journal_id=398482020-11-10T08:17:05ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Blocked by</strong> deleted (<i><a class="issue tracker-4 status-5 priority-6 priority-high2 closed" href="/issues/10465">Feature #10465</a>: Update Klever tutorial</i>)</li></ul> Klever - Feature #8494: Process extended format of violation witnesseshttps://forge.ispras.ru/issues/8494?journal_id=398492020-11-10T08:17:10ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Blocks</strong> <i><a class="issue tracker-4 status-5 priority-6 priority-high2 closed" href="/issues/10465">Feature #10465</a>: Update Klever tutorial</i> added</li></ul> Klever - Feature #8494: Process extended format of violation witnesseshttps://forge.ispras.ru/issues/8494?journal_id=399672020-12-01T06:25:32ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Closed</i></li></ul><p>At last all subtasks are closed, so, we have support for extended violation witnesses in master! This change is not backward compatible, so, you need to re-install Klever completely after update. I hope that this is the last such change for Klever <a class="version" href="https://forge.ispras.ru/versions/264">3.0</a> and much time beyond.</p>