projects
/
tatoo.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Fix a bug in the build script that was causing some .cmo files to have a false depend...
[tatoo.git]
/
tests
/
2013-11-24
Kim Nguyễn
Add a tiny XML file to help debug automata behaviour.
tree
|
commitdiff
2013-11-08
Kim Nguyễn
Add a script to output the number of states/running...
tree
|
commitdiff
2013-08-15
Kim Nguyễn
Rewrite the HTML debugging output to generate an svg...
tree
|
commitdiff
2013-07-25
Kim Nguyễn
Factor Remakefie and add more tests for parallel query...
feature/multiple-starters
tree
|
commitdiff
2013-07-24
Kim Nguyễn
Implement the multiple-starters feature:
tree
|
commitdiff
2013-04-26
Kim Nguyễn
Remove the 'round' counter from the hashconsed configur...
tree
|
commitdiff
2013-04-25
Kim Nguyễn
Add a bitmap to keep track of whether a subtree needs...
tree
|
commitdiff
2013-04-25
Kim Nguyễn
Update test results.
tree
|
commitdiff
2013-04-23
Kim Nguyễn
Make the html trace tools use colors to represent the...
tree
|
commitdiff
2013-04-23
Kim Nguyễn
Add a new test suite.
tree
|
commitdiff
2013-04-23
Kim Nguyễn
Last tweaking of the Remakefile for automated testing.
tree
|
commitdiff
2013-04-22
Kim Nguyễn
Tune the Remakefile to re-run tests when the binary...
tree
|
commitdiff
2013-04-22
Kim Nguyễn
Use the Remakefile to perform non-regression tests.
tree
|
commitdiff
2013-04-04
Kim Nguyễn
Merge branch 'master' of ssh://git.nguyen.vg/tatoo
tree
|
commitdiff
2013-03-15
Kim Nguyễn
Add the JAXP reference files to the repository.
tree
|
commitdiff
2013-03-14
Kim Nguyễn
Add a 'trace' mode (must be enabled at build time)...
tree
|
commitdiff
2013-03-13
Kim Nguyễn
Implement runtime optimisation via Hashing of transitions.
tree
|
commitdiff
2013-03-13
Kim Nguyễn
Add xmark benchmarking file.
tree
|
commitdiff
2013-03-13
Kim Nguyễn
Fix a bug in the handling of processing-instruction...
tree
|
commitdiff
2013-03-13
Kim Nguyễn
Remove old test files.
tree
|
commitdiff
2013-03-13
Kim Nguyễn
Add a new test case for comments nodes.
tree
|
commitdiff
2013-03-10
Kim Nguyễn
Merge branch 'feature/test-suite'
tree
|
commitdiff
2013-03-10
Kim Nguyễn
Merge branch 'feature/attributes'
tree
|
commitdiff
2013-03-10
Kim Nguyễn
Adds a set of testing script:
tree
|
commitdiff
2013-03-09
Kim Nguyễn
Add a new test case.
tree
|
commitdiff
2013-03-09
Kim Nguyễn
Add a test case for attribute handling.
tree
|
commitdiff
2013-03-08
Kim Nguyễn
Add another test case.
tree
|
commitdiff
2013-03-08
Kim Nguyễn
Actually fix the problems with negation.
tree
|
commitdiff
2012-10-26
Kim Nguyễn
Merge branch 'master' of ssh://git.nguyen.vg/tatoo
tree
|
commitdiff
2012-06-29
Lucca Hirschi
Queries and script for testing.
tree
|
commitdiff
2012-06-28
Kim Nguyễn
Add attributes to the test document.
tree
|
commitdiff
2012-06-28
Kim Nguyễn
Usable version:
tree
|
commitdiff