-
Erwan Jahier authored
Parent-Version: 0.131 Version-Log: Fix 3 bugs discovered by Pascal. one was due to a confusion with variable starting with _pre during formula_to_string. another one was in store.ml: i was not reinjecting the solutions when retriving values from store.substl a third one was due to the fact that I was not applying substitution rigth-to-left whereas I should. source/luc_exe.ml: Add 2 options --help and --step-number that let one set a bound on the number of steps to perform. source/env.ml: source/parse_env.ml: Provide a mean to give default values to pre variables. ihm/xlurette/xlurette_glade_main.ml ihm/xlurette/xlurette.glade: Add Combo boxes to browse lustre file nodes. source/ Add the possibility to give default vales to pre variables. Project-Description: Lurette
557de1e9