projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Refactor the tracing code, store the whole tree structure in a javascript array and...
[tatoo.git]
/
src
/
run.ml
diff --git
a/src/run.ml
b/src/run.ml
index
c021dc2
..
fb9f81d
100644
(file)
--- a/
src/run.ml
+++ b/
src/run.ml
@@
-364,8
+364,9
@@
module Make (T : Tree.S) =
run.td_cache <- Cache.N6.create dummy_set;
run.bu_cache <- Cache.N6.create dummy_set;
done;
run.td_cache <- Cache.N6.create dummy_set;
run.bu_cache <- Cache.N6.create dummy_set;
done;
+ IFHTML((run.sat <- List.tl run.sat), ());
pass := Ata.get_max_rank auto + 1;
pass := Ata.get_max_rank auto + 1;
- IFHTML(Html.gen_trace auto run.sat (module T : Tree.S with type t = T.t) tree ,());
+ IFHTML(Html
_trace
.gen_trace auto run.sat (module T : Tree.S with type t = T.t) tree ,());
run
let full_eval auto tree nodes =
run
let full_eval auto tree nodes =