Commit 227a7caa authored by Erwan Jahier's avatar Erwan Jahier
Browse files

lurette 0.15 Mon, 03 Dec 2001 12:51:02 +0100 by jahier

Parent-Version:      0.14
Version-Log:

Put gen_stubs into the source directory.

Project-Description: Lurette
parent d22646a1
...@@ -25,9 +25,9 @@ ...@@ -25,9 +25,9 @@
(test/edge.h 1052 1006263320 33_edge.h 1.1) (test/edge.h 1052 1006263320 33_edge.h 1.1)
(doc/automata_format 0 1007379917 b/3_automata_f 1.1) (doc/automata_format 0 1007379917 b/3_automata_f 1.1)
(source/eval.ml 6238 1007379917 49_eval.ml 1.1) (source/eval.ml 6238 1007379917 49_eval.ml 1.1)
(source/gen_stubs.ml 31593 1007379917 24_generate_l 1.9)
(source/parse_env.ml 6007 1007379917 41_parse_env. 1.1) (source/parse_env.ml 6007 1007379917 41_parse_env. 1.1)
(interface/gen_stubs.ml 31593 1007379917 24_generate_l 1.9) (interface/TAGS 1956 1007380262 26_TAGS 1.3)
(interface/TAGS 1497 1006182545 26_TAGS 1.2)
(doc/Interface_draft 5232 1003928781 19_Interface_ 1.1) (doc/Interface_draft 5232 1003928781 19_Interface_ 1.1)
(source/formula.mli 1735 1007379917 44_formula.ml 1.1) (source/formula.mli 1735 1007379917 44_formula.ml 1.1)
(test/tram_env_usager.env 801 1007379917 b/9_tram_env_u 1.1) (test/tram_env_usager.env 801 1007379917 b/9_tram_env_u 1.1)
...@@ -41,10 +41,10 @@ ...@@ -41,10 +41,10 @@
(source/show_env.ml 3303 1007379917 43_show_env.m 1.1) (source/show_env.ml 3303 1007379917 43_show_env.m 1.1)
(test/tram_simple.c 5627 1006433610 37_tram_simpl 1.1) (test/tram_simple.c 5627 1006433610 37_tram_simpl 1.1)
(doc/synthese 2556 1007379917 b/2_synthese 1.1) (doc/synthese 2556 1007379917 b/2_synthese 1.1)
(interface/Makefile 123 1006263320 25_Makefile 1.4) (interface/Makefile 215 1007380262 25_Makefile 1.5)
(source/show_env.mli 848 1007379917 42_show_env.m 1.1) (source/show_env.mli 848 1007379917 42_show_env.m 1.1)
(test/tram_simple.h 1746 1006433610 36_tram_simpl 1.1) (test/tram_simple.h 1746 1006433610 36_tram_simpl 1.1)
(Makefile 1218 1007379917 18_Makefile 1.8) (Makefile 1176 1007380262 18_Makefile 1.9)
(test/vrai_tram.c 2855 1007379917 b/8_vrai_tram. 1.1) (test/vrai_tram.c 2855 1007379917 b/8_vrai_tram. 1.1)
(source/print.mli 108 1007379917 46_print.mli 1.1) (source/print.mli 108 1007379917 46_print.mli 1.1)
(source/graph.mli 1305 1003932490 13_graph.mli 1.2) (source/graph.mli 1305 1003932490 13_graph.mli 1.2)
......
...@@ -3,8 +3,6 @@ OCAMLMAKEFILE = $(LURETTE_DIR)/OcamlMakefile ...@@ -3,8 +3,6 @@ OCAMLMAKEFILE = $(LURETTE_DIR)/OcamlMakefile
-include ./lurette.in -include ./lurette.in
OCAML_DEFAULT_DIRS=$(LURETTE_DIR)/source
SOURCES = $(SUT) sut_stub.c sut_idl_stub.idl \ SOURCES = $(SUT) sut_stub.c sut_idl_stub.idl \
$(ORACLE) oracle_stub.c oracle_idl_stub.idl \ $(ORACLE) oracle_stub.c oracle_idl_stub.idl \
lurette_stub.ml \ lurette_stub.ml \
......
OCAMLMAKEFILE = ../OcamlMakefile LURETTE_DIR = /home/jahier/lurette
OCAMLMAKEFILE = $(LURETTE_DIR)/OcamlMakefile
SOURCES = util.ml gen_stubs.ml
SOURCES = $(LURETTE_DIR)/source/util.ml $(LURETTE_DIR)/source/gen_stubs.ml
RESULT = gen_stubs RESULT = gen_stubs
LIBS = str LIBS = str
......
gen_stubs.ml,1477 /home/jahier/lurette/source/util.ml,388
Util1,0
let rec (rmrm2,1
let rec (list_is_includedlist_is_included11,218
let (list_are_equalslist_are_equals24,536
let (readfilereadfile32,754
let rec (list_map3list_map349,1266
let rec (list_map4list_map459,1617
let (sort_list_string_pairsort_list_string_pair72,2079
let rec (mergemerge80,2308
let rec (unfoldunfold96,2704
let rec (call_n_timescall_n_times108,2982
/home/jahier/lurette/source/gen_stubs.ml,1478
Gen_stubs1,0 Gen_stubs1,0
type filefile41,1592 type filefile39,1518
type module_namemodule_name42,1611 type module_namemodule_name40,1537
type var_namevar_name44,1638 type var_namevar_name42,1564
type c_typec_type45,1661 type c_typec_type43,1587
type ml_typeml_type46,1682 type ml_typeml_type44,1608
type fresh_var_namefresh_var_name47,1704 type fresh_var_namefresh_var_name45,1630
type vn_ctvn_ct49,1734 type vn_ctvn_ct47,1660
type vn_ct_mlt_fvnvn_ct_mlt_fvn50,1765 type vn_ct_mlt_fvnvn_ct_mlt_fvn48,1691
type aliasalias52,1832 let reg_typedefreg_typedef63,2165
let (readfilereadfile61,2055 let reg_blankreg_blank64,2206
let rec (list_map3list_map377,2566 let reg_semicolreg_semicol65,2238
let rec (list_map4list_map487,2917 type aliasalias67,2273
let reg_typedefreg_typedef104,3549 (get_typedef_aliasget_typedef_alias70,2312
let reg_blankreg_blank105,3590 (find_typedef_listfind_typedef_list80,2614
let reg_semicolreg_semicol106,3622 (find_next_typedeffind_next_typedef87,2844
(get_typedef_aliasget_typedef_alias109,3666 let reg_MODreg_MOD108,3776
(find_typedef_listfind_typedef_list119,3968 let reg_INreg_IN109,3815
(find_next_typedeffind_next_typedef126,4198 let reg_OUTreg_OUT110,3849
let reg_MODreg_MOD139,4867 let reg_crreg_cr111,3885
let reg_INreg_IN140,4906 let rec (get_vn_and_ct_listget_vn_and_ct_list113,3916
let reg_OUTreg_OUT141,4940 (find_module_namefind_module_name148,5328
let reg_crreg_cr142,4976 (find_var_listfind_var_list168,6306
let rec (get_vn_and_ct_listget_vn_and_ct_list144,5007 let (replace_ct_by_their_aliasreplace_ct_by_their_alias202,7758
(find_module_namefind_module_name179,6405 type resres215,8243
(find_var_listfind_var_list199,7382 type res = OkOk215,8243
let (replace_ct_by_their_aliasreplace_ct_by_their_alias216,8212 type res = Ok | ErrorError215,8243
type resres229,8697 let (check_var_typecheck_var_type217,8276
type res = OkOk229,8697 let (generate_stub_cgenerate_stub_c263,9600
type res = Ok | ErrorError229,8697 type sut_or_oraclesut_or_oracle361,12493
let (check_var_typecheck_var_type231,8730 let (generate_idlgenerate_idl363,12522
let (generate_stub_cgenerate_stub_c277,10042 let rec (generate_n_var_namesgenerate_n_var_names422,14137
type sut_or_oraclesut_or_oracle372,12893 let (get_ml_type2get_ml_type2437,14556
let (generate_idlgenerate_idl374,12922 let (get_ml_typeget_ml_type516,17261
let rec (generate_n_var_namesgenerate_n_var_names433,14529 let (generate_lurette_stub_filegenerate_lurette_stub_file544,18310
let (get_ml_typeget_ml_type447,14947 let (replace_bool_representationreplace_bool_representation847,28535
let (generate_lurette_stub_filegenerate_lurette_stub_file547,18611 let main2main2856,28796
let main2main2756,26235 let usageusage911,31042
let usageusage822,28692 let (mainmain916,31247
let (mainmain827,28889
../util.ml
\ No newline at end of file
;; -*- Prcs -*- ;; -*- Prcs -*-
(Created-By-Prcs-Version 1 3 3) (Created-By-Prcs-Version 1 3 3)
(Project-Description "Lurette") (Project-Description "Lurette")
(Project-Version lurette 0 14) (Project-Version lurette 0 15)
(Parent-Version lurette 0 13) (Parent-Version lurette 0 14)
(Version-Log " (Version-Log "
Now lurette can hanble multiple environements that can either be Put gen_stubs into the source directory.
run as a product or in parallel.") ")
(New-Version-Log "") (New-Version-Log "")
(Checkin-Time "Mon, 03 Dec 2001 12:45:17 +0100") (Checkin-Time "Mon, 03 Dec 2001 12:51:02 +0100")
(Checkin-Login jahier) (Checkin-Login jahier)
(Populate-Ignore ()) (Populate-Ignore ())
(Project-Keywords) (Project-Keywords)
...@@ -53,14 +53,13 @@ run as a product or in parallel.") ...@@ -53,14 +53,13 @@ run as a product or in parallel.")
(source/wtree.mli (lurette/b/0_wtree.mli 1.1 644)) (source/wtree.mli (lurette/b/0_wtree.mli 1.1 644))
(source/wtree.ml (lurette/b/1_wtree.ml 1.1 644)) (source/wtree.ml (lurette/b/1_wtree.ml 1.1 644))
(interface/util.ml (../util.ml) :symlink) (source/gen_stubs.ml (lurette/24_generate_l 1.9 644))
(interface/gen_stubs.ml (lurette/24_generate_l 1.9 644))
;; Make files ;; Make files
(OcamlMakefile (lurette/17_OcamlMakef 1.3 644)) (OcamlMakefile (lurette/17_OcamlMakef 1.3 644))
(Makefile (lurette/18_Makefile 1.8 644)) (Makefile (lurette/18_Makefile 1.9 644))
(test/Makefile (../Makefile) :symlink) (test/Makefile (../Makefile) :symlink)
(interface/Makefile (lurette/25_Makefile 1.4 644)) (interface/Makefile (lurette/25_Makefile 1.5 644))
(make_lurette (lurette/27_make_luret 1.4 744)) (make_lurette (lurette/27_make_luret 1.4 744))
...@@ -76,7 +75,7 @@ run as a product or in parallel.") ...@@ -76,7 +75,7 @@ run as a product or in parallel.")
(lurette.dep.dot (lurette/b/4_lurette.de 1.1 644)) (lurette.dep.dot (lurette/b/4_lurette.de 1.1 644))
(lurette.depfull.dot (lurette/b/5_lurette.de 1.1 644)) (lurette.depfull.dot (lurette/b/5_lurette.de 1.1 644))
(TAGS (lurette/21_TAGS 1.6 644)) (TAGS (lurette/21_TAGS 1.6 644))
(interface/TAGS (lurette/26_TAGS 1.2 644)) (interface/TAGS (lurette/26_TAGS 1.3 644))
;; Various files used for testing purposes ;; Various files used for testing purposes
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment