summaryrefslogtreecommitdiff
path: root/README.md (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update the READMESon Ho2024-05-171-2/+2
* Tweak wordingGuillaume Boisseau2024-05-141-3/+3
* Ensure `./charon` points to a valid charon cloneNadrieril2024-05-141-15/+13
* Add menhir and ocamlformat to list of required opam packagesAymeric Fromherz2024-05-061-1/+1
* Update the READMESon Ho2024-04-041-2/+2
* Update the MakefileSon Ho2024-03-201-4/+4
* Start fixing the testsSon Ho2024-02-021-2/+2
* Make a minor modification to the READMESon Ho2024-01-311-2/+2
* Add instructions on using files generated by the Lean backendZyad Hassan2024-01-291-1/+11
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-22 21:50:11 +0000