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] / tests / xmark_tiny.xml.summary
2013-04-26 Kim NguyễnRemove the 'round' counter from the hashconsed configur... commit | commitdiff
2013-04-25 Kim NguyễnAdd a bitmap to keep track of whether a subtree needs... commit | commitdiff
2013-04-25 Kim NguyễnUpdate test results. commit | commitdiff
2013-04-23 Kim NguyễnAdd a new test suite. commit | commitdiff
Tree Automata TOOlkit