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

2013-12-08	Kim Nguyễn	Refactor the run module, moving out of the Make functor...	commit \| commitdiff \| tree
2013-12-06	Kim Nguyễn	Resurect the HTML trace. Now generates a single HTML...	commit \| commitdiff \| tree
2013-12-03	Kim Nguyễn	Rename xmark test files so that the name order respects...	commit \| commitdiff \| tree
2013-12-03	Kim Nguyễn	Fix a bug in the test-complexity script and add more...	commit \| commitdiff \| tree
2013-12-03	Kim Nguyễn	Speed-up the run function by keeping only the set of...	commit \| commitdiff \| tree
2013-12-02	Kim Nguyễn	WIP	commit \| commitdiff \| tree
2013-12-01	Kim Nguyễn	Split the formula cache into a top-down and bottom...	commit \| commitdiff \| tree
2013-12-01	Kim Nguyễn	Remove some unneeded code that was slowing down the...	commit \| commitdiff \| tree
2013-12-01	Kim Nguyễn	Add missing tests for xmark_0.xml file.	commit \| commitdiff \| tree
2013-12-01	Kim Nguyễn	Add the results of reference implementations back.	commit \| commitdiff \| tree
2013-11-30	Kim Nguyễn	Fix typos int the test file generation script.	commit \| commitdiff \| tree
2013-11-30	Kim Nguyễn	Add generated test files to .gitignore	commit \| commitdiff \| tree
2013-11-30	Kim Nguyễn	Refactor the testing infrastructure.	commit \| commitdiff \| tree
2013-11-30	Kim Nguyễn	Refine the run to have a different set of states to...	commit \| commitdiff \| tree
2013-11-30	Kim Nguyễn	Fix a bug in the build script that was causing some...	commit \| commitdiff \| tree
2013-11-30	Kim Nguyễn	Replace "unsafe" function tempnam by custom code.	commit \| commitdiff \| tree
2013-11-30	Kim Nguyễn	Make remake print "Entering/Leaving directory `foo...	commit \| commitdiff \| tree
2013-11-28	Kim Nguyễn	Add a target to run tests with the bytecode version...	commit \| commitdiff \| tree
2013-11-28	Kim Nguyễn	Update to master version of remake.	commit \| commitdiff \| tree
2013-11-25	Kim Nguyễn	Cosmetic changes (truncate long lines, remove trailing...	commit \| commitdiff \| tree
2013-11-24	Kim Nguyễn	Implement the ranked automata evaluation to guarantee...	commit \| commitdiff \| tree
2013-11-24	Kim Nguyễn	Add a tiny XML file to help debug automata behaviour.	commit \| commitdiff \| tree
2013-11-22	Kim Nguyễn	Put the move type of automata in a Move module and...	commit \| commitdiff \| tree
2013-11-22	Kim Nguyễn	Add a utility function Boolean.iter that iterates a...	commit \| commitdiff \| tree
2013-11-22	Kim Nguyễn	Remove useless cycles in the generated automaton. A...	commit \| commitdiff \| tree
2013-11-22	Kim Nguyễn	Silence an unused variable warning.	commit \| commitdiff \| tree
2013-11-08	Kim Nguyễn	Print detailed statisticts of the run.	commit \| commitdiff \| tree
2013-11-08	Kim Nguyễn	Add a script to output the number of states/running...	commit \| commitdiff \| tree
2013-11-07	Kim Nguyễn	Fix a bug in the compilation of * tests.	commit \| commitdiff \| tree
2013-08-18	Kim Nguyễn	Add the .mly and .mll files as dependencies of the...	commit \| commitdiff \| tree
2013-08-18	Kim Nguyễn	Refactor HTML tracing utility. Color the nodes that...	commit \| commitdiff \| tree
2013-08-18	Kim Nguyễn	Increase the size of the border of selected nodes in...	commit \| commitdiff \| tree
2013-08-18	Kim Nguyễn	Also print the number of states when printing automata.	commit \| commitdiff \| tree
2013-08-16	Kim Nguyễn	Do not update the run if the todo set is empty for...	commit \| commitdiff \| tree
2013-08-15	Kim Nguyễn	Rewrite the HTML debugging output to generate an svg...	commit \| commitdiff \| tree
2013-08-14	Kim Nguyễn	Add fold_left/right functions to the set interface...	commit \| commitdiff \| tree
2013-08-07	Kim Nguyễn	Implement set-theoretic operation on 2WSATA (union...	commit \| commitdiff \| tree
2013-08-07	Kim Nguyễn	Implement reverse mapping from preorder to nodes.	commit \| commitdiff \| tree
2013-08-07	Kim Nguyễn	Improve performance of parallel run by replacing standard...	commit \| commitdiff \| tree
2013-07-27	Kim Nguyễn	Lowlevel optimizations in the Ptset module, replace...	commit \| commitdiff \| tree
2013-07-26	Kim Nguyễn	Do not stupidely recompute a constant set of states...	commit \| commitdiff \| tree
2013-07-26	Kim Nguyễn	Improve performances by moving the caching outside...	commit \| commitdiff \| tree
2013-07-26	Kim Nguyễn	Drastically improve performances by simplifying the...	commit \| commitdiff \| tree
2013-07-25	Kim Nguyễn	Revert "Tentative optimization"	commit \| commitdiff \| tree
2013-07-25	Kim Nguyễn	Add gmon.out to .gitignore	commit \| commitdiff \| tree
2013-07-25	Kim Nguyễn	Tentative optimization	commit \| commitdiff \| tree
2013-07-25	Kim Nguyễn	Factor Remakefie and add more tests for parallel query...	commit \| commitdiff \| tree
2013-07-25	Kim Nguyễn	Add Makefile to .gitignore	commit \| commitdiff \| tree
2013-07-24	Kim Nguyễn	Add a Makefile to drive the build process.	commit \| commitdiff \| tree
2013-07-24	Kim Nguyễn	Fix invalid variable substitution in buildscript.	commit \| commitdiff \| tree
2013-07-24	Kim Nguyễn	Update the output of the reference implementation to...	commit \| commitdiff \| tree
2013-07-24	Kim Nguyễn	Remove un-needed scripts	commit \| commitdiff \| tree
2013-07-24	Kim Nguyễn	Factorise common bits of Remakefile in tools/ocamldriver.sh	commit \| commitdiff \| tree
2013-07-24	Kim Nguyễn	Refactor the build process. Piggyback on remake's dependency...	commit \| commitdiff \| tree
2013-07-24	Kim Nguyễn	Add more tests (broken, needs a refactoring of the...	commit \| commitdiff \| tree
2013-07-24	Kim Nguyễn	Add tests for parallel query evaluation.	commit \| commitdiff \| tree
2013-07-24	Kim Nguyễn	Implement the multiple-starters feature:	commit \| commitdiff \| tree
2013-07-23	Kim Nguyễn	Change command line options:	commit \| commitdiff \| tree
2013-07-23	Kim Nguyễn	Implement copy and composition of automata.	commit \| commitdiff \| tree
2013-07-19	Kim Nguyễn	Preliminary work for multiple starters evaluation.	commit \| commitdiff \| tree
2013-07-19	Kim Nguyễn	Refactor the Ata module:	commit \| commitdiff \| tree
2013-07-17	Kim Nguyễn	Sanitize the representation of formula	commit \| commitdiff \| tree
2013-07-17	Kim Nguyễn	Add a bullet symbol.	commit \| commitdiff \| tree
2013-07-17	Kim Nguyễn	Add an int_of_bool cast function.	commit \| commitdiff \| tree
2013-07-17	Kim Nguyễn	Add an interface for the evaluation module.	commit \| commitdiff \| tree
2013-07-17	Kim Nguyễn	Make remake change to the directory where ./remake...	commit \| commitdiff \| tree
2013-07-15	Kim Nguyễn	Remove the timestamp header in source files. This information is	commit \| commitdiff \| tree
2013-07-15	Kim Nguyễn	Fix a bug where the content of variables are appended...	commit \| commitdiff \| tree
2013-07-15	Kim Nguyễn	Fix a typo which causes mis-detection of the ocaml...	commit \| commitdiff \| tree
2013-07-10	Kim Nguyễn	Migrate to new remake.	commit \| commitdiff \| tree
2013-04-26	Kim Nguyễn	Remove the 'round' counter from the hashconsed configurations.	commit \| commitdiff \| tree
2013-04-25	Kim Nguyễn	Add a clean logger infrastructure.	commit \| commitdiff \| tree
2013-04-25	Kim Nguyễn	Add a bitmap to keep track of whether a subtree needs...	commit \| commitdiff \| tree
2013-04-25	Kim Nguyễn	Update test results.	commit \| commitdiff \| tree
2013-04-23	Kim Nguyễn	Make the html trace tools use colors to represent the...	commit \| commitdiff \| tree
2013-04-23	Kim Nguyễn	Add a new test suite.	commit \| commitdiff \| tree
2013-04-23	Kim Nguyễn	Cosmetic changes.	commit \| commitdiff \| tree
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
next

Tree Automata TOOlkit

RSS Atom