-
Erwan Jahier authored
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
e1350c78