Commit b311ed64 authored by Pascal Raymond's avatar Pascal Raymond
Browse files

lutexe: first usable version

full tail rec algo abandoned (for the time being)
parent a6294822
a.out
*~
*.cm[ixoa]
*.o
......@@ -17,7 +18,7 @@ src/parser.ml
src/parser.mli
src/lexer.ml
src/lexer.mli
*exe
*.exe
*.dll
*.tgz
xx
......@@ -156,6 +157,7 @@ polka/caml/sedscript
polka/caml/vector.ml
polka/caml/vector.mli
set_cross
source/Lutin.alt
source/Lutin/lutLexer.ml
source/Lutin/lutParser.ml
source/Lutin/lutParser.mli
......@@ -176,4 +178,4 @@ install/xlurette.sh
install/Makefile.lurette
install/autom4te.cache/
install/configure
i*86-linux*
\ No newline at end of file
i*86-linux*
......@@ -13,7 +13,11 @@ Bdd.nbminterms
type t
(* Init du module *)
external init : unit -> unit = "gbdd_cml_init"
external init_psz_verb : int -> bool -> unit = "gbdd_cml_init_with_psz_verb"
let init : ?pagesize:(int) -> ?verbose:(bool) -> unit -> unit =
fun ?(pagesize=10000) ?(verbose=true) _ ->
init_psz_verb pagesize verbose
(* Accs aux noeuds *)
external root_var : t -> int = "gbdd_cml_root_var"
......
......@@ -138,12 +138,25 @@ printf("gbdd_cml_hash->%d\n", res);
}
// INIT
value gbdd_cml_init (value /*unit*/) {
CAMLparam0();
GBdd::init_module();
//value gbdd_cml_init (value /*unit*/) {
// CAMLparam0();
// GBdd::init_module();
// fprintf(stderr, "gbdd_cml_init \n");
// fflush(stderr);
// GBdd::set_verbose_mode();
// CAMLreturn(Val_unit);
//}
// INIT
value gbdd_cml_init_with_psz_verb (
value psz,
value verb
) {
CAMLparam2(psz,verb);
GBdd::init_module(Int_val(psz));
// fprintf(stderr, "gbdd_cml_init \n");
// fflush(stderr);
GBdd::set_verbose_mode();
if (Bool_val(verb)) GBdd::set_verbose_mode();
CAMLreturn(Val_unit);
}
......
#inputs
#outputs "a":int "b":int "c":int "d":int "e":int
#step 1
#outs 3684 505 -5344 -3651 640
#step 2
#outs 7650 -4464 7322 1929 -389
#step 3
#outs 4084 -4581 8533 1697 -843
#step 4
# Simulation ended normally.
#inputs
#outputs "a":bool
#step 1
#outs T
#step 2
#outs T
#step 3
#outs T
#step 4
#outs T
#step 5
#outs T
#step 6
#outs T
#step 7
#outs T
#step 8
#outs T
#step 9
#outs T
#step 10
#outs F
#step 11
#outs F
#step 12
#outs F
#step 13
#outs F
#step 14
#outs F
#step 15
#outs F
#step 16
#outs F
#step 17
#outs F
#step 18
#outs F
#step 19
#outs F
#step 20
#outs F
#step 21
#outs F
#step 22
#outs F
#step 23
#outs F
#step 24
#outs F
#step 25
#outs F
#step 26
#outs F
#step 27
#outs F
#step 28
#outs F
#step 29
#outs F
#step 30
#outs F
#step 31
#outs F
#step 32
#outs F
#step 33
#outs F
#step 34
#outs F
#step 35
#outs F
#step 36
#outs F
#step 37
#outs F
#step 38
#outs F
#step 39
#outs F
#step 40
#outs F
#step 41
#outs F
#step 42
#outs F
#step 43
#outs F
#step 44
#outs F
#step 45
#outs F
#step 46
#outs F
#step 47
#outs F
#step 48
#outs F
#step 49
#outs F
#step 50
#outs F
#step 51
#outs F
#step 52
#outs F
#step 53
#outs F
#step 54
#outs F
#step 55
#outs F
#step 56
#outs F
#step 57
#outs F
#step 58
#outs F
#step 59
#outs F
#step 60
#outs F
#step 61
#outs F
#step 62
#outs F
#step 63
#outs F
#step 64
#outs F
#step 65
#outs F
#step 66
#outs F
#step 67
#outs F
#step 68
#outs F
#step 69
#outs F
#step 70
#outs F
#step 71
#outs F
#step 72
#outs F
#step 73
#outs F
#step 74
#outs F
#step 75
#outs F
#step 76
#outs F
#step 77
#outs F
#step 78
#outs F
#step 79
#outs F
#step 80
#outs F
#step 81
#outs F
#step 82
#outs F
#step 83
#outs F
#step 84
#outs F
#step 85
#outs F
#step 86
#outs F
#step 87
#outs F
#step 88
#outs F
#step 89
#outs F
#step 90
#outs F
#step 91
#outs F
#step 92
#outs F
#step 93
#outs F
#step 94
#outs F
#step 95
#outs F
#step 96
#outs F
#step 97
#outs F
#step 98
#outs F
#step 99
#outs F
#step 100
#outs F
# Simulation reached max steps.
#inputs
#outputs "a":bool "b":bool "c":bool "d":bool "e":bool
#step 1
#outs T T F F F
#step 2
#outs T F T T F
#step 3
#outs T F T F T
#step 4
# Simulation ended normally.
#inputs
#outputs "a":bool "b":bool "c":bool "d":bool "e":bool
#step 1
#outs T T F T T
#step 2
#outs T T T F T
#step 3
#outs T F F F T
#step 4
# Simulation ended normally.
#inputs
#outputs "a":bool "b":bool "c":bool "d":bool "e":bool "f":bool
#step 1
#outs T T T F T T
#step 2
#outs T F F T T F
#step 3
#outs T F F F F T
#step 4
# Simulation ended normally.
#inputs
#outputs "x":bool "y":bool "z":bool "t":bool
#step 1
#outs T T T T
#step 2
#outs F T T T
#step 3
#outs T F T T
#step 4
# Simulation ended normally.
#inputs
#outputs "x":bool "y":bool "z":bool "t":bool
#step 1
#outs T T T T
#step 2
#outs T T T T
#step 3
#outs T F F T
#step 4
#outs T T F T
#step 5
#outs T F T F
#step 6
#outs T F F F
#step 7
#outs T F F T
#step 8
#outs T F F T
#step 9
#outs T F F F
#step 10
#outs T F F T
#step 11
#outs T F F T
#step 12
#outs T T F T
#step 13
#outs T T F T
#step 14
#outs T F T F
#step 15
#outs T F F F
#step 16
#outs T T F T
#step 17
#outs T T T T
#step 18
#outs T T F T
#step 19
#outs T F F F
#step 20
#outs T F F F
#step 21
#outs T T F T
#step 22
#outs T T T T
#step 23
#outs T T T T
#step 24
#outs T T T F
#step 25
#outs T T T F
#step 26
#outs T T T F
#step 27
#outs T F T T
#step 28
#outs T T F T
#step 29
#outs T T F F
#step 30
#outs T F T T
#step 31
#outs T F F F
#step 32
#outs T T T T
#step 33
#outs T F T T
#step 34
#outs T F F F
#step 35
#outs T F F T
#step 36
#outs T F T T
#step 37
#outs T F T F
#step 38
#outs T F T T
#step 39
#outs T T T T
#step 40
#outs T F F T
#step 41
#outs T T T T
#step 42
#outs T T F T
#step 43
#outs T T T F
#step 44
#outs T F T F
#step 45
#outs T T F F
#step 46
#outs T F T T
#step 47
#outs T F F F
#step 48
#outs T F F T
#step 49
#outs T T F T
#step 50
#outs T F F T
#step 51
#outs T F T F
#step 52
#outs T T F F
#step 53
#outs T F T T
#step 54
#outs T F F T
#step 55
#outs T T F T
#step 56
#outs T F T T
#step 57
#outs T T F F
#step 58
#outs T T F T
#step 59
#outs T F F F
#step 60
#outs T T F T
#step 61
#outs T F T F
#step 62
#outs T T F F
#step 63
#outs T T T F
#step 64
#outs T T T F
#step 65
#outs T T T F
#step 66
#outs T T F T
#step 67
#outs T T F T
#step 68
#outs T F T T
#step 69
#outs T T T T
#step 70
#outs T F F T
#step 71
#outs T T F T
#step 72
#outs T T T F
#step 73
#outs T F F F
#step 74
#outs T F T F
#step 75
#outs T F F T
#step 76
#outs T F T F
#step 77
#outs T F F F
#step 78
#outs T F T F
#step 79
#outs T F F F
#step 80
#outs T T F F
#step 81
#outs T F F F
#step 82
#outs T T F T
#step 83
#outs T T F F
#step 84
#outs T F T T
#step 85
#outs T T F F
#step 86
#outs T T F F
#step 87
#outs T T T F
#step 88
#outs T F F F
#step 89
#outs T T T F
#step 90
#outs T F F F
#step 91
#outs T F F F
#step 92
#outs T T F T
#step 93
#outs T F F F
#step 94
#outs T F T T
#step 95
#outs T F T T
#step 96
#outs T T T F
#step 97
#outs T T F F
#step 98
#outs T F T T
#step 99
#outs T T T F
#step 100
#outs T T F F
# Simulation reached max steps.
#inputs "a":bool "b":bool
#outputs "c":bool
#step 1
# Simulation ended normally.
#inputs "x":bool
#outputs "o1":real "o2":real
#step 1
#outs 3754.65 6713.91
#step 2
#outs 7129.90 234.59
#step 3
#outs 2873.75 -1831.73
#step 4
#outs 3637.34 3537.24
#step 5
#outs -2889.37 4628.42
#step 6
#outs -169.31 4800.70
#step 7
#outs 7124.86 5547.73
#step 8
#outs -5725.75 9962.02
#step 9
#outs 7691.58 -7541.52
#step 10
#outs -5175.57 8010.11
#step 11
#outs -5222.42 9152.55
#step 12
#outs 8951.35 -3277.78
#step 13
#outs -9377.76 9506.51
#step 14
#outs 7007.46 2545.19
#step 15
#outs 4560.94 7290.96
#step 16
#outs 4054.58 -1929.26
#step 17
#outs 1238.87 2965.07
#step 18
#outs 5843.12 2390.53
#step 19
#outs -3430.63 9199.25
#step 20
#outs 3939.46 9009.13
#step 21
#outs -2980.97 8503.16
#step 22
#outs 2295.52 4006.56
#step 23
#outs 2947.43 -2270.06
#step 24
#outs 6629.22 1912.25
#step 25
#outs 9164.80 7264.20
#step 26
#outs 9359.10 5969.27
#step 27
#outs 6536.16 8153.55
#step 28
#outs -536.42 1164.83
#step 29
#outs 826.25 5388.36
#step 30
#outs 7241.63 7937.45
#step 31
#outs -1387.01 2269.92
#step 32
#outs -1054.30 1471.57
#step 33
#outs 5575.26 1537.37
#step 34
#outs 9929.17 -9855.82
#step 35
#outs 7344.76 4568.07
#step 36
#outs 8731.99 4605.29
#step 37
#outs -717.18 6834.98
#step 38
#outs 4742.92 -3227.89
#step 39
#outs 8561.42 -3573.74
#step 40
#outs 2134.19 -1046.59
#step 41
#outs 1051.17 1839.27
#step 42
#outs -3891.13 8651.94
#step 43
#outs 4848.14 6584.55
#step 44
#outs 7693.16 -1916.06
#step 45
#outs 6886.09 7535.52
#step 46