Commit 36ab3ebb authored by Erwan Jahier's avatar Erwan Jahier
Browse files

lurette 1.2 Wed, 17 Sep 2003 10:09:24 +0200 by jahier

Parent-Version:      1.1
Version-Log:

share/
   Do not use the lucky_init.sh to set up env var anymore but wrap executables
   by scripts that set them.

test/
   Add more test cases.

source/lurettetop.ml:
   lauch gnuplot via an xterm to turn around a buggy behavior of gnuplot
   (this fix is far from ideal however, because the xterm window have to
   be killed manually, which is boring).

Project-Description: Lurette
parent 4aed6dc3
;; This file is automatically generated, editing may cause PRCS to do
;; REALLY bad things.
(Created-By-Prcs-Version 1 3 3)
(source/show_env.mli 1150 1056619073 42_show_env.m 1.10)
(source/util.ml 25589 1063029729 35_util.ml 1.52)
(cuddaux/cuddauxGenCof.c 12011 1034006019 c/29_cuddauxGen 1.1)
(source/show_env.mli 1150 1056619073 42_show_env.m 1.10)
(source/util.ml 25305 1063786164 35_util.ml 1.53)
(test/cygwin-scade/lib_pilot.vsp 1433 1055926783 f/47_lib_pilot. 1.1)
(source/constraint.mli 1606 1063029729 c/18_constraint 1.6)
(test/ControleurPorte.lus 3219 1032940601 c/17_Controleur 1.1)
(mlcuddidl/Changes 64 1034006019 d/10_Changes 1.1)
(TODO 5772 1063029729 d/22_TODO 1.22)
(TODO 5935 1063786164 d/22_TODO 1.23)
(share/gen_fake_lutin.sh.in 115 1063786164 g/30_gen_fake_l 1.1)
(mlcuddidl/rdd.mli 7174 1034006019 c/40_rdd.mli 1.1)
(source/ne.mli 2220 1063029729 c/22_ne.mli 1.7)
(share/config.guess 39153 1055926783 f/25_config.gue 1.1)
......@@ -20,31 +21,35 @@
(share/pixmaps/open.xpm 782 1055926783 f/17_open.xpm 1.1)
(source/parse_luc.mli 2297 1063029729 40_parse_env. 1.16)
(polka/C/internal.c 699 1047029868 e/8_internal.c 1.1)
(source/solver.ml 34179 1063029729 39_solver.ml 1.50)
(ihm/xlurette/makefile 1825 1056374363 c/16_makefile 1.16)
(source/solver.ml 34506 1063786164 39_solver.ml 1.51)
(ihm/xlurette/makefile 1853 1063786164 c/16_makefile 1.17)
(share/gen_fake_lucky.sh.in 115 1063786164 g/31_gen_fake_l 1.1)
(polka/C/internal.h 958 1047029868 e/0_internal.h 1.1)
(source/command_line.ml 4768 1056616700 b/20_command_li 1.14)
(test/cudd_gc_problem.rif.exp 7882 1053337243 e/30_cudd_gc_pr 1.2)
(test/sparc-scade/libpwlinear.saofdm 1379 1055487917 e/43_libpwlinea 1.1)
(test/cygwin-scade/ConfAnnot.aty 13661 1055926783 g/4_ConfAnnot. 1.1)
(test/ControleurPorte.c 9407 1012914629 b/19_Controleur 1.1)
(share/lucky_init.sh.in 726 1063029729 e/24_lucky_init 1.10)
(share/lucky_init.sh.in 1061 1063786164 e/24_lucky_init 1.11)
(test/heater.lus 176 1063786164 g/33_heater.lus 1.1)
(test/ControleurPorte.h 2306 1012914629 b/18_Controleur 1.1)
(test/test10.rif.exp 3813 1063786164 g/16_test10.rif 1.1)
(test/test-scade-cygwin.res 0 1055926783 f/28_test-scade 1.1)
(source/gen_stubs_common.ml 6381 1055487917 e/39_gen_stubs_ 1.1)
(doc/synthese 2556 1007379917 b/2_synthese 1.1)
(test/cygwin-scade/Pilot_cst.saofd 788 1055926783 f/38_Pilot_cst. 1.1)
(test/cygwin-scade/lib_pilot.etp 1173 1055926783 f/48_lib_pilot. 1.1)
(source/command_line.mli 1503 1046074449 b/21_command_li 1.11)
(source/Makefile.lucky 2913 1063029729 b/41_Makefile.i 1.22)
(source/Makefile.lucky 2917 1063786164 b/41_Makefile.i 1.23)
(polka/README 1437 1047029868 e/19_README 1.1)
(polka/Makefile.depend 136 1047029868 d/30_Makefile.d 1.1)
(README 2803 1056374363 10_README 1.10)
(source/pnumsolver.ml 9273 1045489850 d/23_pnumsolver 1.2)
(source/gen_stubs_scade.ml 9106 1055926783 f/5_gen_stubs_ 1.1)
(source/polyhedron.ml 7793 1063029729 d/25_polyhedron 1.7)
(test/test9.rif.exp 2322 1063786164 g/17_test9.rif. 1.1)
(cuddaux/cuddauxMisc.c 13842 1034006019 c/27_cuddauxMis 1.1)
(source/Makefile.gen_fake_lucky 524 1063029729 g/9_Makefile.g 1.1)
(source/polyhedron.ml 7793 1063029729 d/25_polyhedron 1.7)
(source/Makefile.gen_fake_lucky 528 1063786164 g/9_Makefile.g 1.2)
(polka/C/poly.c 48492 1047029868 e/5_poly.c 1.1)
(source/luc_exe.mli 447 1033738731 b/31_ima_exe.ml 1.2)
(doc/ocamldoc.sty 1380 1008328137 b/12_ocamldoc.s 1.1)
......@@ -56,7 +61,7 @@
(share/pixmaps/chrono.xpm 703 1055926783 f/23_chrono.xpm 1.1)
(polka/caml/polka_caml.c 6499 1047029868 d/37_polka_caml 1.1)
(source/gen_stubs_poc.mli 636 1055926783 f/4_gen_stubs_ 1.1)
(test/losange-3d.luc 514 1063029729 d/28_losange-3d 1.3)
(test/losange-3d.luc 514 1063786164 d/28_losange-3d 1.4)
(test/time-moucherotte.res 4415 1063029729 e/38_time-mouch 1.6)
(polka/caml/poly.idl 8449 1047029868 d/33_poly.idl 1.1)
(polka/documentation/texinfo.tex 200195 1047029868 e/16_texinfo.te 1.1)
......@@ -71,46 +76,50 @@
(polka/Changes 1502 1047029868 e/22_Changes 1.1)
(source/env.mli 1900 1063029729 15_env.mli 1.18)
(test/sparc-scade/libdigital.saofdm 1256 1055487917 e/47_libdigital 1.1)
(test/temp_int.luc 515 1063029729 b/50_temp_int.e 1.6)
(test/temp_int.luc 517 1063786164 b/50_temp_int.e 1.7)
(source/automata.mli 3477 1063029729 b/46_automata.m 1.4)
(source/print.mli 1136 1045558187 46_print.mli 1.13)
(polka/caml/Makefile 6559 1047029868 d/45_Makefile 1.1)
(test/cygwin-scade/det_mvt_mode.saofd 4184 1055926783 f/51_det_mvt_mo 1.1)
(ihm/xlurette/xlurette_glade_main.ml 41412 1063029729 c/12_xlurette_g 1.25)
(ihm/xlurette/xlurette_glade_main.ml 44877 1063786164 c/12_xlurette_g 1.26)
(TAGS 9825 1007379917 21_TAGS 1.6)
(polka/C/main.tex 1961 1047029868 e/14_main.tex 1.1)
(ihm/xlurette/xlurette.glade 94695 1063786164 c/13_xlurette.g 1.20)
(test/cygwin-scade/det_mvt_mode_env.lut 333 1055926783 f/32_det_mvt_mo 1.1)
(ihm/xlurette/xlurette.glade 91888 1056639035 c/13_xlurette.g 1.19)
(test/cygwin-scade/MODULE.saofd 3026 1055926783 f/45_MODULE.sao 1.1)
(test/cygwin-scade/Command.saofd 4147 1055926783 g/6_Command.sa 1.1)
(test/cygwin-scade/lib_pilot.err 119 1055926783 f/49_lib_pilot. 1.1)
(test/losange.luc 410 1046768487 d/27_losange.lu 1.2)
(test/gyro.rif.exp 10953 1063029729 e/36_gyro.rif.e 1.3)
(test/time-ecrins.exp 8228 1063029729 d/21_time-ecrin 1.24)
(source/value.ml 2545 1063029729 c/23_value.ml 1.5)
(source/value.ml 2539 1063786164 c/23_value.ml 1.6)
(source/gne.ml 3467 1063029729 b/37_gne.ml 1.6)
(test/cygwin-scade/Pilot.vsp 2075 1055926783 f/40_Pilot.vsp 1.1)
(source/parse_c_scade.ml 5984 1055926783 e/41_parse_c_sc 1.2)
(share/lurettetop.sh.in 111 1063786164 g/25_lurettetop 1.1)
(source/formula.ml 10702 1063029729 45_formula.ml 1.31)
(test/cygwin-scade/position_validation.saofd 10188 1055926783 f/36_position_v 1.1)
(test/sparc-scade/exo1.saofdm 320 1055487917 e/50_exo1.saofd 1.1)
(share/pixmaps/plus.xpm 473 1055926783 f/15_plus.xpm 1.1)
(polka/C/Makefile 3528 1047029868 e/15_Makefile 1.1)
(source/Makefile.gen_fake_lutin 524 1055487917 d/17_Makefile.g 1.3)
(source/Makefile.gen_fake_lutin 528 1063786164 d/17_Makefile.g 1.4)
(Makefile.common.source 1826 1055926783 e/33_Makefile.c 1.5)
(test/giro/giro.luc 2755 1033738731 c/6_giro.ima 1.4)
(source/control.ml 4445 1036675177 c/4_control.ml 1.4)
(test/cygwin-scade/.lurette_rc~ 505 1055926783 f/30_.lurette_r 1.1)
(test/cygwin-scade/Pilot.vsw 431 1055926783 f/39_Pilot.vsw 1.1)
(share/pixmaps/open_plus.xpm 787 1055926783 f/16_open_plus. 1.1)
(source/env_state.ml 23123 1063029729 51_env_state. 1.46)
(share/xlurettetop.bat.in 613 1063786164 g/19_xluretteto 1.1)
(source/env_state.ml 23077 1063786164 51_env_state. 1.47)
(test/test8.rif.exp 341 1063786164 g/18_test8.rif. 1.1)
(polka/caml/matrix.idl 5301 1047029868 d/34_matrix.idl 1.1)
(cuddaux/cuddauxAddIte.c 12812 1034006019 c/32_cuddauxAdd 1.1)
(source/gen_stubs_scade.mli 641 1055926783 f/6_gen_stubs_ 1.1)
(share/pixmaps/clean-up.xpm 1565 1055926783 f/22_clean-up.x 1.1)
(source/Makefile.lurettetop 466 1063029729 d/14_Makefile.l 1.4)
(source/Makefile.lurettetop 470 1063786164 d/14_Makefile.l 1.5)
(test/cygwin-scade/Control.saofd 6690 1055926783 g/3_Control.sa 1.1)
(test/cygwin-scade/telemetry_validation.saofd 4738 1055926783 f/34_telemetry_ 1.1)
(share/lurettetop_sh.in 781 1063786164 g/24_lurettetop 1.1)
(mlcuddidl/manager.mli 7912 1034006019 c/46_manager.ml 1.1)
(share/pixmaps/run.xpm 369 1055926783 f/13_run.xpm 1.1)
(source/prevar.mli 1023 1063029729 d/19_prevar.mli 1.4)
......@@ -118,7 +127,7 @@
(source/call_lurette_main.c 322 1050421093 e/28_call_luret 1.1)
(polka/C/vector.c 13780 1047029868 e/3_vector.c 1.1)
(test/sparc-scade/Direction_D1.saofd 1335 1055487917 e/51_Direction_ 1.1)
(share/Makefile.test 2072 1056639035 c/25_user-rules 1.8)
(share/Makefile.test 2076 1063786164 c/25_user-rules 1.9)
(source/Makefile.lurette_lib 2620 1063029729 c/2_Makefile.l 1.21)
(polka/caml/polka_parser.mly 1729 1047029868 d/40_polka_pars 1.1)
(mlcuddidl/bdd.idl 18233 1034006019 d/7_bdd.idl 1.1)
......@@ -130,22 +139,24 @@
(polka/caml/vector.idl 8669 1047029868 d/35_vector.idl 1.1)
(mlcuddidl/README 1574 1034006019 d/8_README 1.1)
(source/sim2chro.mli 1545 1052229068 b/23_sim2chro.m 1.7)
(share/lucky_init.csh.in 769 1063029729 e/23_lucky_init 1.7)
(source/gen_fake_lucky.ml 4631 1063029729 g/8_gen_fake_l 1.1)
(share/lucky_init.csh.in 150 1063786164 e/23_lucky_init 1.8)
(source/gen_fake_lucky.ml 4631 1063786164 g/8_gen_fake_l 1.2)
(polka/C/vector.h 2103 1047029868 d/47_vector.h 1.1)
(ID_EN_VRAC 2184 1002196285 0_ID_EN_VRAC 1.1)
(share/pixmaps/stock_exec.xpm 3788 1055926783 f/10_stock_exec 1.1)
(share/gen_stubs.sh.in 110 1063786164 g/29_gen_stubs. 1.1)
(polka/C/satmat.c 6254 1047029868 e/4_satmat.c 1.1)
(mlcuddidl/manager.ml 8017 1034006019 c/47_manager.ml 1.1)
(share/plot 11395 1055926783 e/35_plot 1.3)
(share/plot 11394 1063786164 e/35_plot 1.4)
(share/pixmaps/save.xpm 867 1055926783 f/12_save.xpm 1.1)
(source/solver.mli 1216 1063029729 38_solver.mli 1.15)
(test/passerelle.luc 963 1063029729 b/17_passerelle 1.11)
(test/passerelle.luc 963 1063786164 b/17_passerelle 1.12)
(source/store.ml 34202 1063029729 b/27_rnumsolver 1.25)
(mlcuddidl/mtbdd.mli 4395 1034006019 c/43_mtbdd.mli 1.1)
(test/sparc-scade/exo1.vsp 2089 1055487917 e/49_exo1.vsp 1.1)
(polka/C/satmat.h 1254 1047029868 d/48_satmat.h 1.1)
(share/pixmaps/stop.xpm 6385 1055926783 f/8_stop.xpm 1.1)
(test/window.luc 4336 1063786164 g/15_window.luc 1.1)
(source/ne.ml 10307 1063029729 c/21_ne.ml 1.9)
(source/gen_stubs_poc.ml 8873 1055926783 f/3_gen_stubs_ 1.1)
(mlcuddidl/session.ml 603 1034006019 c/37_session.ml 1.1)
......@@ -153,7 +164,7 @@
(share/Makefile.lurette.in 4414 1063029729 b/38_Makefile.l 1.27)
(source/graph.mli 2382 1063029729 13_graph.mli 1.11)
(source/store.mli 3147 1063029729 b/26_rnumsolver 1.17)
(test/time-ossau.res 8232 1063029729 b/49_time.res 1.50)
(test/time-ossau.res 8240 1063786164 b/49_time.res 1.51)
(source/automata.ml 19565 1063029729 b/47_automata.m 1.11)
(test/sparc-scade/libmath.saofdm 1378 1055487917 e/45_libmath.sa 1.1)
(Makefile 68 1051024737 d/13_Makefile 1.4)
......@@ -169,30 +180,34 @@
(mlcuddidl/macros.m4 11290 1034006019 c/49_macros.m4 1.1)
(source/print.ml 5732 1063029729 47_print.ml 1.24)
(test/heater_int.rif.exp 822 1063029729 b/28_heater_int 1.14)
(test/sparc-scade/scade.rif.exp 1158 1055487917 f/0_scade.rif. 1.1)
(test/sparc-scade/scade.rif.exp 1163 1063786164 f/0_scade.rif. 1.2)
(source/parse_poc.ml 4417 1055926783 d/15_parse_poc. 1.4)
(test/cygwin-scade/det_center.saofd 4993 1055926783 g/0_det_center 1.1)
(share/pixmaps/stock_save.xpm 3420 1055926783 f/9_stock_save 1.1)
(polka/C/bit.h 1380 1047029868 e/2_bit.h 1.1)
(source/parse_c_scade.mli 656 1055487917 e/42_parse_c_sc 1.1)
(demo-xlurette/chaudiere/chaudiere.luc 676 1063029729 c/11_chaudiere. 1.6)
(demo-xlurette/chaudiere/chaudiere.luc 681 1063786164 c/11_chaudiere. 1.7)
(test/giro/allocator.lus 1087 1031732392 c/5_allocator. 1.1)
(cuddaux/README 1427 1034006019 c/34_README 1.1)
(mlcuddidl/bdd.ml 10889 1034006019 d/6_bdd.ml 1.1)
(source/lurettetop.ml 44866 1063029729 c/1_lurettetop 1.39)
(source/lurettetop.ml 44964 1063786164 c/1_lurettetop 1.40)
(source/constraint.ml 2784 1063029729 c/19_constraint 1.8)
(test/structured_type.luc 2224 1063786164 g/32_structured 1.1)
(test/cygwin-scade/counter.saofd 587 1055926783 g/2_counter.sa 1.1)
(test/test7.rif.exp 269 1063786164 g/12_test7.rif. 1.1)
(polka/caml/Makefile.depend 744 1063029729 d/32_Makefile.d 1.3)
(doc/archi.fig 3693 1003928781 20_archi.fig 1.1)
(ihm/xlurette/xlurette_glade_interface.ml 65008 1063029729 c/15_xlurette_g 1.18)
(ihm/xlurette/xlurette_glade_interface.ml 68747 1063786164 c/15_xlurette_g 1.19)
(INSTALL 101 1056616700 f/26_INSTALL 1.2)
(test/cygwin-scade/MyConsts.saofd 153 1055926783 f/44_MyConsts.s 1.1)
(test/losange-3d2.luc 361 1063029729 e/32_losange-3d 1.2)
(test/losange-3d2.luc 361 1063786164 e/32_losange-3d 1.3)
(test/Makefile 26 1051024737 c/0_Makefile 1.12)
(user-rules 25071 1063029729 c/14_myrules 1.41)
(user-rules 26632 1063786164 c/14_myrules 1.42)
(test/infinite_weight.luc 889 1063786164 g/13_infinite_w 1.1)
(mlcuddidl/cudd_caml.c 22890 1034006019 d/3_cudd_caml. 1.1)
(polka/C/config.h 77 1047029868 e/13_config.h 1.1)
(test/usager.luc 453 1063029729 b/14_usager.env 1.12)
(test/usager.luc 454 1063786164 b/14_usager.env 1.13)
(share/xlurette.bat.in 670 1063786164 g/22_xlurette.b 1.1)
(mlcuddidl/manager.idl 11024 1034006019 c/48_manager.id 1.1)
(mlcuddidl/cudd_caml.h 1210 1034006019 d/2_cudd_caml. 1.1)
(source/show_env.ml 3473 1063029729 43_show_env.m 1.19)
......@@ -203,27 +218,30 @@
(test/cygwin-scade/det_mvt_mode_env.luc 283 1063029729 f/31_det_mvt_mo 1.2)
(doc/Interface_draft 5232 1003928781 19_Interface_ 1.1)
(polka/sedscript 261 1047029868 d/31_sedscript 1.1)
(source/parse_luc.ml 37005 1063029729 41_parse_env. 1.47)
(source/parse_luc.ml 37486 1063786164 41_parse_env. 1.48)
(OcamlMakefile 21310 1055487917 17_OcamlMakef 1.51)
(polka/caml/polka.ml 5485 1047029868 d/39_polka.ml 1.1)
(source/lurette.mli 456 1049961831 11_lurette.ml 1.13)
(share/pixmaps/halt.xpm 511 1055926783 f/18_halt.xpm 1.1)
(share/xlurette_sh.in 779 1063786164 g/20_xlurette_s 1.1)
(polka/C/matrix.c 19090 1047029868 e/7_matrix.c 1.1)
(mlcuddidl/rdd.ml 8746 1034006019 c/41_rdd.ml 1.1)
(share/configure.in 7580 1063029729 d/11_configure. 1.12)
(test/tram.luc 1324 1063029729 b/15_tram.env 1.11)
(share/configure.in 8499 1063786164 d/11_configure. 1.13)
(test/tram.luc 1325 1063786164 b/15_tram.env 1.12)
(share/Makefile.common.in 189 1052229068 d/12_Makefile.c 1.5)
(demo-xlurette/chaudiere/buggy_chaudiere_ctrl.lus 219 1031732392 c/10_buggy_chau 1.1)
(polka/C/matrix.h 3461 1047029868 d/51_matrix.h 1.1)
(cuddaux/cuddaux.h 2381 1034006019 c/33_cuddaux.h 1.1)
(share/lurettetop.bat.in 672 1063786164 g/26_lurettetop 1.1)
(source/pnumsolver.mli 2322 1045489850 d/24_pnumsolver 1.2)
(share/lucky.el 1934 1063029729 f/7_lucky.el 1.4)
(share/lucky.el 1934 1063786164 f/7_lucky.el 1.5)
(mlcuddidl/sedscript 203 1034006019 c/38_sedscript 1.1)
(test/cygwin-scade/.lurette_rc 551 1063029729 f/29_.lurette_r 1.2)
(source/env_state.mli 6353 1063029729 50_env_state. 1.32)
(test/ControleurPorte.rif.exp 4688 1063029729 b/29_Controleur 1.17)
(source/show_luc.ml 4271 1063029729 e/25_show_luc.m 1.6)
(share/pixmaps/quit.xpm 494 1055926783 f/14_quit.xpm 1.1)
(share/xlurette.sh.in 110 1063786164 g/21_xlurette.s 1.1)
(polka/caml/polka_lexer.mli 200 1047029868 d/41_polka_lexe 1.1)
(polka/caml/polka.mli 716 1047029868 d/38_polka.mli 1.1)
(doc/automata_format 0 1007379917 b/3_automata_f 1.1)
......@@ -234,8 +252,8 @@
(test/cygwin-scade/det_mvt_mode_cstext.c 703 1055926783 f/33_det_mvt_mo 1.1)
(test/cygwin-scade/pilot.saofdm 394 1055926783 f/41_pilot.saof 1.1)
(source/parse_poc.mli 1188 1055487917 d/29_parse_poc. 1.2)
(source/Makefile.gen_stubs 737 1055487917 b/42_Makefile.g 1.7)
(test/temp_float.luc 680 1063029729 b/51_temp_float 1.9)
(source/Makefile.gen_stubs 741 1063786164 b/42_Makefile.g 1.8)
(test/temp_float.luc 680 1063786164 b/51_temp_float 1.10)
(polka/C/polka.c 4969 1047029868 e/6_polka.c 1.1)
(source/polyhedron.mli 970 1063029729 d/26_polyhedron 1.2)
(test/test_losange.lus 88 1055926783 f/27_test_losan 1.1)
......@@ -245,40 +263,44 @@
(share/pixmaps/ediff-quit.xpm 494 1055926783 f/20_ediff-quit 1.1)
(test/cygwin-scade/Pilot.saofd 3645 1055926783 f/42_Pilot.saof 1.1)
(test/time-moucherotte.exp 4415 1063029729 e/37_time-mouch 1.6)
(source/command_line_luc_exe.ml 3431 1056616700 b/33_command_li 1.16)
(source/command_line_luc_exe.ml 3436 1063786164 b/33_command_li 1.17)
(source/lurette_exe.c 220 1050421093 e/27_lurette_ex 1.2)
(source/env.ml 8051 1063029729 16_env.ml 1.31)
(share/pixmaps/close.xpm 803 1055926783 f/21_close.xpm 1.1)
(test/time-CHAILLOL.res 8235 1063029729 g/11_time-CHAIL 1.1)
(test/time-ecrins.res 8228 1063029729 d/20_time-ecrin 1.24)
(source/value.mli 1131 1063029729 c/24_value.mli 1.3)
(test/time-ecrins.res 8233 1063786164 d/20_time-ecrin 1.25)
(source/value.mli 1159 1063786164 c/24_value.mli 1.4)
(polka/Makefile.config 1683 1053337243 e/20_Makefile.c 1.5)
(test/vrai_tram.lus 564 1027066799 b/6_vrai_tram. 1.2)
(source/Makefile 8734 1063029729 c/20_Makefile 1.22)
(source/Makefile 9290 1063786164 c/20_Makefile 1.23)
(source/graph.ml 3504 1063029729 14_graph.ml 1.9)
(test/cudd_gc_problem.luc 208372 1063029729 e/29_cudd_gc_pr 1.2)
(test/time-CHAILLOL.exp 8235 1063029729 g/10_time-CHAIL 1.1)
(demo-xlurette/chaudiere/chaudiere_ctrl.lus 177 1031732392 c/9_chaudiere_ 1.1)
(demo-xlurette/chaudiere/chaudiere_ctrl.lus 178 1063786164 c/9_chaudiere_ 1.2)
(test/losange-3d.rif.exp 2686 1063029729 e/31_losange-3d 1.3)
(polka/documentation/Makefile 476 1047029868 e/18_Makefile 1.1)
(source/sim2chro.ml 3167 1063029729 b/24_sim2chro.m 1.19)
(source/sim2chro.ml 3260 1063786164 b/24_sim2chro.m 1.20)
(cuddaux/cuddauxTDGenCof.c 15712 1034006019 c/26_cuddauxTDG 1.1)
(source/luc_exe.ml 13809 1063029729 b/32_ima_exe.ml 1.34)
(source/gne.mli 1853 1063029729 b/36_gne.mli 1.6)
(test/cygwin-scade/Direction_D1.saofd 1298 1055926783 f/50_Direction_ 1.1)
(source/lurette.ml 17349 1063029729 12_lurette.ml 1.72)
(source/lurette.ml 17353 1063786164 12_lurette.ml 1.73)
(polka/C/Makefile.depend 1081 1047029868 d/46_Makefile.d 1.1)
(share/lucky.bat.in 584 1063786164 g/28_lucky.bat. 1.1)
(share/lucky.sh.in 106 1063786164 g/27_lucky.sh.i 1.1)
(test/sparc-scade/liblinear.saofdm 1301 1055487917 e/46_liblinear. 1.1)
(share/pixmaps/step.xpm 864 1055926783 f/11_step.xpm 1.1)
(cuddaux/cuddauxCompose.c 13638 1034006019 c/30_cuddauxCom 1.1)
(doc/ocamldoc.hva 313 1008328137 b/13_ocamldoc.h 1.1)
(source/gen_fake_lutin.ml 4709 1055487917 d/16_gen_fake_l 1.5)
(test/heater_float.lus 177 1034351455 b/44_heater_flo 1.2)
(share/set_env_var.in 949 1063786164 g/23_set_env_va 1.1)
(polka/Makefile 1636 1047029868 e/21_Makefile 1.1)
(test/porte.luc 1014 1063029729 b/16_porte.env 1.11)
(test/dynamic_weight.luc 563 1063786164 g/14_dynamic_we 1.1)
(test/porte.luc 1014 1063786164 b/16_porte.env 1.12)
(source/gen_stubs_common.mli 1772 1055487917 e/40_gen_stubs_ 1.1)
(test/cygwin-scade/scade.rif.exp 1380 1063029729 g/7_scade.rif. 1.2)
(share/gnuplot-rif 1138 1063029729 e/34_gnuplot-ri 1.3)
(share/gnuplot-rif 1188 1063786164 e/34_gnuplot-ri 1.4)
(test/cygwin-scade/Pilot_type.saofd 962 1055926783 f/37_Pilot_type 1.1)
(mlcuddidl/Makefile 7387 1053337243 d/9_Makefile 1.7)
(source/eval.mli 1265 1050421093 48_eval.mli 1.11)
......
......@@ -29,23 +29,49 @@
en d'autre termes, je fais la vérif de satisfiabilité des intervalles
lors du calcul du nombre de solutions, et pas lors du tirage dans le bdd.
* compilé en mode "assert", lurette se fait tuer par un signal 11
au bout d'une dizaine de pas...
* install: gnuplot-rif n'est pas dans le path
****** Documentation
*********** A faire maintenant
* documenter les options ~default, ~alias, etc.
* renommer les scripts et les executables comme suit:
* Signaler les approximations faites (en dimension > 1)
- volumes des polyhedres pas calculés (=> pb d'equité)
- pour le choix des entiers, on travaille dans les reels,
puis on tronque (truncate) => l'entier tiré n'est alors parfois
meme pas solution des contraintes !!!
xlurette -> xlurette_exe
xlurette.sh -> xlurette
* dire dans la doc que on ne peut avoir qu'au plus une transition sortante
avec un poids infini (ca n'a pas un sens bien clair et on peut toujours
faire autrement). Dire aussi que 2 transitions ne peuvent a la fois avoir
meme origine et arrivée.
et ainsi de suite ...
(2) Faire une doc utilisateur pour lurette (moins urgent depuis qu'il y
a lurettetop et xlurette...)
* rajouter un jeu de test testant les types structures ainsi que la
nouvelle syntaxe (gestions des poids dynamique, etc.)
*********** A faire
* Integrer la possibilité d'utiliser des types structurés avec lurette et scade
* supprimer l'epaisseur au niveau des transitions (?) et rajouter une
au niveau des numérique
La notion d'epaisseur est mal branlée, surtout en presence de var
numériques. Il faudrait un 3eme parametre qui dit le nombre
de tirage que l'on fait dans chaque polyedres.
-> remplacer l'epaisseur de formules par un taux de couverture
* mettre les fichiers de test dans un repertoire exemple et faire des liens symbo
* autoriser plusieurs automates dans le meme fichier
* il faudrait au moins pouvoir avoir des pre sur des var de types structurés
* Faire un lustre2lucky comme TP avec Yussef
* Faire l'elimination des DAGS, ie,
......@@ -54,18 +80,6 @@
* faire un passage sur map vs rev_map
* documenter les options ~default, ~alias, etc.
* Signaler les approximations faites (en dimension > 1)
- volumes des polyhedres pas calculés (=> pb d'equité)
- pour le choix des entiers, on travaille dans les reels,
puis on tronque (truncate) => l'entier tiré n'est alors parfois
meme pas solution des contraintes !!!
* dire dans la doc que on ne peut avoir qu'au plus une transition sortante
avec un poids infini (ca n'a pas un sens bien clair et on peut toujours
faire autrement). Dire aussi que 2 transitions ne peuvent a la fois avoir
meme origine et arrivée.
* ajouter les options --product-mode {multiply | arbiter}
......@@ -74,21 +88,16 @@
* env_state devrait etre un objet ...
(1) Portage Reluc
* compiler sim2chrogtk sous cygwin
* Chercher a detecter des egalites lors de l'ajout d'une inegalité.
pour les contraintes de dimension > 1 (cf code commenté dans store.ml)
(2) Faire une doc utilisateur pour lurette (moins urgent depuis qu'il y
a lurettetop et xlurette...)
* La notion d'epaisseur est mal branlée, surtout en presence de var
numériques. Il faudrait un 3eme parametre qui dit le nombre
de tirage que l'on fait dans chaque polyedres.
-> remplacer l'epaisseur de formules par un taux de couverture
* Utiliser l'ordre des parametres plutot que leur noms
Quoique, quand on fait le produit de plusieurs automates,
......@@ -101,15 +110,9 @@
Regarder pourquoi et dire à Bertrand
* Faire un gestionnaire de sessions comme le propose Pascal
* Si jamais on a à faire a des polyedres trop gros, on pourrait
peut-etre chercher a remettre en cause les choix qui ont été faits
lors des egalités (ie, le choix de la variable à substituer). Ce calcul
coute peut-etre un peu cher (car, comment faire autrement qu'essayer
toutes les possibilités), mais au moins, ca donnerait une solution
dans des cas ou les polyedres peteraient...
* zipper et dezipper les .rif a la vollée (cf zlib et camlzip)
......@@ -129,8 +132,6 @@
* autoconf :
-> tester si gtk est la
* Chercher a detecter des egalites lors de l'ajout d'une inegalité.
(cf code commenté dans store.ml)
* xlurette :
- bouton sim2chro ; mettre les locales en vert -> pragma dans sim2chro !!
......@@ -139,6 +140,13 @@
* Trouver un controlleur non buggé pour pouvoir mettre un oracle
qui n'arrete pas le processus...
* Si jamais on a à faire a des polyedres trop gros, on pourrait
peut-etre chercher a remettre en cause les choix qui ont été faits
lors des egalités (ie, le choix de la variable à substituer). Ce calcul
coute peut-etre un peu cher (car, comment faire autrement qu'essayer
toutes les possibilités), mais au moins, ca donnerait une solution
dans des cas ou les polyedres peteraient...
*********** Cosmétisme
......
......@@ -6,12 +6,12 @@ inputs {
: bool
}
outputs {
U:real ~min 1. ~max 60
U:real ~min 1.0 ~max 60.0
}
locals {
Dudt %scr:15,2,16,2% %foo:bar%
: float ~min -100. ~max 100.
: float ~min -100.0 ~max 100.0
}
......
node chaudiere_ctrl(U:real) returns (Heat_on:bool);
let
Heat_on = true ->
Heat_on = false ->
if U < 16.
then true
else if U > 19.
......
......@@ -17,7 +17,7 @@ THREAD=
xlurette: dummy
xlurette_exe: dummy
mlglade xlurette.glade
mv xlurette_glade_interface.ml xlurette_glade_interface.ml0
cat xlurette_glade_interface.ml0 \
......@@ -28,7 +28,7 @@ xlurette: dummy
ocamlc -c -i -I +lablgtk -labels -c xlurette_glade_callbacks.ml
ocamlc -c -pp "camlp4o" -I +lablgtk $(THREAD) -c xlurette_glade_main.ml
ocamlc $(THREAD) \
-I +lablgtk -I +str -o xlurette$(EXE) str.cma unix.cma lablgtk.cma gtkInit.cmo \
-I +lablgtk -I +str -o xlurette_exe$(EXE) str.cma unix.cma lablgtk.cma gtkInit.cmo \
xlurette_glade_callbacks.cmo xlurette_glade_interface.cmo xlurette_glade_main.cmo
opt: dummy
......@@ -41,7 +41,7 @@ opt: dummy
ocamlopt.opt -verbose -c -I +lablgtk -labels -c xlurette_glade_interface.ml
ocamlopt.opt -verbose -c -I +lablgtk -labels -c xlurette_glade_callbacks.ml
ocamlopt.opt -verbose -c -pp "camlp4o" -I +lablgtk $(THREAD) -c xlurette_glade_main.ml
ocamlopt.opt -verbose -I +lablgtk -I +str -labels -o xlurette$(EXE) str.cmxa unix.cmxa lablgtk.cmxa gtkInit.cmx \
ocamlopt.opt -verbose -I +lablgtk -I +str -labels -o xlurette_exe$(EXE) str.cmxa unix.cmxa lablgtk.cmxa gtkInit.cmx \
xlurette_glade_callbacks.cmx xlurette_glade_interface.cmx xlurette_glade_main.cmx
......@@ -52,13 +52,13 @@ all: opt cp
cp:
ifeq ($(HOST_TYPE),cygwin)
cp xlurette.exe $(BIN_INSTALL_DIR)
cp xlurette_exe.exe $(BIN_INSTALL_DIR)
else
cp xlurette $(BIN_INSTALL_DIR)
cp xlurette_exe $(BIN_INSTALL_DIR)
endif
clean:
rm -f *.cm* *.o a.out xlurette$(EXE) xlurette.opt$(EXE)
rm -f *.cm* *.o a.out xlurette_exe$(EXE) xlurette_exe.opt$(EXE)
dummy:
......
......@@ -18,7 +18,7 @@
<border_width>2</border_width>
<title>Xlurette</title>
<type>GTK_WINDOW_TOPLEVEL</type>
<position>GTK_WIN_POS_NONE</position>
<position>GTK_WIN_POS_CENTER</position>
<modal>False</modal>
<allow_shrink>True</allow_shrink>
<allow_grow>True</allow_grow>
......@@ -631,6 +631,11 @@ scade
<width>75</width>
<tooltip>Show the automata view (lucky) of the SUT environment</tooltip>
<can_focus>True</can_focus>
<accelerator>
<modifiers>0</modifiers>
<key>GDK_s</key>
<signal>clicked</signal>
</accelerator>
<signal>
<name>clicked</name>
<handler>show_env_button_clicked</handler>
......@@ -827,7 +832,10 @@ scade
<has_default>True</has_default>
<can_focus>True</can_focus>
<editable>True</editable>
<text></text>
<text>
</text>
</widget>
</widget>
......@@ -843,6 +851,24 @@ scade
<xpad>0</xpad>
<ypad>0</ypad>
</widget>
<widget>
<class>GtkDrawingArea</class>
<name>drawingarea1</name>
</widget>
<widget>
<class>GtkLabel</class>
<child_name>Notebook:tab</child_name>
<name>label36</name>
<label>label36</label>
<justify>GTK_JUSTIFY_CENTER</justify>
<wrap>False</wrap>
<xalign>0.5</xalign>
<yalign>0.5</yalign>
<xpad>0</xpad>
<ypad>0</ypad>
</widget>
</widget>
</widget>
......@@ -882,7 +908,12 @@ scade
<child_name>Toolbar:button</child_name>
<name>button17</name>
<border_width>4</border_width>
<tooltip>Start the testing process</tooltip>
<tooltip>Start the testing process (r)</tooltip>
<accelerator>
<modifiers>0</modifiers>
<key>GDK_r</key>
<signal>clicked</signal>
</accelerator>
<signal>
<name>clicked</name>
<handler>run_lurette</handler>
......@@ -897,7 +928,12 @@ scade
<child_name>Toolbar:button</child_name>
<name>button18</name>
<border_width>4</border_width>
<tooltip>Display (.rif) data with sim2chro</tooltip>
<tooltip>Display (.rif) data with sim2chro (p)</tooltip>
<accelerator>
<modifiers>0</modifiers>
<key>GDK_p</key>
<signal>clicked</signal>
</accelerator>
<signal>
<name>clicked</name>
<handler>call_sim2chro_clicked</handler>
......@@ -912,7 +948,12 @@ scade
<child_name>Toolbar:button</child_name>
<name>gnuplot_rif_button</name>
<border_width>4</border_width>
<tooltip>Display (.rif) data with gnuplot (3.7 or higher)</tooltip>
<tooltip>Display (.rif) data with gnuplot 3.7 or higher (g)</tooltip>
<accelerator>
<modifiers>0</modifiers>
<key>GDK_g</key>
<signal>clicked</signal>
</accelerator>
<signal>
<name>clicked</name>
<handler>gnuplot_rif</handler>
......@@ -942,7 +983,7 @@ scade
<child_name>Toolbar:button</child_name>
<name>clean_up_button</name>
<border_width>4</border_width>
<tooltip>Clean-up intermediary files (to try when xlurette seems to be broken)</tooltip>
<tooltip>Clean-up intermediary files (can sometimes be useful when the compilation fails)</tooltip>
<signal>
<name>clicked</name>
<handler>on_clean_up_button_clicked</handler>
......@@ -958,7 +999,12 @@ scade
<name>quit_button</name>
<border_width>4</border_width>
<height>38</height>
<tooltip>Quit xlurette</tooltip>
<tooltip>Quit xlurette (q)</tooltip>
<accelerator>
<modifiers>0</modifiers>
<key>GDK_q</key>
<signal>clicked</signal>
</accelerator>
<signal>
<name>clicked</name>
<handler>on_quit_xlurette_button_clicked</handler>
......@@ -1350,9 +1396,10 @@ scade
<widget>
<class>GtkLabel</class>
<name>label16</name>
<width>210</width>
<label>Seed </label>
<justify>GTK_JUSTIFY_CENTER</justify>
<wrap>False</wrap>
<justify>GTK_JUSTIFY_RIGHT</justify>
<wrap>True</wrap>
<xalign>0.5</xalign>
<yalign>0.5</yalign>
<xpad>0</xpad>
......@@ -1360,7 +1407,7 @@ scade
<child>
<padding>0</padding>
<expand>F