| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Tolerance in parsing of 'section' pragma |  xleroy | 2014-09-17 |
| * | Cleaner, more resilient parsing of pragmas. | xleroy | 2014-06-05 |
| * | powerpc/: new unary operation "addsymbol" | xleroy | 2013-11-17 |
| * | Bad printing of alignment on 'comm' symbols. | xleroy | 2013-07-07 |
| * | Big merge of the newregalloc-int64 branch. Lots of changes in two directions: | xleroy | 2013-04-20 |
| * | Strip quotes from section names during #pragma parsing. | xleroy | 2012-07-11 |
| * | checklink: first import of Valentin Robert's validator for asm and link | xleroy | 2012-03-28 |
| * | PowerPC: remove the fmadd and fmsub operators/Asm instructions | xleroy | 2012-03-07 |
| * | Remove 'near-code' access mode, makes no sense in CompCert | xleroy | 2012-03-06 |
| * | Make CPragmas common to all ports. | xleroy | 2012-02-27 |
 |
index : debian-compcert | |
| Debian packaging for CompCert |
| summaryrefslogtreecommitdiff |