summaryrefslogtreecommitdiff
path: root/backend/CMtypecheck.ml
Commit message (Expand)AuthorAge
* Conflict between extraction/CList and cil/obj/xxx/clist on case-insensitive f...Gravatar xleroy2009-01-29
* 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