aboutsummaryrefslogtreecommitdiffstats
path: root/driver/Compiler.v
Commit message (Expand)AuthorAgeFilesLines
* Added 'going wrong' behaviorsxleroy2009-08-051-30/+32
* Adapted to work with Coq 8.2-1v1.4.1xleroy2009-06-051-7/+7
* Added tail call optimization passxleroy2009-03-261-2/+9
* Reorganized the development, modularizing away machine-dependent parts.xleroy2008-12-301-0/+305