aboutsummaryrefslogtreecommitdiffstats
path: root/src/hls/IfConversionproof.v
Commit message (Collapse)AuthorAgeFilesLines
* Annonimize submissiondev/asplosYann Herklotz2023-08-101-1/+1
|
* Finish final forward simulation correctnessYann Herklotz2023-08-101-38/+44
|
* Add if-conversion decision procedureYann Herklotz2023-07-061-8/+11
|
* Change nat to positive in Sat proofYann Herklotz2023-04-271-1/+1
|
* Clean up proofsYann Herklotz2022-10-111-7/+7
|
* Add new if-conversion pass with top-level foldYann Herklotz2022-09-291-48/+55
|
* Add proof using to ifconversionproofYann Herklotz2022-09-291-23/+29
|
* Update ifconversion definitionYann Herklotz2022-07-011-49/+51
|
* Working on extending ifconversion proofYann Herklotz2022-06-301-0/+1
|
* Remove useless commentsYann Herklotz2022-06-301-9/+0
|
* Finish if-conversion proofYann Herklotz2022-06-301-1/+148
|
* Nearly finished if-conversion proofYann Herklotz2022-06-301-63/+282
|
* Update proofYann Herklotz2022-06-301-32/+92
|
* Work on if-conversion proofYann Herklotz2022-06-281-41/+208
|
* Merge remote-tracking branch 'origin/dev/scheduling' into dev/schedulingYann Herklotz2022-06-281-15/+89
|\
| * Merge remote-tracking branch 'origin/dev/scheduling' into dev/schedulingYann Herklotz2022-06-281-2/+4
| |\
| * | Add if-conversion specYann Herklotz2022-06-281-15/+89
| | |
* | | Update if-conversion functionYann Herklotz2022-06-281-0/+4
| |/ |/|
* | Update documentation for GibleYann Herklotz2022-06-241-2/+4
|/
* Work on the if-conversion proofYann Herklotz2022-06-091-19/+32
|
* Rearrange definitions and create IfConversion templateYann Herklotz2022-06-061-0/+197
generated by cgit (git 2.34.1) at 2024-06-28 21:21:13 +0000