projects / tatoo.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Refactor the statistics gathering code in run.ml
[tatoo.git] / src / run.ml
2014-01-11 Kim NguyễnRefactor the statistics gathering code in run.ml blob | commitdiff | raw
2014-01-11 Kim NguyễnImplement subtree-skipping optimisation (a one liner... blob | commitdiff | raw | diff to current
2014-01-11 Kim NguyễnPerform selection of nodes during the last run instead... blob | commitdiff | raw | diff to current
2014-01-11 Kim NguyễnChange the interface of node_list (fully imperative... blob | commitdiff | raw | diff to current
2014-01-10 Kim NguyễnAbstract result sets beind a Node_list interface. blob | commitdiff | raw | diff to current
2013-12-09 Kim NguyễnRefactor the tracing code, store the whole tree structu... blob | commitdiff | raw | diff to current
2013-12-08 Kim NguyễnRefactor HTML Tracing to not depend on external files... blob | commitdiff | raw | diff to current
2013-12-08 Kim NguyễnRefactor the run module, moving out of the Make functor... blob | commitdiff | raw | diff to current
2013-12-06 Kim NguyễnResurect the HTML trace. Now generates a single HTML... blob | commitdiff | raw | diff to current
2013-12-03 Kim NguyễnSpeed-up the run function by keeping only the set of... blob | commitdiff | raw | diff to current
2013-12-02 Kim NguyễnWIP blob | commitdiff | raw | diff to current
2013-12-01 Kim NguyễnSplit the formula cache into a top-down and bottom... blob | commitdiff | raw | diff to current
2013-12-01 Kim NguyễnRemove some unneeded code that was slowing down the... blob | commitdiff | raw | diff to current
2013-11-30 Kim NguyễnRefine the run to have a different set of states to... blob | commitdiff | raw | diff to current
2013-11-25 Kim NguyễnCosmetic changes (truncate long lines, remove trailing... blob | commitdiff | raw | diff to current
2013-11-24 Kim NguyễnImplement the ranked automata evaluation to guarantee... blob | commitdiff | raw | diff to current
2013-11-08 Kim NguyễnPrint detailed statisticts of the run. blob | commitdiff | raw | diff to current
2013-08-18 Kim NguyễnRefactor HTML tracing utility. Color the nodes that... blob | commitdiff | raw | diff to current
2013-08-18 Kim NguyễnIncrease the size of the border of selected nodes in... blob | commitdiff | raw | diff to current
2013-08-16 Kim NguyễnDo not update the run if the todo set is empty for... blob | commitdiff | raw | diff to current
2013-08-15 Kim NguyễnRewrite the HTML debugging output to generate an svg... blob | commitdiff | raw | diff to current
2013-08-14 Kim NguyễnAdd fold_left/right functions to the set interface... blob | commitdiff | raw | diff to current
2013-08-07 Kim NguyễnImprove performance of parallel run by replacing standa... blob | commitdiff | raw | diff to current
2013-07-27 Kim NguyễnLowlevel optimizations in the Ptset module, replace... blob | commitdiff | raw | diff to current
2013-07-26 Kim NguyễnDo not stupidely recompute a constant set of states... blob | commitdiff | raw | diff to current
2013-07-26 Kim NguyễnImprove performances by moving the caching outside... blob | commitdiff | raw | diff to current
2013-07-26 Kim NguyễnDrastically improve performances by simplifying the... blob | commitdiff | raw | diff to current
2013-07-25 Kim NguyễnRevert "Tentative optimization" blob | commitdiff | raw | diff to current
2013-07-25 Kim NguyễnTentative optimization blob | commitdiff | raw | diff to current
2013-07-24 Kim NguyễnImplement the multiple-starters feature: blob | commitdiff | raw | diff to current
2013-07-19 Kim NguyễnPreliminary work for multiple starters evaluation. refactor/sanitize-ata blob | commitdiff | raw | diff to current
2013-07-19 Kim NguyễnRefactor the Ata module: blob | commitdiff | raw | diff to current
Tree Automata TOOlkit