summaryrefslogtreecommitdiff
path: root/README.md (follow)
Commit message (Collapse)AuthorAgeFilesLines
* chore: explain a Nix-powered workflowRyan Lahfa2024-05-291-0/+19
| | | | | | | | | | To avoid divergence between Charon and Aeneas, we should re-export Charon via our Flake and tell users to use this as a source of truth. Here's an appendix on how I do refresh of my files, which can serve as inspiration for a quick start workflow. Signed-off-by: Ryan Lahfa <ryan.lahfa@inria.fr>
* Update the READMESon Ho2024-05-291-6/+7
|
* Update the READMESon Ho2024-05-171-2/+2
|
* Tweak wordingGuillaume Boisseau2024-05-141-3/+3
| | | | Co-authored-by: Son HO <hosonmarc@gmail.com>
* 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 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-22 22:04:34 +0000