aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)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 designsYann 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-07-17 08:09:42 +0000