aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Fix equivalence checkingYann Herklotz2021-10-012-5/+2
* Add printers for expressions and RTLParYann Herklotz2021-10-012-0/+114
* Fix compilation of new intermediate languagesYann Herklotz2021-10-016-12/+21
* Improve equivalence checking using SATYann Herklotz2021-10-011-15/+22
* Fix scheduler for operation chainingYann Herklotz2021-10-011-8/+22
* Add back scheduling to the driverYann Herklotz2021-09-302-2/+2
* Merge remote-tracking branch 'origin/develop' into developYann Herklotz2021-09-2913-56/+1259
|\
| * Make all OCaml files compileYann Herklotz2021-09-292-4/+4
| * Revert "Remove more OCaml files to compile successfully without admits."Yann Herklotz2021-09-275-0/+1085
| * Add dependencies for Alectryon documentationYann Herklotz2021-09-275-9/+15
| * Compile HTLPargen againYann Herklotz2021-09-242-6/+5
| * Fix scopingYann Herklotz2021-09-241-12/+10
| * Add back top-level functionsYann Herklotz2021-09-241-40/+157
* | Export without titleYann Herklotz2021-09-271-0/+2
|/
* RTLpargen passes compilation againYann Herklotz2021-09-222-10/+18
* Merge remote-tracking branch 'origin/develop' into developYann Herklotz2021-09-2290-1650/+4575
|\
| * Fix the comparison of predicated expressionsYann Herklotz2021-09-221-138/+174
| * Change Inductive to recordYann Herklotz2021-09-223-18/+17
| * Start adding hashing to RTLPargenYann Herklotz2021-09-202-7/+51
| * Merge branch 'master' into developYann Herklotz2021-09-202-12/+22
| |\
| | * Update the docsYann Herklotz2021-09-201-0/+0
| | * Improve the changelogYann Herklotz2021-09-181-10/+24
| * | Merge branch 'master' into developYann Herklotz2021-09-1887-1521/+4378
| |\|
| | * 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
generated by cgit (git 2.34.1) at 2024-06-26 17:00:36 +0000