- 28 Mar, 2018 1 commit
-
-
erwan authored
-
- 25 Jan, 2016 1 commit
-
-
Erwan Jahier authored
The C binding does not work yet (hence the test in examples/C and examples/lustre are broken).
-
- 05 Feb, 2011 1 commit
-
-
Pascal Raymond authored
-
- 13 Dec, 2010 1 commit
-
-
Pascal Raymond authored
-
- 01 Dec, 2010 1 commit
-
-
Erwan Jahier authored
Alias variables were printed, but not declared in the rif preambule. Also, keep the original variable order in the Lucky file parser.
-
- 30 Jun, 2010 1 commit
-
-
Erwan Jahier authored
-
- 23 Jun, 2010 1 commit
-
-
Erwan Jahier authored
-
- 19 May, 2010 1 commit
-
-
Erwan Jahier authored
luciole to generate them.
-
- 17 Mar, 2010 14 commits
-
-
Erwan Jahier authored
Parent-Version: 1.41 Version-Log: source/luc_exe.ml source/command_line_luc_exe.ml source/lurette.ml source/graph.ml source/lucky.mli source/lucky.ml source/util.ml source/formula_to_bdd.ml source/formula_to_bdd.mli source/fair_bddd.ml source/fair_bddd.mli source/bddd.ml source/bddd.mli source/solver.mli source/solver.ml source/polyhedron.ml source/polyhedron.mli source/store.mli source/store.ml source/parse_luc.mli source/parse_luc.ml source/show_env.ml source/env_state.mli source/env_state.ml source/run_aut.mli source/run_aut.ml source/lurettetop.ml source/draw.mli source/draw.ml source/gen_stubs.ml source/parse_c_scade.ml source/ne.ml source/prevar.ml source/prevar.mli source/show_luc.ml utils/lucky.el install/configure.in Makefile.common.source install/Makefile.lurette.in user-rules source/Makefile.lurettetop source/Makefile.gen_fake_lutin source/Makefile.show_luc source/Makefile.lucky source/Makefile.gen_stubs source/Makefile.lurette_lib source/Makefile RUN_ME TODO test/time-joly.exp test/time-joly.res test/time-ecrins.exp ihm/xlurette/xlurette_glade_main.ml ihm/xlurette/xlurette_glade_interface.ml ihm/xlurette/makefile polka/caml/Makefile polka/Makefile.config source/Makefile.gen_fake_lucky install/xlurette_sh.in install/xlurette.sh.in install/xlurette.bat.in install/set_env_var.in install/lurettetop_sh.in install/lurettetop.sh.in install/lurettetop.bat.in install/gen_stubs.sh.in source/poly_draw.ml source/poly_draw.mli source/lustreExp.ml source/lustreExp.mli source/exp.ml source/var.ml source/type.mli examples/xlurette/fault-tolerant-heater/degradable-sensors.luc examples/xlurette/fault-tolerant-heater/heater_control_env.luc examples/xlurette/fault-tolerant-heater/sensors.luc source/parser.mly doc/lurette-man/lurette-man.tex source/parse_sildex.ml test/time-asti.exp RELEASE-NOTES FAQ source/gnuplot-socket.ml source/luc4ocaml.ml source/luc4ocaml.mli source/Makefile.gnuplot-rif source/gnuplot-rif.ml source/luckyDraw.mli source/luckyDraw.ml source/luc4ocaml_nolbl.mli source/luc4ocaml_nolbl.ml source/lucky2lus.ml source/Makefile.luc4ocaml source/Makefile.lurette_ocaml_lib source/Makefile.lurette_debug source/Makefile.luckyDraw source/Makefile.lucky2lus xlurette/Scade/GenMake_l4sim.tcl examples/lucky/external_code/call_external_c_code.luc examples/lucky/external_code/Makefile VERSION install/configure install/set_env_var.bat.in Quite a lot of changes this time... far too much... Fix a at least 5 bugs, and re-organize directories, in particular the test dir. too much to say... * pre pre x was always equal to pre x (bugs introduced in 1.39 or something I think...). * ... One big improvment is that I have completely changed the way runtime automaton are handled, using continuations instead of maitaining an explicit data-structure. This let me reduce the run_aut module by 75 percent, resulting in much clearer code, and less buggy, and more efficient. ouaw! thanks to that, I support DAG now (was rejected before). The executable that do not need env var are no more called via a script that call set_env_var, so that they are fully stand-alone: show_luc, lucky, gen_fake_lucky. This is why util was splitted (util+util2) source/var.ml source/lucaml.ml -> luc4ocaml.ml source/lucaml.mli -> luc4ocaml.mli source/run_aut.ml: Fix a bug during the backtraking in the dynamic tree. source/env_state.ml source/formula_to_bdd.ml sort the list of free index, because the first order of variable is generally better. source/bddd.ml source/bddd.mli source/solver.mli source/solver.ml source/polyhedron.ml source/polyhedron.mli source/store.mli Add the verbosity level in a few functions. source/store.ml FIX A BUG in the bdd traversal. Some branches were never visited because I was raising a No_numeric_solution exception instead od returning an empty store when adding a constraint... This embarassing bug is there from the begining... Ouille! Also, when a valid integer cannot be found, return a wrong one, which is a bug really. But is it better than the current state were raising the no_num expt would cut some branches in the bdd. I will fix that problem later. source/parse_luc.ml source/lustreExp.ml source/lustreExp.mli The list of pre vars was computed with a ref, which is bad. Moreover, the same pre var was created with different indexes, which did not lead to incorrect behavior, but still... source/exp.ml test/bj.luc examples/lucky/external_code/call_external_c_code.luc examples/lucky/external_code/Makefile Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 1.40 Version-Log: source/luc_exe.ml source/lurette.ml source/util.ml source/formula_to_bdd.ml source/bddd.ml source/solver.ml source/store.ml source/parse_luc.mli source/parse_luc.ml source/env_state.mli source/env_state.ml source/run_aut.ml source/gne.mli source/gne.ml source/lurettetop.ml source/gen_stubs_poc.ml source/ne.ml source/ne.mli share/lucky.el share/configure.in Makefile.common.source OcamlMakefile user-rules source/Makefile.show_luc source/Makefile.lucky source/Makefile.gen_stubs source/Makefile.lurette_lib source/Makefile test/time-joly.res test/temp_int.luc ihm/xlurette/xlurette.glade ihm/xlurette/makefile source/Makefile.gen_fake_lucky source/lustreExp.ml source/lustreExp.mli source/exp.ml source/exp.mli source/parser.mly doc/lucky-man/lucky-man.tex source/gnuplot-socket.ml source/gnuplot-rif.ml source/luckyDraw.mli source/luckyDraw.ml source/essai-maitre.ml source/essai-esclave.ml source/Makefile.ocaml source/Makefile.luckyDraw Add the possibility to call external code via dyn lib. The generation of default lucky files from Lurette was broken. Fix warning generated by gcc4. Fix a bug where variables with default values were generated twice (bug only visible in assert mode ; in the other mode, one of the value was taken, but I am not sure which one...) Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 1.27 Version-Log: Add #locs pragmas so that sim2chro is able to print local var in green. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 1.26 Version-Log: Add support for a stdin/stdout pipe based mode in lurette. Also make sure that the variable order is the same as in the source .luc file. source/rif.mli: source/rif.ml: New files: move from luc_exe.ml all the stuff that is related to rif input and output. source/sut.mli: source/sut.ml: source/oracle.mli: source/oracle.ml: New files -- code moved from lurette.ml + stuff for handling the pipe mode. source/luc_exe.ml: Add the possibility to launch an oracle from lucky using pipes. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 1.25 Version-Log: source/parse_luc.ml: Check that 2 vars are not defined twice. source/parse_luc.ml: source/lustreExp.ml: source/var.ml: Rename local vars to avoid clashed if 2 automata uses common local var names. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 1.23 Version-Log: source/lustreExp.ml: use a map indexed by the var name instead of a list of variables as the search in such a list is done very often during the type checking. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 1.22 Version-Log: source/*.ml*: perform a sed 's/[ ]*$//' on all files to remove trailing space. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 1.21 Version-Log: Add a couple of scade files in the distrib so that it is easier to test scade programs under linux using the generated c files. source/value.ml use T and F instead of t and f for booleans (more visible under xlurette). share/Makefile.lurette.in: Reorganize (clean-up) the file xlurette/xlurette_glade_main.ml: share/plot: Fix the gnuplot problems (+ <<set mouse>> in share/plot). source/util.ml: source/lurettetop.ml: Move the gnuplot stuff into lurettetop. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 1.18 Version-Log: Add support for structured types in lurette. source/type.ml/.mli: New file containing lucky var type definition (moved from var.ml). source/gen_stubs_*.ml: source/parse_c*.ml: Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 1.16 Version-Log: source/env_state.ml Fix several bugs in the way automata run in parallel were handled. (actually, i knew that this feature was broken). Also add support to handle cases where the same variable has several min (take the max), max (take the min), alias, default, init (abort) option values. I am not sure if i should authorize that for min and max though. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 1.13 Version-Log: gen_stubs_scade.ml: fix a bug which was causing a bus error: to fix it, i simply delete a couple a extras &... Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 1.12 Version-Log: aesthetic changes in mli files so that the automatically generated doc looks ok. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 1.10 Version-Log: No more side effects are done via the Env_state module. Project-Description: Lurette
-
Erwan Jahier authored
Parent-Version: 1.8 Version-Log: A lot (too much...) of changes, mainly renaming files, and types, and functions, change the interface, move from one module to another, etc. Bref, a lot of cleanning. Project-Description: Lurette
-