projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 129708e) | patch
Refactor the run module, moving out of the Make functor everything that can be moved...
authorKim Nguyễn <kn@lri.fr>
Sun, 8 Dec 2013 09:54:54 +0000 (10:54 +0100)
committerKim Nguyễn <kn@lri.fr>
Sun, 8 Dec 2013 09:54:54 +0000 (10:54 +0100)
commitfee64144491afab22d71f6e2de72a9f18f35cd55
tree2c5ad470c9380785bd679e6f11ad5cbf7b10509ctree | snapshot
parent129708eaa5983b9463f96b714c00468602339b0acommit | diff
Refactor the run module, moving out of the Make functor everything that can be moved. Slightly improve the cache module by avoiding one comparison during find on some cases and remove manual call to Gc.compact in main, since it does not seem to help.
src/cache.ml diff | blob | history
src/html_trace.ml [new file with mode: 0644] blob
src/html_trace.mli [new file with mode: 0644] blob
src/run.ml diff | blob | history
src/tatoo.ml diff | blob | history
Tree Automata TOOlkit