Skip to content

v2.6.6
Compare
Choose a tag to compare
@gchabert gchabert released this 07 Sep 09:48
· 755 commits to master since this release
ibex-2.6.6
e3cd85d

Release notes v 2.6.6

Main changes

  • [sip] A new release of SIP plugin by A. Marendet
  • [parser] We can now create temporary variables for building DAGS directly in the constraint block. Example: if you write an equation x=[expr]where [expr] is any expression and x is not a declared variable, then Ibex implicitly associate the symbol x to the expression node [expr]. So any use of x in subsequent constraints will be replaced by this node.
  • [solver] - The manifold object can now be manipulated more easily (fix #315)
  • [solver] - MNF format v4

Minor changes

Assets 2
Loading