Project

General

Profile

Revision 7dd90f72

View differences:

src/corelang.ml
297 297

  
298 298
let tag_true = "true"
299 299
let tag_false = "false"
300
let tag_default = "default"
300 301

  
301 302
let const_is_bool c =
302 303
 match c with
src/corelang.mli
46 46
val coretype_equal: type_dec_desc -> type_dec_desc -> bool
47 47
val tag_true: label
48 48
val tag_false: label
49
val tag_default: label
49 50
val tag_table: (label, top_decl) Hashtbl.t
50 51
val field_table: (label, top_decl) Hashtbl.t
51 52

  
src/main_lustre_compiler.ml
27 27
  let h_out = open_out header_name in
28 28
  let h_fmt = formatter_of_out_channel h_out in
29 29
  begin
30
    Typing.uneval_prog_generics header;
31
    Clock_calculus.uneval_prog_generics header;
30 32
    Printers.pp_lusi_header h_fmt basename header;
31 33
    close_out h_out
32 34
  end
test/test-compile.sh
53 53
            rlustrec1="VALID"
54 54
        fi
55 55
	pushd $build > /dev/null
56
	if [ $ext = ".lus" ]; then
56
	if [ $ext = ".lus" ] && [ "$opts" != "-lusi" ]; then
57 57
            gcc -c -Wall -Wno-unused-but-set-variable -I ../../include/ "$name".c > /dev/null
58 58
            if [ $? -ne 0 ]; then
59 59
		rgcc1="INVALID";
test/tests_ok.list
894 894
./tests/kind_fmcad08/large/ccp20.lus,top
895 895
./tests/kind_fmcad08/large/ccp11.lus,top
896 896
./tests/kind_fmcad08/large/cruise_controller_21.lus,top
897
./tests/tuples/tuples1.lus
898
./tests/tuples/tuples2.lus
897 899
./tests/arrays_arnaud/dummy_lib.lusi
898 900
./tests/arrays_arnaud/arrays.lus,,-check-access
899 901
./tests/arrays_arnaud/RelOpMatrix.lus
900 902
./tests/arrays_arnaud/access1.lus,,-check-access
903
./tests/arrays_arnaud/generic1.lus,,-lusi
904
./tests/arrays_arnaud/generic1.lusi
901 905
./tests/arrays_arnaud/generic1.lus
902 906
./tests/arrays_arnaud/generic2.lus
903 907
./tests/arrays_arnaud/generic3.lus,top,-dynamic -check-access
908
./tests/clocks/clocks1.lus,,-lusi
909
./tests/clocks/clocks1.lusi
904 910
./tests/clocks/clocks1.lus
905 911
./tests/clocks/clocks2.lus
912
./tests/clocks/clocks6.lus
913
./tests/clocks/clocks7.lus
914
./tests/clocks/clocks8.lus
915
./tests/clocks/clocks9.lus
916
./tests/clocks/oversampling0.lus,,-lusi
917
./tests/clocks/oversampling0.lusi
906 918
./tests/clocks/oversampling0.lus
907 919
./tests/lusic/test2.lusi
908 920
./tests/lusic/test1.lusi
909 921
./tests/lusic/test1.lus,as_soon_as
910 922
./tests/lusic/test2.lus
911 923
./tests/automata/aut1.lus
924
./tests/automata/heater3.lus
925
./tests/automata/heater4.lus
926
./tests/linear_ctl/libarrays.lusi
927
./tests/linear_ctl/ex1_mat.lus
928
./tests/linear_ctl/ex1_mat_xt.lus
912 929
./tests/linear_ctl/ex8sat.lus,top
913 930
./tests/linear_ctl/ex2reset.lus,top
914 931
./tests/linear_ctl/lp_iir_9600_2.lus,top

Also available in: Unified diff