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

2013-11-30	Kim Nguyễn	Fix a bug in the build script that was causing some...	blob \| commitdiff \| raw
2013-07-25	Kim Nguyễn	Add gmon.out to .gitignore	blob \| commitdiff \| raw \| diff to current
2013-07-25	Kim Nguyễn	Add Makefile to .gitignore	blob \| commitdiff \| raw \| diff to current
2013-07-24	Kim Nguyễn	Refactor the build process. Piggyback on remake's depen...	blob \| commitdiff \| raw \| diff to current
2013-04-23	Kim Nguyễn	Add generated files to the .gitignore.	blob \| commitdiff \| raw \| diff to current
2013-04-22	Kim Nguyễn	Merge branch 'feature/precise-sat'	blob \| commitdiff \| raw \| diff to current
2013-04-18	Kim Nguyễn	add OCaml object files to .gitignore	blob \| commitdiff \| raw \| diff to current
2013-04-17	Kim Nguyễn	Add configure and remake generated files to .gitignore	blob \| commitdiff \| raw \| diff to current
2013-04-04	Kim Nguyễn	Merge branch 'master' of ssh://git.nguyen.vg/tatoo	blob \| commitdiff \| raw \| diff to current
2013-03-15	Kim Nguyễn	Rework the test script.	blob \| commitdiff \| raw \| diff to current
2013-03-14	Kim Nguyễn	Add a 'trace' mode (must be enabled at build time)...	blob \| commitdiff \| raw \| diff to current
2013-03-10	Kim Nguyễn	Add .class files to .gitignore	blob \| commitdiff \| raw \| diff to current
2013-03-10	Kim Nguyễn	Merge branch 'feature/test-suite'	blob \| commitdiff \| raw \| diff to current
2013-03-10	Kim Nguyễn	Adds a set of testing script:	blob \| commitdiff \| raw \| diff to current
2012-06-28	Kim Nguyễn	Merge branch 'master' of ssh://git.nguyen.vg/tatoo	blob \| commitdiff \| raw \| diff to current
2012-06-28	Kim Nguyễn	Add .gitignore and ignore result of compilation.	blob \| commitdiff \| raw \| diff to current
2012-06-28	Lucca Hirschi	.gitignore for test.native and _build	blob \| commitdiff \| raw \| diff to current

Tree Automata TOOlkit

RSS Atom