Skip to content


Choose a tag to compare
@gchabert gchabert released this 17 Jan 14:01
· 780 commits to master since this release

Release notes v 2.6.5

Main changes

  • Partial differentation and integration in Minibex. Given a function "f", the following line is now a valid example of constraints in Minibex:
  • Allow differentation of an expression without creating a copy (so that we can create a DAG where an expression and its derivatives share nodes)
  • [solver] - New option to force variables to be parameters in the parametric proof (--forced-params), see #299
  • new comparison algorithm for benchmarking, see #277
  • [java] - fix rounding problem, see #307
  • [java] - now the plugin is installed by default with Ibex (no need for separate archive)

Minor changes

  • A direct (not using flex) parser for indexed symbol (ibex_String.h)
  • Fix #304, #308