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