| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Assorted fixes to fix parsing issues and be more GCC-like: |  xleroy | 2014-05-12 |
| * | Fix string litteral parsing |  jjourdan | 2014-05-11 |
| * | - Added alternate keywords __inline, __restrict, etc, for GCC compatibility | xleroy | 2014-05-08 |
| * | Treat all identifiers as VAR_NAME by default (i.e. if not bound by a typedef)... | xleroy | 2014-05-05 |
| * | Be less picky in the way we parse '#' lines | xleroy | 2014-05-02 |
| * | Integration of Jacques-Henri Jourdan's verified parser. | xleroy | 2014-04-29 |
| * | Merge of the "alignas" branch. | xleroy | 2013-10-05 |
| * | Flocq-based parsing of floating-point literals (Jacques-Henri Jourdan) | xleroy | 2012-11-03 |
| * | 'typeof' is not a keyword | xleroy | 2012-02-29 |
| * | - Support for _Alignof(ty) operator from ISO C 2011 | xleroy | 2012-02-26 |
| * | Switching to the new C parser/elaborator/simplifier | xleroy | 2010-03-03 |
 |
index : debian-compcert | |
| Debian packaging for CompCert |
| summaryrefslogtreecommitdiff |