projects / tatoo.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Revert the integration of menhir for the time being.
2014-04-29 Kim NguyễnRevert the integration of menhir for the time being.
 commit | commitdiff | tree
2014-03-17 Kim NguyễnCherry pick use of menhir features from branch feature...
commit | commitdiff | tree
2014-03-03 Kim NguyễnFurther simplify Remakefile. Remove some inefficiency...
commit | commitdiff | tree
2014-03-03 Kim NguyễnRemove passing $NATIVE on the remake command line of...
commit | commitdiff | tree
2014-03-03 Kim NguyễnModify configure.in and Remakefile.in to use menhir...
commit | commitdiff | tree
2014-03-03 Kim NguyễnUpdate to remake version 0.11 (support for .PHONY targets).
 commit | commitdiff | tree
2014-01-21 Kim NguyễnCosmetic changes (whitespaces and indentation)
 commit | commitdiff | tree
2014-01-11 Kim NguyễnRefactor the statistics gathering code in run.ml
 commit | commitdiff | tree
2014-01-11 Kim NguyễnImplement subtree-skipping optimisation (a one liner...
commit | commitdiff | tree
2014-01-11 Kim NguyễnPerform selection of nodes during the last run instead...
commit | commitdiff | tree
2014-01-11 Kim NguyễnChange the interface of node_list (fully imperative...
commit | commitdiff | tree
2014-01-10 Kim NguyễnAbstract result sets beind a Node_list interface.
 commit | commitdiff | tree
2014-01-07 Kim NguyễnFix a bug in ocaml build script (echo -n is not supported...
commit | commitdiff | tree
2013-12-09 Kim NguyễnRefactor the tracing code, store the whole tree structure...
commit | commitdiff | tree
2013-12-08 Kim NguyễnCosmetic changes (whitespaces) and add comments at...
commit | commitdiff | tree
2013-12-08 Kim NguyễnUpdate to latest master of remake.
 commit | commitdiff | tree
2013-12-08 Kim NguyễnRefactor HTML Tracing to not depend on external files...
commit | commitdiff | tree
2013-12-08 Kim NguyễnRefactor the run module, moving out of the Make functor...
commit | commitdiff | tree
2013-12-06 Kim NguyễnResurect the HTML trace. Now generates a single HTML...
commit | commitdiff | tree
2013-12-03 Kim NguyễnRename xmark test files so that the name order respects...
commit | commitdiff | tree
2013-12-03 Kim NguyễnFix a bug in the test-complexity script and add more...
commit | commitdiff | tree
2013-12-03 Kim NguyễnSpeed-up the run function by keeping only the set of...
commit | commitdiff | tree
2013-12-02 Kim NguyễnWIP
 commit | commitdiff | tree
2013-12-01 Kim NguyễnSplit the formula cache into a top-down and bottom...
commit | commitdiff | tree
2013-12-01 Kim NguyễnRemove some unneeded code that was slowing down the...
commit | commitdiff | tree
2013-12-01 Kim NguyễnAdd missing tests for xmark_0.xml file.
 commit | commitdiff | tree
2013-12-01 Kim NguyễnAdd the results of reference implementations back.
 commit | commitdiff | tree
2013-11-30 Kim NguyễnFix typos int the test file generation script.
 commit | commitdiff | tree
2013-11-30 Kim NguyễnAdd generated test files to .gitignore
 commit | commitdiff | tree
2013-11-30 Kim NguyễnRefactor the testing infrastructure.
 commit | commitdiff | tree
2013-11-30 Kim NguyễnRefine the run to have a different set of states to...
commit | commitdiff | tree
2013-11-30 Kim NguyễnFix a bug in the build script that was causing some...
commit | commitdiff | tree
2013-11-30 Kim NguyễnReplace "unsafe" function tempnam by custom code.
 commit | commitdiff | tree
2013-11-30 Kim NguyễnMake remake print "Entering/Leaving directory `foo...
commit | commitdiff | tree
2013-11-28 Kim NguyễnAdd a target to run tests with the bytecode version...
commit | commitdiff | tree
2013-11-28 Kim NguyễnUpdate to master version of remake.
 commit | commitdiff | tree
2013-11-25 Kim NguyễnCosmetic changes (truncate long lines, remove trailing...
commit | commitdiff | tree
2013-11-24 Kim NguyễnImplement the ranked automata evaluation to guarantee...
commit | commitdiff | tree
2013-11-24 Kim NguyễnAdd a tiny XML file to help debug automata behaviour.
 commit | commitdiff | tree
2013-11-22 Kim NguyễnPut the move type of automata in a Move module and...
commit | commitdiff | tree
2013-11-22 Kim NguyễnAdd a utility function Boolean.iter that iterates a...
commit | commitdiff | tree
2013-11-22 Kim NguyễnRemove useless cycles in the generated automaton. A...
commit | commitdiff | tree
2013-11-22 Kim NguyễnSilence an unused variable warning.
 commit | commitdiff | tree
2013-11-08 Kim NguyễnPrint detailed statisticts of the run.
 commit | commitdiff | tree
2013-11-08 Kim NguyễnAdd a script to output the number of states/running...
commit | commitdiff | tree
2013-11-07 Kim NguyễnFix a bug in the compilation of * tests.
 commit | commitdiff | tree
2013-08-18 Kim NguyễnAdd the .mly and .mll files as dependencies of the...
commit | commitdiff | tree
2013-08-18 Kim NguyễnRefactor HTML tracing utility. Color the nodes that...
commit | commitdiff | tree
2013-08-18 Kim NguyễnIncrease the size of the border of selected nodes in...
commit | commitdiff | tree
2013-08-18 Kim NguyễnAlso print the number of states when printing automata.
 commit | commitdiff | tree
2013-08-16 Kim NguyễnDo not update the run if the todo set is empty for...
commit | commitdiff | tree
2013-08-15 Kim NguyễnRewrite the HTML debugging output to generate an svg...
commit | commitdiff | tree
2013-08-14 Kim NguyễnAdd fold_left/right functions to the set interface...
commit | commitdiff | tree
2013-08-07 Kim NguyễnImplement set-theoretic operation on 2WSATA (union...
commit | commitdiff | tree
2013-08-07 Kim NguyễnImplement reverse mapping from preorder to nodes.
 commit | commitdiff | tree
2013-08-07 Kim NguyễnImprove performance of parallel run by replacing standard...
commit | commitdiff | tree
2013-07-27 Kim NguyễnLowlevel optimizations in the Ptset module, replace...
commit | commitdiff | tree
2013-07-26 Kim NguyễnDo not stupidely recompute a constant set of states...
commit | commitdiff | tree
2013-07-26 Kim NguyễnImprove performances by moving the caching outside...
commit | commitdiff | tree
2013-07-26 Kim NguyễnDrastically improve performances by simplifying the...
commit | commitdiff | tree
2013-07-25 Kim NguyễnRevert "Tentative optimization"
 commit | commitdiff | tree
2013-07-25 Kim NguyễnAdd gmon.out to .gitignore
 commit | commitdiff | tree
2013-07-25 Kim NguyễnTentative optimization
 commit | commitdiff | tree
2013-07-25 Kim NguyễnFactor Remakefie and add more tests for parallel query...
commit | commitdiff | tree
2013-07-25 Kim NguyễnAdd Makefile to .gitignore
 commit | commitdiff | tree
2013-07-24 Kim NguyễnAdd a Makefile to drive the build process.
 commit | commitdiff | tree
2013-07-24 Kim NguyễnFix invalid variable substitution in buildscript.
 commit | commitdiff | tree
2013-07-24 Kim NguyễnUpdate the output of the reference implementation to...
commit | commitdiff | tree
2013-07-24 Kim NguyễnRemove un-needed scripts
 commit | commitdiff | tree
2013-07-24 Kim NguyễnFactorise common bits of Remakefile in tools/ocamldriver.sh
 commit | commitdiff | tree
2013-07-24 Kim NguyễnRefactor the build process. Piggyback on remake's dependency...
commit | commitdiff | tree
2013-07-24 Kim NguyễnAdd more tests (broken, needs a refactoring of the...
commit | commitdiff | tree
2013-07-24 Kim NguyễnAdd tests for parallel query evaluation.
 commit | commitdiff | tree
2013-07-24 Kim NguyễnImplement the multiple-starters feature:
 commit | commitdiff | tree
2013-07-23 Kim NguyễnChange command line options:
 commit | commitdiff | tree
2013-07-23 Kim NguyễnImplement copy and composition of automata.
 commit | commitdiff | tree
2013-07-19 Kim NguyễnPreliminary work for multiple starters evaluation.
 commit | commitdiff | tree
2013-07-19 Kim NguyễnRefactor the Ata module:
 commit | commitdiff | tree
2013-07-17 Kim NguyễnSanitize the representation of formula
 commit | commitdiff | tree
2013-07-17 Kim NguyễnAdd a bullet symbol.
 commit | commitdiff | tree
2013-07-17 Kim NguyễnAdd an int_of_bool cast function.
 commit | commitdiff | tree
2013-07-17 Kim NguyễnAdd an interface for the evaluation module.
 commit | commitdiff | tree
2013-07-17 Kim NguyễnMake remake change to the directory where ./remake...
commit | commitdiff | tree
2013-07-15 Kim NguyễnRemove the timestamp header in source files. This information is
 commit | commitdiff | tree
2013-07-15 Kim NguyễnFix a bug where the content of variables are appended...
commit | commitdiff | tree
2013-07-15 Kim NguyễnFix a typo which causes mis-detection of the ocaml...
commit | commitdiff | tree
2013-07-10 Kim NguyễnMigrate to new remake.
 commit | commitdiff | tree
2013-04-26 Kim NguyễnRemove the 'round' counter from the hashconsed configurations.
 commit | commitdiff | tree
2013-04-25 Kim NguyễnAdd a clean logger infrastructure.
 commit | commitdiff | tree
2013-04-25 Kim NguyễnAdd a bitmap to keep track of whether a subtree needs...
commit | commitdiff | tree
2013-04-25 Kim NguyễnUpdate test results.
 commit | commitdiff | tree
2013-04-23 Kim NguyễnMake the html trace tools use colors to represent the...
commit | commitdiff | tree
2013-04-23 Kim NguyễnAdd a new test suite.
 commit | commitdiff | tree
2013-04-23 Kim NguyễnCosmetic changes.
 commit | commitdiff | tree
2013-04-23 Kim NguyễnAdd generated files to the .gitignore.
 commit | commitdiff | tree
2013-04-23 Kim NguyễnLast tweaking of the Remakefile for automated testing.
 commit | commitdiff | tree
2013-04-22 Kim NguyễnTune the Remakefile to re-run tests when the binary...
commit | commitdiff | tree
2013-04-22 Kim NguyễnUse the Remakefile to perform non-regression tests.
 commit | commitdiff | tree
2013-04-22 Kim NguyễnImplement command line options, clean-up screen output.
 commit | commitdiff | tree
2013-04-22 Kim NguyễnMerge branch 'feature/precise-sat'
 commit | commitdiff | tree
next
Tree Automata TOOlkit