https://scm.ti-edu.ch/https://scm.ti-edu.ch/favicon.ico?15601711372017-04-18T10:26:29ZUSI & SUPSI Source Code Management (SCM)hifrog - Bug #5010: Theoref bug: GNU MP: Cannot reallocate memoryhttps://scm.ti-edu.ch/issues/5010?journal_id=173542017-04-18T10:26:29ZKarine Even Mendozakarine.even_mendoza@kcl.ac.uk
<ul></ul><p>Not sure it is coming from HiFrog...</p>
<p>Maybe issue of libtool and GMP. Any idea?</p> hifrog - Bug #5010: Theoref bug: GNU MP: Cannot reallocate memoryhttps://scm.ti-edu.ch/issues/5010?journal_id=178312017-05-30T18:02:47ZKarine Even Mendozakarine.even_mendoza@kcl.ac.uk
<ul><li><strong>Priority</strong> changed from <i>Normal</i> to <i>Low</i></li></ul><p>MEM ISSUES - LOW Priority</p> hifrog - Bug #5010: Theoref bug: GNU MP: Cannot reallocate memoryhttps://scm.ti-edu.ch/issues/5010?journal_id=179592017-06-09T17:40:58ZKarine Even Mendozakarine.even_mendoza@kcl.ac.uk
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>In Progress</i></li><li><strong>Assignee</strong> set to <i>Antti Hyvärinen</i></li><li><strong>% Done</strong> changed from <i>0</i> to <i>60</i></li></ul><p>Add type-byte-constraints (option 2 to solve this issue).<br />Seems to bound the formula, however we need to move this logic to the solver at some point</p>