https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692018-07-02T08:18:13ZOpen-Source ProjectsKlever - Feature #9001: Dump similarities for associated unsafe markshttps://forge.ispras.ru/issues/9001?journal_id=336222018-07-02T08:18:13ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Related to</strong> <i><a class="issue tracker-4 status-5 priority-6 priority-high2 closed" href="/issues/9016">Feature #9016</a>: Show total similarity in unsafes and marks tables</i> added</li></ul> Klever - Feature #9001: Dump similarities for associated unsafe markshttps://forge.ispras.ru/issues/9001?journal_id=336562018-07-03T07:19:33ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Target version</strong> changed from <i>2.0</i> to <i>1.1</i></li></ul><p>This issue is not strictly bound with purposes of <a class="version" href="https://forge.ispras.ru/versions/247">2.0</a> that targets verification of C software.</p> Klever - Feature #9001: Dump similarities for associated unsafe markshttps://forge.ispras.ru/issues/9001?journal_id=337352018-07-05T17:42:22ZVladimir Gratinskiygratinskiy@ispras.ru
<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><p>Implemented in feature_9001.</p> Klever - Feature #9001: Dump similarities for associated unsafe markshttps://forge.ispras.ru/issues/9001?journal_id=338772018-07-12T13:34:27ZEvgeny Novikovnovikov@ispras.ru
<ul></ul><p>I fixed it a bit to dump simple dictionaries rather than lists of lists. Now the branch is tested.</p> Klever - Feature #9001: Dump similarities for associated unsafe markshttps://forge.ispras.ru/issues/9001?journal_id=339122018-07-13T05:27:57ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Closed</i></li></ul><p>Tests passed, so, I merged the branch to master in <a class="changeset" title="Merge branch 'master' into feature_9001" href="https://forge.ispras.ru/projects/klever/repository/331/revisions/a823235a9da3fc46814fdb465945990758027930">a823235a</a>.</p>