summaryrefslogtreecommitdiff
path: root/README.md (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Update README about Coq backend supportDeirdre Connolly2023-03-301-4/+3
|
* Make minor modifications and generate code for loopsSon Ho2023-02-031-1/+2
|
* Start implementing support for loopsSon Ho2023-02-031-1/+1
|
* Add a `bin` folderSon Ho2022-11-111-1/+1
|
* Make the Nix build workSon Ho2022-11-111-0/+6
|
* Add a note in the READMESon Ho2022-11-071-0/+6
|
* Update the READMESon Ho2022-10-281-1/+12
|
* Update the README and a commentSon Ho2022-10-271-3/+3
|
* Update the README (#3)Son HO2022-10-041-2/+8
| | | | | * Update the README * Fix a typo
* Update the READMESon Ho2022-06-141-3/+2
|
* Update the READMESon Ho2022-06-141-9/+7
|
* Update the installation instructionsSon Ho2022-05-311-1/+1
|
* Update the READMESon Ho2022-04-221-1/+19
|
* Update the READMESon Ho2022-04-221-1/+2
|
* Update the READMESon Ho2022-04-221-2/+2
|
* Update the READMESon Ho2022-04-221-15/+18
|
* Update the READMESon Ho2022-04-221-2/+64
|
* Initial commitSon HO2021-11-021-0/+2