aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* | | | Export without titleYann Herklotz2021-09-271-0/+2
|/ / /
* | | Update the docsYann Herklotz2021-09-201-0/+0
* | | Improve the changelogYann Herklotz2021-09-181-10/+24
| |/ |/|
* | Merge remote-tracking branch 'origin/master'Yann Herklotz2021-09-176-81/+131
|\ \
| * | Update docsYann Herklotz2021-09-162-2/+2
| * | Add number of pages correctlyYann Herklotz2021-09-151-1/+1
| * | Fix a typo in README.orgYann Herklotz2021-09-151-1/+1
| * | Add DOI to articleYann Herklotz2021-09-152-1/+2
| * | Add CITATION.cffYann Herklotz2021-09-151-0/+46
| * | Fix linguist-vendored for repository statisticsYann Herklotz2021-09-151-1/+1
| * | Add more information about paper to READMEYann Herklotz2021-09-151-48/+64
| * | Move license to the SoftwarePipelining directoryYann Herklotz2021-09-152-32/+19
* | | Fix compilation with new CompCert versionYann Herklotz2021-09-174-34/+16
|/ /
* | Fix proofs for SATYann Herklotz2021-08-121-6/+27
* | Add more artifact documentationYann Herklotz2021-08-122-4/+112
* | Fix pretty printing issue in VerilogYann Herklotz2021-08-121-1/+1
* | Use main instead of top for synthesising Vericert designsoopsla21Yann Herklotz2021-07-241-1/+1
* | Update instructions and fix testv1.2.1Yann Herklotz2021-07-124-6/+5
* | Remove comments in docker fileYann Herklotz2021-07-121-3/+3
* | Update the artifact descriptionYann Herklotz2021-07-127-4/+204
* | Remove more OCaml files to compile successfully without admits.Yann Herklotz2021-07-115-1085/+0
* | Remove unnecessary files and proofsYann Herklotz2021-07-117-16/+19
* | Update the run-legup.sh fileYann Herklotz2021-07-111-0/+4
* | Add legup scriptYann Herklotz2021-07-114-4/+74
* | Fix the small test bench for VericertYann Herklotz2021-07-117-137/+67
* | Fix some more of the benchmarksYann Herklotz2021-07-118-49/+35
* | Add divider benchmarksYann Herklotz2021-07-1144-0/+3581
* | Fix makefiles and add a parent makefileYann Herklotz2021-07-104-3/+18
* | Fix Makefiles slightlyYann Herklotz2021-07-108-7/+12
* | Add more documentation and clean up benchmarksYann Herklotz2021-07-1012-158/+139
* | Add docker file and some commentsYann Herklotz2021-07-092-0/+6
|/
* Clean up Memorygen fileYann Herklotz2021-04-071-219/+1
* Remove Admitted in the highest of top-levelsv1.2.0Yann Herklotz2021-04-071-5/+10
* No admitted theorems in Memorygen proof (~‾▿‾)~Yann Herklotz2021-04-071-76/+99
* Basically done with proofYann Herklotz2021-04-076-18/+62
* Let everything compile againYann Herklotz2021-04-061-7/+18
* Finish load and store proof, but broke top-levelYann Herklotz2021-04-067-289/+317
* Finish Veriloggenproof completelyYann Herklotz2021-04-044-57/+339
* Prove all admit in load but oneYann Herklotz2021-04-041-162/+183
* Finish most of load proofYann Herklotz2021-04-041-21/+167
* Finish store proof without admitYann Herklotz2021-04-042-189/+533
* Add logo to readmeYann Herklotz2021-04-021-6/+3
* Fix initialisation moreYann Herklotz2021-04-011-7/+7
* Add 0 initialisationYann Herklotz2021-04-011-1/+1
* Add declarationsYann Herklotz2021-04-011-6/+7
* Add new enable interfaceYann Herklotz2021-04-014-53/+66
* Add memory disableYann Herklotz2021-03-314-163/+306
* Temporary doneYann Herklotz2021-03-301-48/+247
* Add more checks to the implementationYann Herklotz2021-03-291-27/+82
* Update declared sizeYann Herklotz2021-03-281-1/+1
generated by cgit (git 2.34.1) at 2024-06-29 07:58:58 +0000