https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692014-12-04T07:28:05ZOpen-Source ProjectsFortress - Task #5464: [solver] boolean expressions casting into bit vectorshttps://forge.ispras.ru/issues/5464?journal_id=213182014-12-04T07:28:05ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Subject</strong> changed from <i>[solver] boolean numbers casting into bit vectors</i> to <i>[solver] boolean expressions casting into bit vectors</i></li><li><strong>Assignee</strong> set to <i>Andrei Tatarnikov</i></li><li><strong>Target version</strong> set to <i>0.3</i></li></ul><p>At solver level it is needed to cast boolean expressions to bit vectors of size 1 only when operation code is "of bitvector-defined category", like BVAND, BVOR and so on.<br />Otherwise, do nothing.</p> Fortress - Task #5464: [solver] boolean expressions casting into bit vectorshttps://forge.ispras.ru/issues/5464?journal_id=213192014-12-04T07:28:34ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Priority</strong> changed from <i>Normal</i> to <i>High</i></li></ul> Fortress - Task #5464: [solver] boolean expressions casting into bit vectorshttps://forge.ispras.ru/issues/5464?journal_id=213242014-12-04T11:07:39ZAndrei Tatarnikovandrewt@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>Done in r722.</p> Fortress - Task #5464: [solver] boolean expressions casting into bit vectorshttps://forge.ispras.ru/issues/5464?journal_id=213392014-12-04T14:51:15ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Verified</i></li></ul> Fortress - Task #5464: [solver] boolean expressions casting into bit vectorshttps://forge.ispras.ru/issues/5464?journal_id=216082014-12-26T17:29:54ZAndrei Tatarnikovandrewt@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Verified</i> to <i>Closed</i></li><li><strong>Published in build</strong> set to <i>141226</i></li></ul>