https://forge.ispras.ru/
https://forge.ispras.ru/favicon.ico?1649012669
2019-03-13T07:00:14Z
Open-Source Projects
Klever - Feature #9536: Update CIF
https://forge.ispras.ru/issues/9536?journal_id=35737
2019-03-13T07:00:14Z
Evgeny Novikov
novikov@ispras.ru
<ul><li><strong>Blocked by</strong> <i><a class="issue tracker-1 status-6 priority-6 priority-high2 closed" href="/issues/9534">Bug #9534</a>: Incorrect printing of Linux BUILD_BUG_ON</i> added</li></ul>
Klever - Feature #9536: Update CIF
https://forge.ispras.ru/issues/9536?journal_id=35738
2019-03-13T07:00:22Z
Evgeny Novikov
novikov@ispras.ru
<ul><li><strong>Blocks</strong> <i><a class="issue tracker-1 status-5 priority-6 priority-high2 closed" href="/issues/9533">Bug #9533</a>: Can't find array size</i> added</li></ul>
Klever - Feature #9536: Update CIF
https://forge.ispras.ru/issues/9536?journal_id=35740
2019-03-13T07:00:27Z
Evgeny Novikov
novikov@ispras.ru
<ul><li><strong>Blocks</strong> deleted (<i><a class="issue tracker-1 status-5 priority-6 priority-high2 closed" href="/issues/9533">Bug #9533</a>: Can't find array size</i>)</li></ul>
Klever - Feature #9536: Update CIF
https://forge.ispras.ru/issues/9536?journal_id=35743
2019-03-13T07:00:37Z
Evgeny Novikov
novikov@ispras.ru
<ul><li><strong>Blocked by</strong> <i><a class="issue tracker-1 status-5 priority-6 priority-high2 closed" href="/issues/9533">Bug #9533</a>: Can't find array size</i> added</li></ul>
Klever - Feature #9536: Update CIF
https://forge.ispras.ru/issues/9536?journal_id=35748
2019-03-13T07:01:31Z
Evgeny Novikov
novikov@ispras.ru
<ul><li><strong>Blocks</strong> <i><a class="issue tracker-1 status-5 priority-4 priority-default closed parent" href="/issues/6629">Bug #6629</a>: Used CIL is outdated</i> added</li></ul>
Klever - Feature #9536: Update CIF
https://forge.ispras.ru/issues/9536?journal_id=35756
2019-03-13T07:34:11Z
Evgeny Novikov
novikov@ispras.ru
<ul><li><strong>Blocked by</strong> <i><a class="issue tracker-4 status-5 priority-6 priority-high2 closed" href="/issues/9539">Feature #9539</a>: Print stub for inline Assembler</i> added</li></ul>
Klever - Feature #9536: Update CIF
https://forge.ispras.ru/issues/9536?journal_id=35798
2019-03-15T06:28:20Z
Evgeny Novikov
novikov@ispras.ru
<ul><li><strong>Blocked by</strong> <i><a class="issue tracker-1 status-5 priority-6 priority-high2 closed" href="/issues/5407">Bug #5407</a>: Duplicated labels are generated</i> added</li></ul>
Klever - Feature #9536: Update CIF
https://forge.ispras.ru/issues/9536?journal_id=35828
2019-03-17T11:45:13Z
Evgeny Novikov
novikov@ispras.ru
<ul><li><strong>Blocked by</strong> deleted (<i><a class="issue tracker-1 status-6 priority-6 priority-high2 closed" href="/issues/9534">Bug #9534</a>: Incorrect printing of Linux BUILD_BUG_ON</i>)</li></ul>
Klever - Feature #9536: Update CIF
https://forge.ispras.ru/issues/9536?journal_id=35862
2019-03-24T12:17:21Z
Evgeny Novikov
novikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Resolved</i></li></ul><p>I updated CIF in branch <em>frama-c-cil</em>.</p>
Klever - Feature #9536: Update CIF
https://forge.ispras.ru/issues/9536?journal_id=35874
2019-03-25T13:09:43Z
Evgeny Novikov
novikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Closed</i></li></ul><p>I merged the branch to master in <a class="changeset" title="Increase time limit since one test case exceeded the previous one from time to time https://forg..." href="https://forge.ispras.ru/projects/klever/repository/331/revisions/c082518076482dacb70c6e55c98814e7e2ea8da5">c082518</a>.</p>