https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692017-12-04T10:56:31ZOpen-Source ProjectsKlever - Bug #8613: Inaccurate specification for category tty_operationshttps://forge.ispras.ru/issues/8613?journal_id=321642017-12-04T10:56:31ZIlja Zakharovilja.zakharov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Resolved</i></li></ul><p>The problem was recently introduced and has nothing to do with specifications. Anyway it is already fixed in emg-improvements.</p> Klever - Bug #8613: Inaccurate specification for category tty_operationshttps://forge.ispras.ru/issues/8613?journal_id=321832017-12-09T14:53:03ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Open</i></li></ul>I found out 2 new issues:
<ol>
<li> Resources for callback close aren't proper.</li>
<li> EMG doesn't generate guards for containers of category <em>tty_operations</em> while it does so for other categories.</li>
</ol> Klever - Bug #8613: Inaccurate specification for category tty_operationshttps://forge.ispras.ru/issues/8613?journal_id=322042017-12-14T11:10:05ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Open</i> to <i>Resolved</i></li></ul><p>Fixed in branch <em>emg-imrpovements</em>.</p> Klever - Bug #8613: Inaccurate specification for category tty_operationshttps://forge.ispras.ru/issues/8613?journal_id=325822018-03-05T09:23:12ZIlja Zakharovilja.zakharov@ispras.ru
<ul></ul><p>Moved to 8066-abstract-translator.</p> Klever - Bug #8613: Inaccurate specification for category tty_operationshttps://forge.ispras.ru/issues/8613?journal_id=351972018-10-25T18:17:41ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Closed</i></li></ul><p>Branch <em>klever-2.0</em> passed all tests and I merged it to master in <a class="changeset" title="Add more real examples for verification of Linux 3.14 drivers Besides, prepare preset marks for ..." href="https://forge.ispras.ru/projects/klever/repository/331/revisions/72be796e344820a6afb93bb1f2f9dc3d8f3deaa9">72be796e3</a> marked as <em>v2.0rc1</em>.</p>