Parent-Version:      1.14
Version-Log:

source/util.ml:
   Redirect third party tools error msgs in the main windows rather than in the
misc.

source/lucky.ml:
source/run_aut.ml:
   Indicate the removed paths in the verbose mode only.

source/run_aut.ml:
   Fix a bug where the execution was looping when no more formula
   were satisfiable (when all formula mode was on).

source/fair_bddd.ml:
   Raise No_numeric_solution if the polyhedron volume
   is smaller then epsilon.

source/lurettetop.ml:
   Recompile the Lustre program if necessary.

source/gen_fake_lutin.ml:
   Declare the variables in the same order as in the sut program.

source/store.ml:
source/polyhedron.ml:
   Fix a bug signaled by Claude where lurette was aborting
   when solving integer constraints. It was due to a bad
   implementation of is_point_in_poly which did not
   convert floats to ints when necessary (this bug was introduced
   rather recently when i provided my own version of
   is_point_in_poly... and of course i have non reg-test
   with integer constraints...).

Project-Description: Lurette