Commit 557de1e9 authored by Erwan Jahier's avatar Erwan Jahier
Browse files

lurette 0.132 Tue, 15 Apr 2003 17:38:13 +0200 by jahier

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
parent c6d9a1c3
......@@ -2,14 +2,14 @@
;; REALLY bad things.
(Created-By-Prcs-Version 1 3 3)
(source/show_env.mli 1091 1033738731 42_show_env.m 1.8)
(source/util.ml 19893 1049961831 35_util.ml 1.43)
(source/util.ml 18917 1050421093 35_util.ml 1.44)
(cuddaux/cuddauxGenCof.c 12011 1034006019 c/29_cuddauxGen 1.1)
(source/constraint.mli 1601 1045489850 c/18_constraint 1.5)
(test/ControleurPorte.lus 3219 1032940601 c/17_Controleur 1.1)
(mlcuddidl/Changes 64 1034006019 d/10_Changes 1.1)
(TODO 6085 1049961831 d/22_TODO 1.10)
(TODO 5743 1050421093 d/22_TODO 1.11)
(mlcuddidl/rdd.mli 7174 1034006019 c/40_rdd.mli 1.1)
(source/ne.mli 2116 1045834161 c/22_ne.mli 1.5)
(source/ne.mli 2138 1050421093 c/22_ne.mli 1.6)
(polka/documentation/polka.texi 109061 1047029868 e/17_polka.texi 1.1)
(source/ocaml2c.idl 1480 1049961831 e/26_ocaml2c.id 1.1)
(demo/chaudiere/chaudiere_oracle.lus 107 1031732392 c/8_chaudiere_ 1.1)
......@@ -17,10 +17,11 @@
(mlcuddidl/idd.idl 10595 1034006019 d/1_idd.idl 1.1)
(polka/C/internal.c 699 1047029868 e/8_internal.c 1.1)
(mlcuddidl/bdd_caml.c 57199 1034006019 d/4_bdd_caml.c 1.1)
(source/solver.ml 31517 1049961831 39_solver.ml 1.46)
(ihm/xlurette/makefile 1611 1047029868 c/16_makefile 1.8)
(source/solver.ml 31036 1050421093 39_solver.ml 1.47)
(ihm/xlurette/makefile 1589 1050421093 c/16_makefile 1.9)
(polka/C/internal.h 958 1047029868 e/0_internal.h 1.1)
(source/command_line.ml 5083 1046074449 b/20_command_li 1.12)
(test/cudd_gc_problem.rif.exp 7881 1050421093 e/30_cudd_gc_pr 1.1)
(configure.in 2457 1049961831 d/11_configure. 1.3)
(demo/chaudiere/buggy_chaudiere_ctrl.lus 219 1031732392 c/10_buggy_chau 1.1)
(test/ControleurPorte.c 9407 1012914629 b/19_Controleur 1.1)
......@@ -29,9 +30,9 @@
(test/ControleurPorte.h 2306 1012914629 b/18_Controleur 1.1)
(doc/synthese 2556 1007379917 b/2_synthese 1.1)
(source/command_line.mli 1503 1046074449 b/21_command_li 1.11)
(source/Makefile.lucky 2647 1049961831 b/41_Makefile.i 1.16)
(polka/Makefile.depend 136 1047029868 d/30_Makefile.d 1.1)
(source/Makefile.lucky 2599 1050421093 b/41_Makefile.i 1.17)
(polka/README 1437 1047029868 e/19_README 1.1)
(polka/Makefile.depend 136 1047029868 d/30_Makefile.d 1.1)
(README 1887 1049961831 10_README 1.7)
(source/pnumsolver.ml 9273 1045489850 d/23_pnumsolver 1.2)
(source/polyhedron.ml 7661 1049961831 d/25_polyhedron 1.5)
......@@ -41,7 +42,7 @@
(doc/ocamldoc.sty 1380 1008328137 b/12_ocamldoc.s 1.1)
(polka/C/cherni.c 28811 1047029868 e/9_cherni.c 1.1)
(test/test_gen_stubs.h 1818 1020068208 b/45_test_gen_s 1.1)
(source/command_line_luc_exe.mli 1130 1046682069 b/34_command_li 1.9)
(source/command_line_luc_exe.mli 1187 1050421093 b/34_command_li 1.10)
(polka/C/poly.h 4314 1047029868 d/49_poly.h 1.1)
(source/formula.mli 2862 1046682069 44_formula.ml 1.22)
(polka/C/cherni.h 2217 1047029868 e/1_cherni.h 1.1)
......@@ -51,11 +52,11 @@
(polka/documentation/texinfo.tex 200195 1047029868 e/16_texinfo.te 1.1)
(polka/caml/polka_caml.h 1922 1047029868 d/36_polka_caml 1.1)
(mlcuddidl/mtbdd.ml 10185 1034006019 c/44_mtbdd.ml 1.1)
(source/prevar.ml 1439 1049961831 d/18_prevar.ml 1.2)
(source/prevar.ml 2896 1050421093 d/18_prevar.ml 1.3)
(lurette.depfull.dot 49 1007651448 b/5_lurette.de 1.2)
(mlcuddidl/idd.ml 7061 1034006019 d/0_idd.ml 1.1)
(test/giro/onlyroll.lus 18298 1031732392 c/7_onlyroll.l 1.1)
(source/eval.ml 7755 1027066799 49_eval.ml 1.13)
(source/eval.ml 7246 1050421093 49_eval.ml 1.14)
(polka/Changes 1502 1047029868 e/22_Changes 1.1)
(source/env.mli 2026 1040290175 15_env.mli 1.17)
(demo/chaudiere/chaudiere.luc 446 1032789516 c/11_chaudiere. 1.5)
......@@ -63,14 +64,14 @@
(source/automata.mli 3396 1033738731 b/46_automata.m 1.3)
(source/print.mli 1136 1045558187 46_print.mli 1.13)
(polka/caml/Makefile 6559 1047029868 d/45_Makefile 1.1)
(ihm/xlurette/xlurette_glade_main.ml 23620 1046074449 c/12_xlurette_g 1.16)
(ihm/xlurette/xlurette_glade_main.ml 29622 1050421093 c/12_xlurette_g 1.17)
(TAGS 9825 1007379917 21_TAGS 1.6)
(polka/C/main.tex 1961 1047029868 e/14_main.tex 1.1)
(ihm/xlurette/xlurette.glade 49469 1046074449 c/13_xlurette.g 1.10)
(ihm/xlurette/xlurette.glade 56058 1050421093 c/13_xlurette.g 1.11)
(mlcuddidl/manager_caml.c 39233 1034006019 c/45_manager_ca 1.1)
(test/tram_simple.h 1746 1013519411 b/25_tram_simpl 1.1)
(test/losange.luc 410 1046768487 d/27_losange.lu 1.2)
(test/time-ecrins.exp 8250 1049961831 d/21_time-ecrin 1.13)
(test/time-ecrins.exp 8240 1050421093 d/21_time-ecrin 1.14)
(source/value.ml 2358 1049961831 c/23_value.ml 1.4)
(source/gne.ml 2774 1046682069 b/37_gne.ml 1.5)
(source/formula.ml 5962 1046682069 45_formula.ml 1.28)
......@@ -78,21 +79,22 @@
(polka/C/Makefile 3528 1047029868 e/15_Makefile 1.1)
(test/giro/giro.luc 2755 1033738731 c/6_giro.ima 1.4)
(source/control.ml 4445 1036675177 c/4_control.ml 1.4)
(source/parse_env.mli 1186 1046682069 40_parse_env. 1.13)
(source/env_state.ml 22475 1046682069 51_env_state. 1.40)
(source/parse_env.mli 1196 1050421093 40_parse_env. 1.14)
(source/env_state.ml 22805 1050421093 51_env_state. 1.41)
(polka/caml/matrix.idl 5301 1047029868 d/34_matrix.idl 1.1)
(cuddaux/cuddauxAddIte.c 12812 1034006019 c/32_cuddauxAdd 1.1)
(source/Makefile.lurettetop 368 1037192189 d/14_Makefile.l 1.2)
(mlcuddidl/manager.mli 7912 1034006019 c/46_manager.ml 1.1)
(source/prevar.mli 764 1049961831 d/19_prevar.mli 1.2)
(source/prevar.mli 1005 1050421093 d/19_prevar.mli 1.3)
(mlcuddidl/idd.mli 5470 1034006019 c/51_idd.mli 1.1)
(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)
(source/Makefile.lurette_lib 2159 1049961831 c/2_Makefile.l 1.17)
(test/heater_int.lus 170 1020068208 b/43_heater_int 1.1)
(mlcuddidl/bdd.idl 18233 1034006019 d/7_bdd.idl 1.1)
(polka/caml/polka_parser.mly 1729 1047029868 d/40_polka_pars 1.1)
(user-rules.skel 1370 1049961831 c/25_user-rules 1.4)
(source/gen_stubs.ml 21289 1049961831 24_generate_l 1.43)
(source/gen_stubs.ml 21410 1050421093 24_generate_l 1.44)
(polka/C/pkint.h 6036 1047029868 e/12_pkint.h 1.1)
(polka/caml/vector.idl 8669 1047029868 d/35_vector.idl 1.1)
(mlcuddidl/README 1574 1034006019 d/8_README 1.1)
......@@ -103,24 +105,24 @@
(source/solver.mli 1003 1046682069 38_solver.mli 1.14)
(mlcuddidl/manager.ml 8017 1034006019 c/47_manager.ml 1.1)
(test/passerelle.luc 995 1046682069 b/17_passerelle 1.10)
(source/store.ml 30658 1046074449 b/27_rnumsolver 1.23)
(source/store.ml 31409 1050421093 b/27_rnumsolver 1.24)
(mlcuddidl/mtbdd.mli 4395 1034006019 c/43_mtbdd.mli 1.1)
(polka/C/satmat.h 1254 1047029868 d/48_satmat.h 1.1)
(source/ne.ml 9281 1046682069 c/21_ne.ml 1.6)
(source/parse_env.ml 39634 1049961831 41_parse_env. 1.41)
(source/ne.ml 9564 1050421093 c/21_ne.ml 1.7)
(source/parse_env.ml 41128 1050421093 41_parse_env. 1.42)
(mlcuddidl/session.ml 603 1034006019 c/37_session.ml 1.1)
(source/graph.mli 2185 1037625990 13_graph.mli 1.10)
(source/store.mli 2891 1046074449 b/26_rnumsolver 1.16)
(test/time-ossau.res 8248 1049961831 b/49_time.res 1.39)
(test/time-ossau.res 8243 1050421093 b/49_time.res 1.40)
(source/automata.ml 19223 1046682069 b/47_automata.m 1.7)
(demo/chaudiere/chaudiere_ctrl.lus 177 1031732392 c/9_chaudiere_ 1.1)
(Makefile 1398 1049961831 d/13_Makefile 1.2)
(test/vrai_tram.c 3060 1027066799 b/8_vrai_tram. 1.3)
(cuddaux/cuddauxBridge.c 6099 1034006019 c/31_cuddauxBri 1.1)
(test/heater_float.rif.exp 1040 1047029868 b/30_heater_flo 1.13)
(cuddaux/Makefile 3150 1047029868 c/35_Makefile 1.2)
(cuddaux/Makefile 3165 1050421093 c/35_Makefile 1.3)
(polka/C/bit.c 3026 1047029868 e/10_bit.c 1.1)
(test/time-ossau.exp 8248 1049961831 b/48_time.exp 1.36)
(test/time-ossau.exp 8243 1050421093 b/48_time.exp 1.37)
(source/print.ml 5787 1045558187 47_print.ml 1.22)
(mlcuddidl/macros.m4 11290 1034006019 c/49_macros.m4 1.1)
(test/vrai_tram.h 2468 1027066799 b/7_vrai_tram. 1.3)
......@@ -130,15 +132,16 @@
(polka/C/bit.h 1380 1047029868 e/2_bit.h 1.1)
(test/giro/allocator.lus 1087 1031732392 c/5_allocator. 1.1)
(cuddaux/README 1427 1034006019 c/34_README 1.1)
(source/lurettetop.ml 33334 1049961831 c/1_lurettetop 1.29)
(source/lurettetop.ml 33370 1050421093 c/1_lurettetop 1.30)
(lucky_init.csh.in 360 1049961831 e/23_lucky_init 1.2)
(mlcuddidl/bdd.ml 10889 1034006019 d/6_bdd.ml 1.1)
(source/constraint.ml 2764 1045489850 c/19_constraint 1.6)
(source/constraint.ml 2762 1050421093 c/19_constraint 1.7)
(polka/caml/Makefile.depend 744 1047029868 d/32_Makefile.d 1.1)
(doc/archi.fig 3693 1003928781 20_archi.fig 1.1)
(ihm/xlurette/xlurette_glade_interface.ml 32810 1046682069 c/15_xlurette_g 1.10)
(ihm/xlurette/xlurette_glade_interface.ml 35669 1050421093 c/15_xlurette_g 1.11)
(test/losange-3d2.luc 368 1050421093 e/32_losange-3d 1.1)
(test/Makefile 86 1049961831 c/0_Makefile 1.10)
(user-rules 20705 1049961831 c/14_myrules 1.29)
(user-rules 21195 1050421093 c/14_myrules 1.30)
(mlcuddidl/cudd_caml.c 22890 1034006019 d/3_cudd_caml. 1.1)
(test/usager.luc 508 1046682069 b/14_usager.env 1.11)
(polka/C/config.h 77 1047029868 e/13_config.h 1.1)
......@@ -160,9 +163,9 @@
(polka/C/matrix.h 3461 1047029868 d/51_matrix.h 1.1)
(source/pnumsolver.mli 2322 1045489850 d/24_pnumsolver 1.2)
(mlcuddidl/sedscript 203 1034006019 c/38_sedscript 1.1)
(source/env_state.mli 6937 1046682069 50_env_state. 1.28)
(source/env_state.mli 6976 1050421093 50_env_state. 1.29)
(test/ControleurPorte.rif.exp 4676 1049961831 b/29_Controleur 1.13)
(source/show_luc.ml 3209 1049961831 e/25_show_luc.m 1.1)
(source/show_luc.ml 3230 1050421093 e/25_show_luc.m 1.2)
(doc/automata_format 0 1007379917 b/3_automata_f 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)
......@@ -177,23 +180,25 @@
(source/polyhedron.mli 940 1045489850 d/26_polyhedron 1.1)
(mlcuddidl/bdd.mli 8573 1034006019 d/5_bdd.mli 1.1)
(polka/C/polka.h 1478 1047029868 d/50_polka.h 1.1)
(source/command_line_luc_exe.ml 3360 1046682069 b/33_command_li 1.12)
(Makefile.lurette 645 1049961831 b/38_Makefile.l 1.18)
(source/lurette_exe.c 217 1049961831 e/27_lurette_ex 1.1)
(source/env.ml 8013 1027349504 16_env.ml 1.29)
(test/time-ecrins.res 8250 1049961831 d/20_time-ecrin 1.13)
(source/command_line_luc_exe.ml 3535 1050421093 b/33_command_li 1.13)
(Makefile.lurette 647 1050421093 b/38_Makefile.l 1.19)
(source/lurette_exe.c 220 1050421093 e/27_lurette_ex 1.2)
(source/env.ml 7849 1050421093 16_env.ml 1.30)
(test/time-ecrins.res 8240 1050421093 d/20_time-ecrin 1.14)
(source/value.mli 1100 1049961831 c/24_value.mli 1.2)
(lucky_init.sh.in 359 1049961831 e/24_lucky_init 1.2)
(polka/Makefile.config 1674 1050421093 e/20_Makefile.c 1.2)
(test/vrai_tram.lus 564 1027066799 b/6_vrai_tram. 1.2)
(polka/Makefile.config 1646 1047029868 e/20_Makefile.c 1.1)
(source/Makefile 3561 1049961831 c/20_Makefile 1.11)
(source/Makefile 5234 1050421093 c/20_Makefile 1.12)
(source/graph.ml 2339 1037625990 14_graph.ml 1.8)
(test/cudd_gc_problem.luc 227680 1050421093 e/29_cudd_gc_pr 1.1)
(test/losange-3d.rif.exp 2675 1050421093 e/31_losange-3d 1.1)
(polka/documentation/Makefile 476 1047029868 e/18_Makefile 1.1)
(source/sim2chro.ml 2742 1046682069 b/24_sim2chro.m 1.15)
(cuddaux/cuddauxTDGenCof.c 15712 1034006019 c/26_cuddauxTDG 1.1)
(source/luc_exe.ml 13494 1049961831 b/32_ima_exe.ml 1.29)
(source/luc_exe.ml 13997 1050421093 b/32_ima_exe.ml 1.30)
(source/gne.mli 1557 1046682069 b/36_gne.mli 1.5)
(source/lurette.ml 17527 1049961831 12_lurette.ml 1.64)
(source/lurette.ml 17515 1050421093 12_lurette.ml 1.65)
(polka/C/Makefile.depend 1081 1047029868 d/46_Makefile.d 1.1)
(lurette.dep.dot 49 1007651448 b/4_lurette.de 1.2)
(doc/ocamldoc.hva 313 1008328137 b/13_ocamldoc.h 1.1)
......@@ -203,6 +208,6 @@
(polka/Makefile 1636 1047029868 e/21_Makefile 1.1)
(Makefile.common.in 233 1049961831 d/12_Makefile.c 1.4)
(test/porte.luc 996 1049961831 b/16_porte.env 1.10)
(source/eval.mli 1395 1027066799 48_eval.mli 1.10)
(source/eval.mli 1265 1050421093 48_eval.mli 1.11)
(source/Makefile.show_luc 1026 1037192189 b/40_Makefile.s 1.8)
(mlcuddidl/Makefile 7209 1047029868 d/9_Makefile 1.2)
(mlcuddidl/Makefile 7238 1050421093 d/9_Makefile 1.3)
......@@ -18,6 +18,8 @@ LIBS = -lgmp -lm -ldl
SOURCES_C = ocaml2c_stubs.c $(SUT) lurette__sut.c $(ORACLE) lurette__oracle.c lurette_exe.c call_lurette_main.c
bc:
$(CC) -g -o lurette $(LIBDIRS) $(INCLUDEDIRS) $(SOURCES_C) $(LIBS) -llurette_lib_bc
......
......@@ -5,28 +5,24 @@
*********** A faire maintenant
* ajouter une option give-fake-default-to-pre
* attention, le nom des fichiers generes les outils lustre (lus2ec, ec2c)
se basent sur le nom du noeud, pas sur le nom du fichier.
* verifier le gen_fake_lutin dans xlurette (devrait etre appele via
lurettetop, pour l'instant, il y a duplication ...)
* Il faudrait pouvoir browser le nom des noeuds d'un fichier lustre
depuis l'interface graphique (lusinfo).
* Utiliser l'ordre des parametres plutot que leur noms
Quoique, quand on fait le produit de plusieur automates,
Quoique, quand on fait le produit de plusieurs automates,
ca n'est guere pratique...
--> 2 options : --var-order (default), --var-name
* rajouter une option qui dit si les formules doivent etre tronquees
dans show_luc
* Mettre a jour le parseur wrt les modifs que j'ai faite a la syntax
(noeuds transiants/stationnaires + formula = ...)
* Repasser a une notation infixée pour le format lucky. Ne pas faire
la verif de type en meme temps que le parsing ->
(1) Portage pour scade et esterel windows ...
-> structure, tableau, types structures, etc.
......@@ -51,8 +47,6 @@ depuis l'interface graphique (lusinfo).
* remplacer l'epaisseur de formules par un taux de couverture
* rajouter une option qui dit si les formules doivent etre tronquees
dans show_luc
......@@ -91,8 +85,6 @@ depuis l'interface graphique (lusinfo).
-> tester si gtk est la
* inclure ocaml.opt et camlidl dans la distrib ???
* Chercher a detecter des egalites lors de l'ajout d'une inegalité.
(cf code commenter dans store.ml)
......
......@@ -12,10 +12,10 @@ SRCDIR = $(shell pwd)
#
# XXX autoconf
CUDD_INSTALL = /home/jahier
CUDD_INSTALL = /home/jahier/$(HOSTTYPE)
ifndef BIN_INSTALL_DIR
BIN_INSTALL_DIR := $(LURETTE_PATH)/$(OSTYPE)/bin
BIN_INSTALL_DIR := $(LURETTE_PATH)/$(HOSTTYPE)/bin
endif
ifndef INC_INSTALL_DIR
......@@ -23,7 +23,7 @@ ifndef INC_INSTALL_DIR
endif
ifndef LIB_INSTALL_DIR
LIB_INSTALL_DIR := $(LURETTE_PATH)/$(OSTYPE)/lib
LIB_INSTALL_DIR := $(LURETTE_PATH)/$(HOSTTYPE)/lib
endif
......@@ -39,8 +39,8 @@ ICFLAGS = \
#
# XCFLAGS should be the same than the one with which CUDD is compiled
#
XCFLAGS = -mcpu=pentiumpro -malign-double -DHAVE_IEEE_754 -DBSD
# XCFLAGS = -mcpu=ultrasparc -DHAVE_IEEE_754 -DUNIX100
#XCFLAGS = -mcpu=pentiumpro -malign-double -DHAVE_IEEE_754 -DBSD
XCFLAGS = -mcpu=ultrasparc -DHAVE_IEEE_754 -DUNIX100
CFLAGS = $(ICFLAGS) $(XCFLAGS) -O3 -DNDEBUG
CFLAGS_DEBUG = $(ICFLAGS) $(XCFLAGS) -O1 -g -UNDEBUG
......
......@@ -3,7 +3,7 @@
ifndef BIN_INSTALL_DIR
BIN_INSTALL_DIR := ../../$(OSTYPE)/bin
BIN_INSTALL_DIR := ../../$(HOSTTYPE)/bin
endif
......@@ -16,7 +16,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 str.cma unix.cma lablgtk.cma gtkInit.cmo util.cmo \
-I +lablgtk -I +str -o xlurette str.cma unix.cma lablgtk.cma gtkInit.cmo \
xlurette_glade_callbacks.cmo xlurette_glade_interface.cmo xlurette_glade_main.cmo
xlurette.opt: dummy
......@@ -24,7 +24,7 @@ xlurette.opt: dummy
ocamlopt -c -I +lablgtk -labels -c xlurette_glade_interface.ml
ocamlopt -c -I +lablgtk -labels -c xlurette_glade_callbacks.ml
ocamlopt -c -pp "camlp4o" -I +lablgtk $(THREAD) -c xlurette_glade_main.ml
ocamlopt -I +lablgtk -I +str -labels -o xlurette unix.cmxa lablgtk.cmxa gtkInit.cmx util.cmx \
ocamlopt -I +lablgtk -I +str -labels -o xlurette unix.cmxa lablgtk.cmxa gtkInit.cmx \
xlurette_glade_callbacks.cmx xlurette_glade_interface.cmx xlurette_glade_main.cmx
xlurette.opt_opt: dummy
......@@ -32,7 +32,7 @@ xlurette.opt_opt: dummy
ocamlopt.opt -c -I +lablgtk -labels -c xlurette_glade_interface.ml
ocamlopt.opt -c -I +lablgtk -labels -c xlurette_glade_callbacks.ml
ocamlopt.opt -pp "camlp4o" -c -I +lablgtk $(THREAD) -c xlurette_glade_main.ml
ocamlopt.opt -linkall -I +lablgtk -I +str -labels -o xlurette str.cmxa unix.cmxa lablgtk.cmxa gtkInit.cmx util.cmx \
ocamlopt.opt -linkall -I +lablgtk -I +str -labels -o xlurette str.cmxa unix.cmxa lablgtk.cmxa gtkInit.cmx \
xlurette_glade_callbacks.cmx xlurette_glade_interface.cmx xlurette_glade_main.cmx
......
......@@ -74,31 +74,6 @@
<row_spacing>0</row_spacing>
<column_spacing>0</column_spacing>
<widget>
<class>GtkEntry</class>
<name>env_name</name>
<tooltip>Enter the enviroment file names (eventually separated by `x' in you want to perform the automata product) e.g., tram.ima x door.ima user.ima</tooltip>
<can_focus>True</can_focus>
<editable>True</editable>
<text_visible>True</text_visible>
<text_max_length>0</text_max_length>
<text></text>
<child>
<left_attach>1</left_attach>
<right_attach>2</right_attach>
<top_attach>1</top_attach>
<bottom_attach>2</bottom_attach>
<xpad>0</xpad>
<ypad>0</ypad>
<xexpand>True</xexpand>
<yexpand>False</yexpand>
<xshrink>False</xshrink>
<yshrink>False</yshrink>
<xfill>True</xfill>
<yfill>False</yfill>
</child>
</widget>
<widget>
<class>GtkButton</class>
<name>show_env_button</name>
......@@ -452,40 +427,69 @@
</child>
<widget>
<class>GtkEntry</class>
<name>sut_name</name>
<tooltip>Name of the file of the system under test (MANDATORY)</tooltip>
<can_focus>True</can_focus>
<signal>
<name>changed</name>
<handler>on_sut_name_changed</handler>
<last_modification_time>Fri, 25 Oct 2002 16:04:33 GMT</last_modification_time>
</signal>
<editable>True</editable>
<text_visible>True</text_visible>
<text_max_length>0</text_max_length>
<text></text>
<class>GtkEventBox</class>
<name>eventbox1</name>
<child>
<padding>0</padding>
<expand>True</expand>
<fill>True</fill>
</child>
<widget>
<class>GtkCombo</class>
<name>sut_name</name>
<value_in_list>False</value_in_list>
<ok_if_empty>True</ok_if_empty>
<case_sensitive>False</case_sensitive>
<use_arrows>True</use_arrows>
<use_arrows_always>False</use_arrows_always>
<items></items>
<widget>
<class>GtkEntry</class>
<child_name>GtkCombo:entry</child_name>
<name>sut_name_entry</name>
<tooltip>Name of the program under test</tooltip>
<can_focus>True</can_focus>
<signal>
<name>changed</name>
<handler>on_sut_name_changed</handler>
<last_modification_time>Thu, 10 Apr 2003 12:14:34 GMT</last_modification_time>
</signal>
<editable>True</editable>
<text_visible>True</text_visible>
<text_max_length>0</text_max_length>
<text></text>
</widget>
</widget>
</widget>
<widget>
<class>GtkEntry</class>
<name>sut_node</name>
<tooltip>Main node name</tooltip>
<can_focus>True</can_focus>
<editable>True</editable>
<text_visible>True</text_visible>
<text_max_length>0</text_max_length>
<text></text>
<class>GtkCombo</class>
<name>combo2</name>
<value_in_list>False</value_in_list>
<ok_if_empty>True</ok_if_empty>
<case_sensitive>False</case_sensitive>
<use_arrows>True</use_arrows>
<use_arrows_always>False</use_arrows_always>
<items></items>
<child>
<padding>0</padding>
<expand>True</expand>
<fill>True</fill>
</child>
<widget>
<class>GtkEntry</class>
<child_name>GtkCombo:entry</child_name>
<name>sut_node</name>
<tooltip>Sut node name</tooltip>
<can_focus>True</can_focus>
<editable>True</editable>
<text_visible>True</text_visible>
<text_max_length>0</text_max_length>
<text></text>
</widget>
</widget>
</widget>
......@@ -510,42 +514,145 @@
</child>
<widget>
<class>GtkEntry</class>
<class>GtkCombo</class>
<name>oracle_name</name>
<tooltip>Name of the oracle file (MANDATORY)</tooltip>
<can_focus>True</can_focus>
<signal>
<name>changed</name>
<handler>on_oracle_name_changed</handler>
<last_modification_time>Tue, 29 Oct 2002 07:45:49 GMT</last_modification_time>
</signal>
<editable>True</editable>
<text_visible>True</text_visible>
<text_max_length>0</text_max_length>
<text></text>
<value_in_list>False</value_in_list>
<ok_if_empty>True</ok_if_empty>
<case_sensitive>False</case_sensitive>
<use_arrows>True</use_arrows>
<use_arrows_always>False</use_arrows_always>
<items></items>
<child>
<padding>0</padding>
<expand>True</expand>
<fill>True</fill>
</child>
<widget>
<class>GtkEntry</class>
<child_name>GtkCombo:entry</child_name>
<name>oracle_name_entry</name>
<tooltip>Name of the oracle file (if any)</tooltip>
<can_focus>True</can_focus>
<signal>
<name>changed</name>
<handler>on_oracle_name_changed</handler>
<last_modification_time>Thu, 10 Apr 2003 13:02:03 GMT</last_modification_time>
</signal>
<editable>True</editable>
<text_visible>True</text_visible>
<text_max_length>0</text_max_length>
<text></text>
</widget>
</widget>
<widget>
<class>GtkEntry</class>
<class>GtkCombo</class>
<name>oracle_node</name>
<tooltip>Oracle main node name</tooltip>
<can_focus>True</can_focus>
<editable>True</editable>
<text_visible>True</text_visible>
<text_max_length>0</text_max_length>
<text></text>
<value_in_list>False</value_in_list>
<ok_if_empty>True</ok_if_empty>
<case_sensitive>False</case_sensitive>
<use_arrows>True</use_arrows>
<use_arrows_always>False</use_arrows_always>
<items></items>
<child>
<padding>0</padding>
<expand>True</expand>
<fill>True</fill>
</child>
<widget>
<class>GtkEntry</class>
<child_name>GtkCombo:entry</child_name>
<name>combo-entry3</name>
<tooltip>Oracle node name</tooltip>
<can_focus>True</can_focus>
<editable>True</editable>
<text_visible>True</text_visible>
<text_max_length>0</text_max_length>
<text></text>
</widget>
</widget>
</widget>
<widget>
<class>GtkCombo</class>
<name>env_name</name>
<value_in_list>False</value_in_list>
<ok_if_empty>True</ok_if_empty>
<case_sensitive>False</case_sensitive>
<use_arrows>True</use_arrows>
<use_arrows_always>False</use_arrows_always>
<items></items>
<child>
<left_attach>1</left_attach>
<right_attach>2</right_attach>
<top_attach>1</top_attach>
<bottom_attach>2</bottom_attach>
<xpad>0</xpad>
<ypad>0</ypad>
<xexpand>True</xexpand>
<yexpand>False</yexpand>
<xshrink>False</xshrink>
<yshrink>False</yshrink>
<xfill>True</xfill>
<yfill>False</yfill>
</child>
<widget>
<class>GtkEntry</class>
<child_name>GtkCombo:entry</child_name>
<name>env_name_entry</name>
<tooltip>Environment file name</tooltip>
<can_focus>True</can_focus>
<editable>True</editable>
<text_visible>True</text_visible>
<text_max_length>0</text_max_length>
<text></text>
</widget>
</widget>
<widget>
<class>GtkPreview</class>
<name>preview5</name>
<type>True</type>
<expand>False</expand>
<child>
<left_attach>1</left_attach>
<right_attach>2</right_attach>
<top_attach>3</top_attach>
<bottom_attach>4</bottom_attach>
<xpad>0</xpad>
<ypad>0</ypad>
<xexpand>False</xexpand>
<yexpand>False</yexpand>
<xshrink>False</xshrink>
<yshrink>False</yshrink>
<xfill>True</xfill>
<yfill>True</yfill>
</child>
</widget>
<widget>
<class>GtkPreview</class>
<name>preview6</name>
<type>True</type>
<expand>False</expand>
<child>
<left_attach>2</left_attach>
<right_attach>3</right_attach>
<top_attach>3</top_attach>
<bottom_attach>4</bottom_attach>
<xpad>0</xpad>
<ypad>0</ypad>
<xexpand>False</xexpand>
<yexpand>False</yexpand>
<xshrink>False</xshrink>
<yshrink>False</yshrink>
<xfill>True</xfill>
<yfill>True</yfill>
</child>
</widget>
</widget>
</widget>
......@@ -948,7 +1055,7 @@
<editable>True</editable>
<text_visible>True</text_visible>
<text_max_length>0</text_max_length>
<text>lurette.rif</text>
<text></text>
<child>
<left_attach>1</left_attach>