| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add `Declare Scope` where appropriate (#440) | Xavier Leroy | 2022-09-19 | 1 | -0/+1 |
| * | Expand "j_s symb" to "jump symb, x31" assembly pseudo-instruction | Xavier Leroy | 2022-06-24 | 1 | -1/+1 |
| * | Register X1 is destroyed by some built-in functions | Xavier Leroy | 2021-05-13 | 1 | -1/+1 |
| * | RISC-V: fix FP calling conventions | Xavier Leroy | 2021-01-14 | 1 | -0/+4 |
| * | Replace `omega` tactic with `lia` | Xavier Leroy | 2020-12-29 | 1 | -1/+1 |
| * | Revert "Remove `__builtin_nop` for some architectures. (#208)" | Bernhard Schommer | 2020-01-03 | 1 | -1/+3 |
| * | Remove `__builtin_nop` for some architectures. (#208) | Bernhard Schommer | 2019-12-21 | 1 | -3/+1 |
| * | Fix misspellings in messages, man pages, and comments | Xavier Leroy | 2019-05-31 | 1 | -1/+1 |
| * | Generate a nop instruction after some ais annotations (#137) | Bernhard Schommer | 2018-09-12 | 1 | -1/+3 |
| * | Model external calls as destroying all caller-save registers | Xavier Leroy | 2018-06-01 | 1 | -1/+10 |
| * | RISC-V port and assorted changes | Xavier Leroy | 2017-04-28 | 1 | -0/+1172 |
 |
index : compcert | |
| CompCert fork with minor modifications for Vericert. |
| aboutsummaryrefslogtreecommitdiffstats |