projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b73ad76) | patch
Add a new option to choose tree model at runtime. master
authorKim Nguyễn <kn@lri.fr>
Mon, 17 Apr 2017 12:19:07 +0000 (14:19 +0200)
committerKim Nguyễn <kn@lri.fr>
Mon, 17 Apr 2017 12:19:07 +0000 (14:19 +0200)
commit84751fead39221a8e01d20a4692faf0b63a7c996
treeb746045b8c59f4cb1b1dc3b033130f2a32eb248btree | snapshot
parentb73ad7605777c49c65673e34f6f9ee635053db13commit | diff
Add a new option to choose tree model at runtime.
src/options.ml diff | blob | history
src/run.ml diff | blob | history
src/run.mli diff | blob | history
src/tatoo.ml diff | blob | history
Tree Automata TOOlkit