https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692018-01-18T10:04:02ZOpen-Source ProjectsKlever - Feature #8610: Do not show previously opened file when opening a new onehttps://forge.ispras.ru/issues/8610?journal_id=323262018-01-18T10:04:02ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Priority</strong> changed from <i>High</i> to <i>Urgent</i></li><li><strong>Target version</strong> set to <i>2.0</i></li></ul><p>Let's improve code coverage GUI in Klever <a class="version" href="https://forge.ispras.ru/versions/248">1.0</a>.</p> Klever - Feature #8610: Do not show previously opened file when opening a new onehttps://forge.ispras.ru/issues/8610?journal_id=324082018-01-30T15:58:56ZVladimir Gratinskiygratinskiy@ispras.ru
<ul><li><strong>Due date</strong> set to <i>01/30/2018</i></li><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 branch "visual-improvements".</p> Klever - Feature #8610: Do not show previously opened file when opening a new onehttps://forge.ispras.ru/issues/8610?journal_id=336742018-07-03T08:12:04ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Open</i></li><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. Vladimir, please, merge fresh master to that branch, since I expect some conflicts.</p> Klever - Feature #8610: Do not show previously opened file when opening a new onehttps://forge.ispras.ru/issues/8610?journal_id=337262018-07-05T16:19:38ZVladimir Gratinskiygratinskiy@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Open</i> to <i>Resolved</i></li></ul><p>Fixed together with <a class="issue tracker-4 status-5 priority-6 priority-high2 closed behind-schedule" title="Feature: Support function coverage navigation (Closed)" href="https://forge.ispras.ru/issues/8622">#8622</a> in branch "feature_8622".</p> Klever - Feature #8610: Do not show previously opened file when opening a new onehttps://forge.ispras.ru/issues/8610?journal_id=339372018-07-16T09:59:13ZEvgeny Novikovnovikov@ispras.ru
<ul></ul><p>It will be tested together with <a class="issue tracker-4 status-5 priority-6 priority-high2 closed behind-schedule" title="Feature: Support function coverage navigation (Closed)" href="https://forge.ispras.ru/issues/8622">#8622</a> within branch <em>bridge-imrovements</em>.</p> Klever - Feature #8610: Do not show previously opened file when opening a new onehttps://forge.ispras.ru/issues/8610?journal_id=339472018-07-16T17:03:49ZEvgeny 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 bridge-imrovements" href="https://forge.ispras.ru/projects/klever/repository/331/revisions/80731a4b67b1d6019414d0f353173df3ca08fb2e">80731a4</a>.</p>