summaryrefslogtreecommitdiff
path: root/cparser/Elab.mli
Commit message (Expand)AuthorAge
* Switching to the new C parser/elaborator/simplifierGravatar xleroy2010-03-03