projects
/
tatoo.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
add .merlin file.
[tatoo.git]
/
tests
/
2013-12-06
Kim Nguyễn
Resurect the HTML trace. Now generates a single HTML...
tree
|
commitdiff
2013-12-03
Kim Nguyễn
Rename xmark test files so that the name order respects...
tree
|
commitdiff
2013-12-03
Kim Nguyễn
Fix a bug in the test-complexity script and add more...
tree
|
commitdiff
2013-12-01
Kim Nguyễn
Add missing tests for xmark_0.xml file.
tree
|
commitdiff
2013-12-01
Kim Nguyễn
Add the results of reference implementations back.
tree
|
commitdiff
2013-11-30
Kim Nguyễn
Fix typos int the test file generation script.
tree
|
commitdiff
2013-11-30
Kim Nguyễn
Refactor the testing infrastructure.
tree
|
commitdiff
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