aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Fix some of the testing in MakefileHEADmasterYann Herklotz2021-10-091-3/+3
|
* Update the changelogYann Herklotz2021-10-091-3/+7
|
* Fix warnings for Coq 8.13.2Yann Herklotz2021-10-0910-70/+84
|
* End section in Abstr.vYann Herklotz2021-10-081-0/+2
|
* Add abstract intermediate language to RTLPargenYann Herklotz2021-10-081-17/+49
|
* Remove warnings of attributesYann Herklotz2021-10-083-126/+126
|
* Make HTLgenproof passYann Herklotz2021-10-081-1/+1
|
* Add proof of beq_check_correctnessYann Herklotz2021-10-081-57/+120
|
* Fix running of tests using a MakefileYann Herklotz2021-10-082-1/+36
|
* Add scheduling by default to benchmark executionYann Herklotz2021-10-071-1/+1
|
* Fix naming and remove warningsYann Herklotz2021-10-072-10/+10
|
* RTLPargen now uses Abstr as symbolic execution targetYann Herklotz2021-10-071-705/+1
|
* Update functional units to be more generalYann Herklotz2021-10-071-14/+62
|
* Add Abstr intermediate languageYann Herklotz2021-10-071-0/+749
|
* [test] Fix testing from MakefileYann Herklotz2021-10-011-0/+2
|
* [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.2Yann 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
| | | | | | | | Do not compare memories in standard operations
* | 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
| | | | | | | | | | | | Reverted commit to get back the scheduling and pretty printing files.
| * | Revert "Remove more OCaml files to compile successfully without admits."Yann Herklotz2021-09-275-0/+1085
| | | | | | | | | | | | This reverts commit 9a4122dba9bdc33a8e912d5a45bae35e05afb229.
| * | Add dependencies for Alectryon documentationYann Herklotz2021-09-275-9/+15
| | | | | | | | | | | | Update README on the status of Vericert
| * | 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
| | |
generated by cgit (git 2.34.1) at 2024-05-05 11:06:53 +0000