aboutsummaryrefslogtreecommitdiffstats
path: root/riscV/RTLpathSE_simplify.v
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/kvx-work' into merge_master_8.13.1Cyril SIX2021-06-011-170/+939
|\
| * Adding both RV expansion methods in kvx-workLéo Gourdin2021-05-191-10/+0
| * adding missing xorimm expLéo Gourdin2021-04-091-0/+67
| * Removing expansions from AsmgenLéo Gourdin2021-04-091-0/+10
| * Removing addptrofs draft, next will be mergingLéo Gourdin2021-04-091-35/+0
| * Important commit on expansions' mini CSE, and a draft for addptrofsLéo Gourdin2021-04-061-86/+70
| * a more general way to manage special registers before introducing SPLéo Gourdin2021-03-301-91/+94
| * Now a more general way to perform imm operationsLéo Gourdin2021-03-301-2/+2
| * 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
| |/
* / replacing omega with lia in some fileLéo Gourdin2021-03-291-7/+7
|/
* 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 16:56:39 +0000