projects / tatoo.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
tatoo.git
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
2013-04-23 Kim NguyễnMake the html trace tools use colors to represent the... commit | commitdiff | tree | snapshot
2013-04-23 Kim NguyễnAdd a new test suite. commit | commitdiff | tree | snapshot
2013-04-23 Kim NguyễnCosmetic changes. commit | commitdiff | tree | snapshot
2013-04-23 Kim NguyễnAdd generated files to the .gitignore. commit | commitdiff | tree | snapshot
2013-04-23 Kim NguyễnLast tweaking of the Remakefile for automated testing. commit | commitdiff | tree | snapshot
2013-04-22 Kim NguyễnTune the Remakefile to re-run tests when the binary... commit | commitdiff | tree | snapshot
2013-04-22 Kim NguyễnUse the Remakefile to perform non-regression tests. commit | commitdiff | tree | snapshot
2013-04-22 Kim NguyễnImplement command line options, clean-up screen output. commit | commitdiff | tree | snapshot
2013-04-22 Kim NguyễnMerge branch 'feature/precise-sat' commit | commitdiff | tree | snapshot
2013-04-22 Kim NguyễnHashcons transition evaluation based on node configuration. commit | commitdiff | tree | snapshot
2013-04-22 Kim NguyễnStore a summary of the node (kind, topology) in the... commit | commitdiff | tree | snapshot
2013-04-18 Kim Nguyễnadd OCaml object files to .gitignore commit | commitdiff | tree | snapshot
2013-04-18 Kim NguyễnHash-conses each node configuration. commit | commitdiff | tree | snapshot
2013-04-18 Kim NguyễnFix the Remakefile and testing script. commit | commitdiff | tree | snapshot
2013-04-18 Kim NguyễnMaintain the set of unsatisfiable states. commit | commitdiff | tree | snapshot
2013-04-18 Kim NguyễnFix the Remakefile and testing script. commit | commitdiff | tree | snapshot
2013-04-18 Kim NguyễnAdd an INSTALL file. commit | commitdiff | tree | snapshot
2013-04-18 Kim NguyễnRe-organize the Remakefile. commit | commitdiff | tree | snapshot
2013-04-17 Kim NguyễnMake the main target more generic, to allow compilation of commit | commitdiff | tree | snapshot
2013-04-17 Kim NguyễnAdd a distclean target that removes every file generate... commit | commitdiff | tree | snapshot
2013-04-17 Kim NguyễnModified building instructions. commit | commitdiff | tree | snapshot
2013-04-17 Kim NguyễnRemove OCamlbuild related files. Youpi. commit | commitdiff | tree | snapshot
2013-04-17 Kim NguyễnAdd the remake and configure infrastructure. commit | commitdiff | tree | snapshot
2013-04-17 Kim NguyễnFix remaining compilation bug caused by the refactoring... commit | commitdiff | tree | snapshot
2013-04-17 Kim NguyễnAdd configure and remake generated files to .gitignore commit | commitdiff | tree | snapshot
2013-04-04 Kim NguyễnMerge branch 'master' of ssh://git.nguyen.vg/tatoo commit | commitdiff | tree | snapshot
2013-04-04 Kim NguyễnFlatten the sources, only leave the XPath module packed. commit | commitdiff | tree | snapshot
2013-04-04 Kim NguyễnFix the build script. commit | commitdiff | tree | snapshot
2013-03-23 Kim NguyễnAdd AUTHORS file commit | commitdiff | tree | snapshot
2013-03-23 Kim NguyễnPrintout statistics about cache occupation. commit | commitdiff | tree | snapshot
2013-03-23 Kim NguyễnSilences the newly introduced K warning (unused functions) commit | commitdiff | tree | snapshot
2013-03-18 Kim Nguyễn- Reorder the keys used to cache transitions commit | commitdiff | tree | snapshot
2013-03-16 Kim NguyễnDisplay caching and iteration statistics at the end... commit | commitdiff | tree | snapshot
2013-03-15 Kim NguyễnSimplify transition instead of evaluating them to true... commit | commitdiff | tree | snapshot
2013-03-15 Kim NguyễnAdd the JAXP reference files to the repository. commit | commitdiff | tree | snapshot
2013-03-15 Kim NguyễnRework the test script. commit | commitdiff | tree | snapshot
2013-03-15 Kim NguyễnAdd debugging information to the automaton. commit | commitdiff | tree | snapshot
2013-03-15 Kim NguyễnModify the testing scripts. commit | commitdiff | tree | snapshot
2013-03-15 Kim NguyễnCode refactoring: commit | commitdiff | tree | snapshot
2013-03-15 Kim NguyễnMake the output graph nodes rectangular. commit | commitdiff | tree | snapshot
2013-03-14 Kim NguyễnAdd a 'trace' mode (must be enabled at build time)... commit | commitdiff | tree | snapshot
2013-03-14 Kim NguyễnWrite the caching module in a more systematic way. commit | commitdiff | tree | snapshot
2013-03-14 Kim NguyễnReuse the same cache between different iterations. commit | commitdiff | tree | snapshot
2013-03-14 Kim NguyễnRework the testing script. commit | commitdiff | tree | snapshot
2013-03-13 Kim NguyễnMake the program report query execution time and query... commit | commitdiff | tree | snapshot
2013-03-13 Kim NguyễnStaturate the set of state of the current node to avoid... commit | commitdiff | tree | snapshot
2013-03-13 Kim NguyễnReplace the Hashtbl.t used for mapping nodes to state... commit | commitdiff | tree | snapshot
2013-03-13 Kim NguyễnImplement runtime optimisation via Hashing of transitions. commit | commitdiff | tree | snapshot
2013-03-13 Kim NguyễnAdd a caching module. commit | commitdiff | tree | snapshot
2013-03-13 Kim NguyễnAdd xmark benchmarking file. commit | commitdiff | tree | snapshot
2013-03-13 Kim NguyễnRemove spurious debugging messages. commit | commitdiff | tree | snapshot
2013-03-13 Kim NguyễnAdd .. and . to the path syntax. commit | commitdiff | tree | snapshot
2013-03-13 Kim NguyễnRemove git bug related files. commit | commitdiff | tree | snapshot
2013-03-13 Kim NguyễnFix a bug in the handling of processing-instruction... commit | commitdiff | tree | snapshot
2013-03-13 Kim NguyễnAdd support for following and preceding using the usual... commit | commitdiff | tree | snapshot
2013-03-13 Kim NguyễnAdd a kind element to the node tree. Improve support... commit | commitdiff | tree | snapshot
2013-03-13 Kim NguyễnRework the java test program to print out attribute... commit | commitdiff | tree | snapshot
2013-03-13 Kim NguyễnPut the node_kind type into a NodeKind module in the... commit | commitdiff | tree | snapshot
2013-03-13 Kim NguyễnRemove old test files. commit | commitdiff | tree | snapshot
2013-03-13 Kim NguyễnAdd a new test case for comments nodes. commit | commitdiff | tree | snapshot
2013-03-10 Kim NguyễnAllow the @id syntax in XPath expressions. commit | commitdiff | tree | snapshot
2013-03-10 Kim NguyễnFix a nasty bug in PtSet module (intersect function... commit | commitdiff | tree | snapshot
2013-03-10 Kim NguyễnBUG added: [68ad3227c315] following/preceding axes commit | commitdiff | tree | snapshot
2013-03-10 Kim NguyễnInitialized bug tracker commit | commitdiff | tree | snapshot
2013-03-10 Kim NguyễnMake the test script less verbose commit | commitdiff | tree | snapshot
2013-03-10 Kim NguyễnFix descendant-or-self (which wrongly looked for elemen... commit | commitdiff | tree | snapshot
2013-03-10 Kim NguyễnChange the path to the root directory before attempting... commit | commitdiff | tree | snapshot
2013-03-10 Kim NguyễnMain program output incorrect xml tags commit | commitdiff | tree | snapshot
2013-03-10 Kim NguyễnWorkaround lame ocamlbuild issues (symlinks are not... commit | commitdiff | tree | snapshot
2013-03-10 Kim NguyễnAdd .class files to .gitignore commit | commitdiff | tree | snapshot
2013-03-10 Kim NguyễnSilence an 'unused variable' warning. commit | commitdiff | tree | snapshot
2013-03-10 Kim NguyễnHandle compiling the java test program from ocamlbuild too commit | commitdiff | tree | snapshot
2013-03-10 Kim NguyễnAdd a missing ';' and remove some dead code and outdate... commit | commitdiff | tree | snapshot
2013-03-10 Kim NguyễnMerge branch 'feature/test-suite' commit | commitdiff | tree | snapshot
2013-03-10 Kim NguyễnMerge branch 'feature/attributes' commit | commitdiff | tree | snapshot
2013-03-10 Kim NguyễnFix the xml_diff program to also check trailing events... commit | commitdiff | tree | snapshot
next
Tree Automata TOOlkit