| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Cold feet: suppress builtins for load with reservation/store conditional, use... | xleroy | 2014-08-28 | 1 | -6/+0 |
| * | Rename __builtin_cntlz to __builtin_clz. | xleroy | 2014-08-27 | 1 | -1/+1 |
| * | Add builtins for load with reservation and conditional store. | xleroy | 2014-08-20 | 1 | -0/+6 |
| * | powerpc/Asm: simplify the modeling of Csymbol_low and Csymbol_high. | xleroy | 2014-08-18 | 1 | -6/+26 |
| * | All targets: add __builtin_membar | xleroy | 2014-07-28 | 1 | -7/+9 |
| * | PowerPC port: refactored the expansion of built-in functions and | xleroy | 2014-07-28 | 1 | -0/+525 |
 |
index : compcert | |
| CompCert fork with minor modifications for Vericert. |
| aboutsummaryrefslogtreecommitdiffstats |