Releases · ibex-team/ibex-lib

Release notes v 2.6.2

Main changes

New Random implementation allow reproducibility, see #295
Minibex: allow functions to be declared before the "variables" block
[solver] MNF format: v2 (see details with --format)
Interval librairies: double rounding now always disabled, see #292
Timer: new thread-safe implementation, see #291
new implementation of SystemNormalize and SystemExtend, more clean and robust, see #275
[optim]: add "beamsearch" strategy (new cell buffer)
[optim]: "lsmear" is now the default bisection strategy

Minor changes