| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Qualify `Hint` as `Global Hint` where appropriate | Xavier Leroy | 2021-01-21 | 1 | -1/+1 |
| * | Support re-normalization of function parameters at function entry | Xavier Leroy | 2021-01-16 | 1 | -6/+10 |
| * | Replace `omega` tactic with `lia` | Xavier Leroy | 2020-12-29 | 1 | -8/+8 |
| * | AArch64: macOS port | Xavier Leroy | 2020-12-26 | 1 | -75/+157 |
| * | Platform-independent implementation of Conventions.size_arguments (#222) | Xavier Leroy | 2020-02-24 | 1 | -107/+0 |
| * | AArch64: normalize function return values of small integer type | Xavier Leroy | 2020-02-21 | 1 | -3/+11 |
| * | Support re-normalization of values returned by function calls | Xavier Leroy | 2020-02-21 | 1 | -0/+5 |
| * | Refine the type of function results in AST.signature | Xavier Leroy | 2020-02-21 | 1 | -9/+8 |
| * | AArch64 port | Xavier Leroy | 2019-08-08 | 1 | -0/+380 |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |