git.nguyen.vg Git - tatoo.git/search

2013-04-23	Kim Nguyễn	Add generated files to the .gitignore.	commit \| commitdiff \| tree
2013-04-23	Kim Nguyễn	Last tweaking of the Remakefile for automated testing.	commit \| commitdiff \| tree
2013-04-22	Kim Nguyễn	Tune the Remakefile to re-run tests when the binary...	commit \| commitdiff \| tree
2013-04-22	Kim Nguyễn	Use the Remakefile to perform non-regression tests.	commit \| commitdiff \| tree
2013-04-22	Kim Nguyễn	Implement command line options, clean-up screen output.	commit \| commitdiff \| tree
2013-04-22	Kim Nguyễn	Merge branch 'feature/precise-sat'	commit \| commitdiff \| tree
2013-04-22	Kim Nguyễn	Hashcons transition evaluation based on node configuration.	commit \| commitdiff \| tree
2013-04-22	Kim Nguyễn	Store a summary of the node (kind, topology) in the...	commit \| commitdiff \| tree
2013-04-18	Kim Nguyễn	add OCaml object files to .gitignore	commit \| commitdiff \| tree
2013-04-18	Kim Nguyễn	Hash-conses each node configuration.	commit \| commitdiff \| tree
2013-04-18	Kim Nguyễn	Fix the Remakefile and testing script.	commit \| commitdiff \| tree
2013-04-18	Kim Nguyễn	Maintain the set of unsatisfiable states.	commit \| commitdiff \| tree
2013-04-18	Kim Nguyễn	Fix the Remakefile and testing script.	commit \| commitdiff \| tree
2013-04-18	Kim Nguyễn	Add an INSTALL file.	commit \| commitdiff \| tree
2013-04-18	Kim Nguyễn	Re-organize the Remakefile.	commit \| commitdiff \| tree
2013-04-17	Kim Nguyễn	Make the main target more generic, to allow compilation of	commit \| commitdiff \| tree
2013-04-17	Kim Nguyễn	Add a distclean target that removes every file generated...	commit \| commitdiff \| tree
2013-04-17	Kim Nguyễn	Modified building instructions.	commit \| commitdiff \| tree
2013-04-17	Kim Nguyễn	Remove OCamlbuild related files. Youpi.	commit \| commitdiff \| tree
2013-04-17	Kim Nguyễn	Add the remake and configure infrastructure.	commit \| commitdiff \| tree
2013-04-17	Kim Nguyễn	Fix remaining compilation bug caused by the refactoring...	commit \| commitdiff \| tree
2013-04-17	Kim Nguyễn	Add configure and remake generated files to .gitignore	commit \| commitdiff \| tree
2013-04-04	Kim Nguyễn	Merge branch 'master' of ssh://git.nguyen.vg/tatoo	commit \| commitdiff \| tree
2013-04-04	Kim Nguyễn	Flatten the sources, only leave the XPath module packed.	commit \| commitdiff \| tree
2013-04-04	Kim Nguyễn	Fix the build script.	commit \| commitdiff \| tree
2013-03-23	Kim Nguyễn	Add AUTHORS file	commit \| commitdiff \| tree
2013-03-23	Kim Nguyễn	Printout statistics about cache occupation.	commit \| commitdiff \| tree
2013-03-23	Kim Nguyễn	Silences the newly introduced K warning (unused functions)	commit \| commitdiff \| tree
2013-03-18	Kim Nguyễn	- Reorder the keys used to cache transitions	commit \| commitdiff \| tree
2013-03-16	Kim Nguyễn	Display caching and iteration statistics at the end...	commit \| commitdiff \| tree
2013-03-15	Kim Nguyễn	Simplify transition instead of evaluating them to true...	commit \| commitdiff \| tree
2013-03-15	Kim Nguyễn	Add the JAXP reference files to the repository.	commit \| commitdiff \| tree
2013-03-15	Kim Nguyễn	Rework the test script.	commit \| commitdiff \| tree
2013-03-15	Kim Nguyễn	Add debugging information to the automaton.	commit \| commitdiff \| tree
2013-03-15	Kim Nguyễn	Modify the testing scripts.	commit \| commitdiff \| tree
2013-03-15	Kim Nguyễn	Code refactoring:	commit \| commitdiff \| tree
2013-03-15	Kim Nguyễn	Make the output graph nodes rectangular.	commit \| commitdiff \| tree
2013-03-14	Kim Nguyễn	Add a 'trace' mode (must be enabled at build time)...	commit \| commitdiff \| tree
2013-03-14	Kim Nguyễn	Write the caching module in a more systematic way.	commit \| commitdiff \| tree
2013-03-14	Kim Nguyễn	Reuse the same cache between different iterations.	commit \| commitdiff \| tree
2013-03-14	Kim Nguyễn	Rework the testing script.	commit \| commitdiff \| tree
2013-03-13	Kim Nguyễn	Make the program report query execution time and query...	commit \| commitdiff \| tree
2013-03-13	Kim Nguyễn	Staturate the set of state of the current node to avoid...	commit \| commitdiff \| tree
2013-03-13	Kim Nguyễn	Replace the Hashtbl.t used for mapping nodes to state...	commit \| commitdiff \| tree
2013-03-13	Kim Nguyễn	Implement runtime optimisation via Hashing of transitions.	commit \| commitdiff \| tree
2013-03-13	Kim Nguyễn	Add a caching module.	commit \| commitdiff \| tree
2013-03-13	Kim Nguyễn	Add xmark benchmarking file.	commit \| commitdiff \| tree
2013-03-13	Kim Nguyễn	Remove spurious debugging messages.	commit \| commitdiff \| tree
2013-03-13	Kim Nguyễn	Add .. and . to the path syntax.	commit \| commitdiff \| tree
2013-03-13	Kim Nguyễn	Remove git bug related files.	commit \| commitdiff \| tree
2013-03-13	Kim Nguyễn	Fix a bug in the handling of processing-instruction...	commit \| commitdiff \| tree
2013-03-13	Kim Nguyễn	Add support for following and preceding using the usual...	commit \| commitdiff \| tree
2013-03-13	Kim Nguyễn	Add a kind element to the node tree. Improve support...	commit \| commitdiff \| tree
2013-03-13	Kim Nguyễn	Rework the java test program to print out attribute...	commit \| commitdiff \| tree
2013-03-13	Kim Nguyễn	Put the node_kind type into a NodeKind module in the...	commit \| commitdiff \| tree
2013-03-13	Kim Nguyễn	Remove old test files.	commit \| commitdiff \| tree
2013-03-13	Kim Nguyễn	Add a new test case for comments nodes.	commit \| commitdiff \| tree
2013-03-10	Kim Nguyễn	Allow the @id syntax in XPath expressions.	commit \| commitdiff \| tree
2013-03-10	Kim Nguyễn	Fix a nasty bug in PtSet module (intersect function...	commit \| commitdiff \| tree
2013-03-10	Kim Nguyễn	BUG added: [68ad3227c315] following/preceding axes	commit \| commitdiff \| tree
2013-03-10	Kim Nguyễn	Initialized bug tracker	commit \| commitdiff \| tree
2013-03-10	Kim Nguyễn	Make the test script less verbose	commit \| commitdiff \| tree
2013-03-10	Kim Nguyễn	Fix descendant-or-self (which wrongly looked for elements...	commit \| commitdiff \| tree
2013-03-10	Kim Nguyễn	Change the path to the root directory before attempting...	commit \| commitdiff \| tree
2013-03-10	Kim Nguyễn	Main program output incorrect xml tags	commit \| commitdiff \| tree
2013-03-10	Kim Nguyễn	Workaround lame ocamlbuild issues (symlinks are not...	commit \| commitdiff \| tree
2013-03-10	Kim Nguyễn	Add .class files to .gitignore	commit \| commitdiff \| tree
2013-03-10	Kim Nguyễn	Silence an 'unused variable' warning.	commit \| commitdiff \| tree
2013-03-10	Kim Nguyễn	Handle compiling the java test program from ocamlbuild too	commit \| commitdiff \| tree
2013-03-10	Kim Nguyễn	Add a missing ';' and remove some dead code and outdated...	commit \| commitdiff \| tree
2013-03-10	Kim Nguyễn	Merge branch 'feature/test-suite'	commit \| commitdiff \| tree
2013-03-10	Kim Nguyễn	Merge branch 'feature/attributes'	commit \| commitdiff \| tree
2013-03-10	Kim Nguyễn	Fix the xml_diff program to also check trailing events...	commit \| commitdiff \| tree
2013-03-10	Kim Nguyễn	Adds a set of testing script:	commit \| commitdiff \| tree
2013-03-09	Kim Nguyễn	Rename the main testing program.	commit \| commitdiff \| tree
2013-03-09	Kim Nguyễn	Add a new test case.	commit \| commitdiff \| tree
2013-03-09	Kim Nguyễn	Fix the handling of attributes:	commit \| commitdiff \| tree
2013-03-09	Kim Nguyễn	Fix the pretty printing of the attribute test.	commit \| commitdiff \| tree
2013-03-09	Kim Nguyễn	Add a test case for attribute handling.	commit \| commitdiff \| tree
2013-03-09	Kim Nguyễn	Fix a bug in the parser where a leading '//' would...	commit \| commitdiff \| tree
2013-03-09	Kim Nguyễn	Add a function to remove unreachable states in the...	commit \| commitdiff \| tree
2013-03-09	Kim Nguyễn	Extend the interface with a fold function (over the...	commit \| commitdiff \| tree
2013-03-09	Kim Nguyễn	Rework the formula predicates:	commit \| commitdiff \| tree
2013-03-09	Kim Nguyễn	Add the inverse string (superscript -1) to the module.	commit \| commitdiff \| tree
2013-03-08	Kim Nguyễn	Add another test case.	commit \| commitdiff \| tree
2013-03-08	Kim Nguyễn	Actually fix the problems with negation.	commit \| commitdiff \| tree
2013-03-05	Kim Nguyễn	Working for element only document (with arbitrary paths...	commit \| commitdiff \| tree
2013-03-05	Kim Nguyễn	Add a first runtime function. Positive fragment seems...	commit \| commitdiff \| tree
2013-03-05	Kim Nguyễn	Add an abstract generic interface for trees (of which...	commit \| commitdiff \| tree
2013-03-05	Kim Nguyễn	Split the sig.ml module in *_sig.ml (one for each module)	commit \| commitdiff \| tree
2013-03-05	Kim Nguyễn	Silence several warnings (missing _ in records, unused...	commit \| commitdiff \| tree
2013-03-05	Kim Nguyễn	Force compilation with -w @A-4 (all warnings but warning...	commit \| commitdiff \| tree
2013-03-04	Kim Nguyễn	Fix the printing of attributes.	commit \| commitdiff \| tree
2013-03-04	Kim Nguyễn	Remove dead code.	commit \| commitdiff \| tree
2013-03-04	Kim Nguyễn	Allow one to pass several targets to the build script.	commit \| commitdiff \| tree
2013-03-04	Kim Nguyễn	Update hacking instructions.	commit \| commitdiff \| tree
2013-03-04	Kim Nguyễn	Simply use String.make for Pretty.padding and Pretty...	commit \| commitdiff \| tree
2013-03-04	Kim Nguyễn	Replace internal use of str_formatter with local buffered...	commit \| commitdiff \| tree
2013-03-04	Kim Nguyễn	Only print ∑ instead of ∑-{} when the set is universal.	commit \| commitdiff \| tree
2013-03-04	Kim Nguyễn	First implementation of compilation from XPath to automata...	commit \| commitdiff \| tree
next

Tree Automata TOOlkit

RSS Atom