projects / tatoo.git / history
| 2017-04-17 | Kim Nguyễn | Pass correct flag to ocamlopt to take care of PIE systems. | blob | commitdiff | raw |
| 2016-10-12 | Kim Nguyễn | * Seal the representation of states | blob | commitdiff | raw | diff to current |
| 2014-04-29 | Kim Nguyễn | Revert the integration of menhir for the time being. | blob | commitdiff | raw | diff to current |
| 2014-03-03 | Kim Nguyễn | Modify configure.in and Remakefile.in to use menhir... | blob | commitdiff | raw | diff to current |
| 2013-12-08 | Kim Nguyễn | Update to latest master of remake. | blob | commitdiff | raw | diff to current |
| 2013-11-28 | Kim Nguyễn | Update to master version of remake. | blob | commitdiff | raw | diff to current |
| 2013-07-24 | Kim Nguyễn | Add a Makefile to drive the build process. | blob | commitdiff | raw | diff to current |
| 2013-07-15 | Kim Nguyễn | Fix a typo which causes mis-detection of the ocaml... | blob | commitdiff | raw | diff to current |
| 2013-04-17 | Kim Nguyễn | Add the remake and configure infrastructure. | blob | commitdiff | raw | diff to current |