aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* | | [scheduling] Fix connected components of DFGYann Herklotz2021-10-011-6/+7
* | | Merge branch 'master' into dev/schedulingYann Herklotz2021-10-014-13/+20
|\ \ \
| * | | Add menhirLib as an explicit dependencyYann Herklotz2021-10-011-0/+1
| * | | Update README with checkout instructionsYann Herklotz2021-10-011-10/+12
| * | | Merge branch 'release/v1.2.2'Yann Herklotz2021-10-013-3/+7
| |\ \ \
| | * | | Fix citation file and READMEv1.2.2stableYann Herklotz2021-10-012-3/+2
| | * | | Update Changelog with 1.2.2 releaseYann Herklotz2021-10-011-0/+5
| * | | | Merge branch 'develop'Yann Herklotz2021-10-0121-280/+2735
| |\ \ \ \ | | |/ / / | |/| | |
| * | | | Merge remote-tracking branch 'origin/master'Yann Herklotz2021-09-291-3/+3
| |\ \ \ \
| | * | | | Update README on the status of VericertYann Herklotz2021-09-271-2/+2
| | * | | | Add empty titleYann Herklotz2021-09-272-0/+2
| * | | | | Update docsYann Herklotz2021-09-291-0/+0
| * | | | | Export without titleYann Herklotz2021-09-271-0/+2
| |/ / / /
* | / / / Improve pretty-printing and add undirected graphYann Herklotz2021-10-012-7/+23
| |/ / / |/| | |
* | | | 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
generated by cgit (git 2.34.1) at 2024-07-18 05:52:10 +0000