Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [Admitted checker] Oracle expansion for float/float32 constant init | Léo Gourdin | 2021-03-02 | 1 | -4/+4 |
* | Merge remote-tracking branch 'origin/riscV-cmov' into riscv-work | Léo Gourdin | 2021-03-02 | 1 | -0/+5 |
|\ | |||||
| * | Adding missing operators in PrintOp for debugging | Léo Gourdin | 2021-02-25 | 1 | -0/+5 |
* | | Try to save values in virtual registers during expansion | Léo Gourdin | 2021-03-01 | 1 | -5/+17 |
* | | Proof of fsval condition cmp ok | Léo Gourdin | 2021-03-01 | 1 | -2/+2 |
* | | cond and branches expanded | Léo Gourdin | 2021-02-06 | 1 | -0/+30 |
* | | Ccomp for long | Léo Gourdin | 2021-02-03 | 1 | -0/+10 |
* | | Ccompu expansion | Léo Gourdin | 2021-02-02 | 1 | -0/+2 |
* | | Expansion of Ccompimm in RTL [Admitted checker] | Léo Gourdin | 2021-02-02 | 1 | -0/+12 |
|/ | |||||
* | RISC-V port and assorted changes | Xavier Leroy | 2017-04-28 | 1 | -0/+166 |