| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Constant propagation within __builtin_annot. |  xleroy | 2013-02-24 |
| * | Coloringaux: better cost estimate for annotation builtins | xleroy | 2011-06-14 |
| * | Revised handling of annotation statements, and more generally built-in functi... | xleroy | 2011-06-13 |
| * | Adding __builtin_annotation | xleroy | 2010-09-01 |
 |
index : debian-compcert | |
| Debian packaging for CompCert |
| summaryrefslogtreecommitdiff |