Release v2.8.6 · ibex-team/ibex-lib

Release notes v 2.8.6

Main changes

The recently added features of the optim plugin, that is the KKT contractor and the rigor mode have been thoroughly tested and many bugs related to these features have been fixed (#403, #404, #406, #407, #408, #415, #411). The optim plugin can now be considered as stable !
A new ODE plugin has been added. It contains a program that allows to calculate a region inside which all points converge to the fixpoint of a dynamical system.
See documentation here: https://github.com/ibex-team/ibex-lib/blob/develop/plugins/ode/README.rst
The parser has been reogranized so that all the input and output structures are now managed in a unique generic class P_Struct, and the generation code can now be overriden.
The new ODE plugin with its P_LyapunovStruct class gives an illlustration of this gain in simplicity/genericity.
Introduction of the integer keyword in Minibex that allows now to declare a variable as integer for ibexsolve or ibexopt !
The floor and ceil operators have also been introduced (isse #168).
Just add a constraints like this:
```
   integer(x).
```
This may help for simple mixed integer/continuous problems. However, for more involved combinatorial constraints, use CHOCO+IBEX via the java plugin.
[optim] Creation of a OptimizerConfig class hierarchy and integration of Bertrand's "optimizer04" configuration (Optimizer04Config).
Note that KKT contractor is now activated by default for unconstrained problems (#405)

Other changes

Minor changes

[optim] fix of a small bug that made a "new_uplo>loup" appear in case of unreachable precision
All references to plugins have been removed from kernel
Fix #401 (for linking with coinOR), #410, #416, #419
Fix #398 on the semantic of smear-based bisector, which was producing non-monotic performances wrt precision.
Discussion on the topic is still open, see #400.
Fix three problems for compiling examples under MinGW, including #422
All Travis tests are now OK again

Still in progress