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 |