projects / tatoo.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add a new option to choose tree model at runtime.
[tatoo.git] / src / run.mli
2017-04-17 Kim NguyễnAdd a new option to choose tree model at runtime. master commit | commitdiff
2017-04-12 Kim NguyễnAdd a generic deque module. commit | commitdiff
2014-01-11 Kim NguyễnRefactor the statistics gathering code in run.ml commit | commitdiff
2014-01-10 Kim NguyễnAbstract result sets beind a Node_list interface. commit | commitdiff
2013-12-01 Kim NguyễnSplit the formula cache into a top-down and bottom... commit | commitdiff
2013-11-08 Kim NguyễnPrint detailed statisticts of the run. commit | commitdiff
2013-07-24 Kim NguyễnImplement the multiple-starters feature: commit | commitdiff
2013-07-19 Kim NguyễnPreliminary work for multiple starters evaluation. refactor/sanitize-ata commit | commitdiff
2013-07-19 Kim NguyễnRefactor the Ata module: commit | commitdiff
Tree Automata TOOlkit