summaryrefslogtreecommitdiff
path: root/backend/CMlexer.mll
Commit message (Expand)AuthorAge
* Ported to Coq 8.4pl1. Merge of branches/coq-8.4.Gravatar xleroy2013-01-29
* Update Cminor parser and printer so that the parser can parse the whole Cmino...Gravatar xleroy2013-01-07
* Merge of the clightgen branch:Gravatar xleroy2012-12-29
* Merge of branch seq-and-or. See Changelog for details.Gravatar xleroy2012-10-06
* Merge of Andrew Tolmach's HASP-related changesGravatar xleroy2012-03-09
* Elimination of "alloc" instruction in Caml files and test files.Gravatar xleroy2009-01-11
* Reorganized the development, modularizing away machine-dependent parts.Gravatar xleroy2008-12-30