aboutsummaryrefslogtreecommitdiffstats
path: root/riscV/SelectOp.vp
Commit message (Expand)AuthorAgeFilesLines
* detect redundant cmovDavid Monniaux2021-02-021-3/+12
* Cmov TsingleDavid Monniaux2021-02-021-0/+7
* PselectdDavid Monniaux2021-02-021-0/+4
* cmov on integersDavid Monniaux2021-02-021-2/+8
* begin synthesizing selectDavid Monniaux2021-02-021-1/+5
* bits to floatDavid Monniaux2021-02-011-0/+2
* adding builtinsDavid Monniaux2021-02-011-1/+4
* helpers broke compilationDavid Monniaux2019-07-191-3/+1
* Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2019-07-191-5/+9
|\
| * Give formal semantics to some built-in functions and run-time functionsXavier Leroy2019-07-171-5/+7
* | Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-...David Monniaux2019-06-031-0/+6
|\|
| * Provide a default "select" operation for the RiscV portXavier Leroy2019-05-201-0/+6
* | Risc-V works again (32/64).David Monniaux2019-03-221-0/+7
|/
* Extend builtin arguments with a pointer addition operator, continuedXavier Leroy2017-07-061-0/+4
* RISC-V port and assorted changesXavier Leroy2017-04-281-0/+446
generated by cgit (git 2.34.1) at 2024-05-09 12:57:50 +0000