projects / tatoo.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Do not update the run if the todo set is empty for the current node.
[tatoo.git] / src / run.ml
2013-08-16 Kim NguyễnDo not update the run if the todo set is empty for... blob | commitdiff | raw
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