summaryrefslogtreecommitdiff
path: root/README.md (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update the READMESon Ho2023-12-181-1/+2
* Add a mention to the Zulip in the READMESon Ho2023-10-051-0/+2
* Update the READMESon Ho2023-09-181-0/+2
* Update the READMESon Ho2023-08-091-20/+21
* 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 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