summaryrefslogtreecommitdiff
path: root/README.md (unfollow)
Commit message (Expand)AuthorFilesLines
2024-05-17Update the READMESon Ho1-2/+2
2024-05-14Tweak wordingGuillaume Boisseau1-3/+3
2024-05-14Ensure `./charon` points to a valid charon cloneNadrieril1-15/+13
2024-05-06Add menhir and ocamlformat to list of required opam packagesAymeric Fromherz1-1/+1
2024-04-04Update the READMESon Ho1-2/+2
2024-03-20Update the MakefileSon Ho1-4/+4
2024-03-11Change the tests target to testSon Ho1-4/+4
2024-02-02Start fixing the testsSon Ho1-2/+2
2024-01-31Make a minor modification to the READMESon Ho1-2/+2
2024-01-29Add instructions on using files generated by the Lean backendZyad Hassan1-1/+11
2023-12-18Update the READMESon Ho1-1/+2
2023-10-05Add a mention to the Zulip in the READMESon Ho1-0/+2
2023-09-18Update the READMESon Ho1-0/+2
2023-08-09Update the READMESon Ho1-20/+21
2023-03-30Update README about Coq backend supportDeirdre Connolly1-4/+3
2023-02-03Make minor modifications and generate code for loopsSon Ho1-1/+2
2023-02-03Start implementing support for loopsSon Ho1-1/+1
2022-11-11Add a `bin` folderSon Ho1-1/+1
2022-11-11Make the Nix build workSon Ho1-0/+6
2022-11-07Add a note in the READMESon Ho1-0/+6
2022-10-28Update the READMESon Ho1-1/+12
2022-10-27Update the README and a commentSon Ho1-3/+3
2022-10-04Update the README (#3)Son HO1-2/+8
2022-06-14Update the READMESon Ho1-3/+2
2022-06-14Update the READMESon Ho1-9/+7
2022-05-31Update the installation instructionsSon Ho1-1/+1
2022-04-22Update the READMESon Ho1-1/+19
2022-04-22Update the READMESon Ho1-1/+2
2022-04-22Update the READMESon Ho1-2/+2
2022-04-22Update the READMESon Ho1-15/+18
2022-04-22Update the READMESon Ho1-2/+64