aboutsummaryrefslogtreecommitdiffstats
path: root/riscV/RTLpathSE_simplify.v
Commit message (Expand)AuthorAgeFilesLines
* Refactoring the mayundef OP to be more general...Léo Gourdin2021-03-301-86/+118
* fix admitLéo Gourdin2021-03-261-2/+1
* Adding more expansions, improving miniCSE, and tuning prepassLéo Gourdin2021-03-261-13/+719
* Merge remote-tracking branch 'origin/riscv-work' into riscv-work-fpinit-stillexpLéo Gourdin2021-03-061-46/+44
|\
| * Adding a mini CSE pass in the expansion oracleLéo Gourdin2021-03-061-46/+44
* | Adding fp init expansionsLéo Gourdin2021-03-021-0/+15
|/
* Proofs finished for expansionLéo Gourdin2021-03-011-18/+61
* Debugging fake values finishedLéo Gourdin2021-03-011-7/+14
* some bugfixLéo Gourdin2021-03-011-11/+16
* Proof of fsval condition cmp okLéo Gourdin2021-03-011-91/+389
* [Admitted checker] Some more proof, version with buggy addirw0Léo Gourdin2021-02-251-5/+126
* some more proof for fake hsval checker expansionsLéo Gourdin2021-02-251-44/+769
* [Intermediate] Adding fake hsval for Ccomp expansionLéo Gourdin2021-02-231-3/+108
* Separate target_op_simplify for riscVLéo Gourdin2021-02-231-0/+19
generated by cgit (git 2.34.1) at 2024-06-02 15:38:30 +0000