summaryrefslogtreecommitdiff
path: root/cparser/Parse.ml
Commit message (Expand)AuthorAge
* checklink: first import of Valentin Robert's validator for asm and linkGravatar xleroy2012-03-28
* Problems with multiple declarations of publically-visible identifiersGravatar xleroy2012-02-29
* Merge of the "volatile" branch:Gravatar xleroy2012-02-04
* SimplVolatile: new pass to eliminate read-modify-write ops over volatilesGravatar xleroy2011-08-18
* cparser: support for attributes over struct and union.Gravatar xleroy2011-05-12
* Merge of branches/full-expr-4:Gravatar xleroy2010-08-18
* Switching to the new C parser/elaborator/simplifierGravatar xleroy2010-03-03