https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692021-06-17T11:30:44ZOpen-Source ProjectsKlever - Feature #10854: Develop models for bitmap APIhttps://forge.ispras.ru/issues/10854?journal_id=408122021-06-17T11:30:44ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Resolved</i></li></ul><p>I implemented models of most common functions of the bitmap API in branch <em>bitmap-model</em>. Let's see whether CI will pass tests including real-word drivers since these models are not trivial at all.</p> Klever - Feature #10854: Develop models for bitmap APIhttps://forge.ispras.ru/issues/10854?journal_id=408212021-06-19T13:51:24ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Closed</i></li></ul><p>After some fixes tests passed, so, I merged the branch to master in <a class="changeset" title="Partially revert "Merge requirement specification lib:find_bit with common model" This partially..." href="https://forge.ispras.ru/projects/klever/repository/331/revisions/81142869d5212a021903b3f4addf4567796b4775">81142869d</a>.</p> Klever - Feature #10854: Develop models for bitmap APIhttps://forge.ispras.ru/issues/10854?journal_id=408272021-06-22T16:14:01ZEvgeny Novikovnovikov@ispras.ru
<ul></ul><p>I made some follow up improvements in branch <em>bitmap-model-fixes</em> that passed tests and that was merged to master in <a class="changeset" title="Undef macro "memset" prior to declare it as a function" href="https://forge.ispras.ru/projects/klever/repository/331/revisions/f957211118368eb7fe5a6a8dbad9f7184a6e081c">f95721111</a>.</p>