aboutsummaryrefslogtreecommitdiffstats
path: root/src/hls/IfConversion.v
Commit message (Expand)AuthorAgeFilesLines
* Annonimize submissiondev/asplosYann Herklotz2023-08-101-1/+1
* Finish final forward simulation correctnessYann Herklotz2023-08-101-5/+5
* Add if-conversion decision procedureYann Herklotz2023-07-061-3/+26
* Add new if-conversion pass with top-level foldYann Herklotz2022-09-291-16/+12
* Update ifconversion definitionYann Herklotz2022-07-011-16/+22
* Finish DeadBlocksproofYann Herklotz2022-07-011-3/+3
* Working on extending ifconversion proofYann Herklotz2022-06-301-0/+19
* Nearly finished if-conversion proofYann Herklotz2022-06-301-2/+16
* Work on if-conversion proofYann Herklotz2022-06-281-6/+11
* Merge remote-tracking branch 'origin/dev/scheduling' into dev/schedulingYann Herklotz2022-06-281-6/+3
|\
| * Add if-conversion specYann Herklotz2022-06-281-6/+3
* | Update if-conversion functionYann Herklotz2022-06-281-3/+6
|/
* Work on the if-conversion proofYann Herklotz2022-06-091-13/+17
* Rearrange definitions and create IfConversion templateYann Herklotz2022-06-061-17/+21
* Simplify if-conversion passYann Herklotz2022-05-311-30/+80
* Rewrite a lot fixing scheduling of GibleYann Herklotz2022-05-271-20/+31
* Translate the base languagesYann Herklotz2022-05-251-1/+1
* Remove literal files againYann Herklotz2022-03-261-4/+8
* Start work on reverse if-conversionYann Herklotz2022-03-071-1/+1
* Start converting commentsYann Herklotz2022-02-251-6/+2
* Add bourdoncle to buildYann Herklotz2021-12-091-4/+32
* Add simplify operation and simplify IfConversionYann Herklotz2021-11-111-4/+2
* Add a predicate to RBsetpredYann Herklotz2021-10-301-1/+1
* Fix if-conversion and translation with PlitYann Herklotz2021-10-241-3/+3
* Add work towards decidability of SAT solverYann Herklotz2021-10-211-3/+4
* Fix if-conversion pass with positivesYann Herklotz2021-05-261-1/+1
* Add temporary fixes to get everything to compileYann Herklotz2021-02-121-11/+39
* Fix state generation for if-conversionYann Herklotz2021-02-031-6/+6
* Add if conversion passYann Herklotz2021-02-021-3/+65
* Add if conversion passYann Herklotz2021-02-021-0/+32
generated by cgit (git 2.34.1) at 2024-06-08 11:04:43 +0000