| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | AArch64 port | Xavier Leroy | 2019-08-08 | 1 | -5/+8 |
| * | Extended asm: print register names according to their types | Xavier Leroy | 2019-06-17 | 1 | -0/+10 |
| * | Harden the extasm.c test, continued | Xavier Leroy | 2018-08-20 | 1 | -4/+4 |
| * | Harden the extasm.c test | Xavier Leroy | 2018-08-20 | 1 | -1/+4 |
| * | RISC-V port and assorted changes | Xavier Leroy | 2017-04-28 | 1 | -1/+1 |
| * | Update the tests and test infrastructure in test/regression | Xavier Leroy | 2016-10-24 | 1 | -1/+11 |
| * | Extended inline asm: revised treatment of clobbered registers. | Xavier Leroy | 2015-05-09 | 1 | -3/+3 |
| * | Take asm clobbers into account for determining callee-save registers used. | Xavier Leroy | 2015-04-23 | 1 | -3/+3 |
| * | Support for GCC-style extended asm, continued: | Xavier Leroy | 2015-04-21 | 1 | -0/+70 |
 |
index : compcert | |
| CompCert fork with minor modifications for Vericert. |
| aboutsummaryrefslogtreecommitdiffstats |