aeneas/tests/coq/misc/_CoqProject, branch isabelleaeneas rust verifier with a hacky Isabelle backend
Regenerate tests2024-05-31T12:25:23+00:00Aymeric Fromherz2024-05-31T12:25:23+00:002e3d1cdfde3e19af97e0d0fa47f92cfd66c688d9
Regenerate the tests2024-03-19T04:29:29+00:00Son Ho2024-03-19T04:29:29+00:00f3e16bb43a8ff27a5184d9fa452277cc6a59410f
Rename and regenerate some files2024-02-02T22:33:20+00:00Son Ho2024-02-02T22:33:20+00:007ecf28dc36f724a4ab4b3b4976421e4e4c397f3b
Regenerate the test files and add the fstar-split tests2023-12-22T22:23:30+00:00Son Ho2023-12-22T22:23:30+00:00a0c58326c43a7a8026b3d4c158017bf126180e90
Update following changes in Charon2023-12-05T14:00:46+00:00Son Ho2023-12-05T14:00:46+00:0060ce69b83cbd749781543bb16becb5357f0e1a0a
Regenerate the other files2023-11-29T14:48:27+00:00Son Ho2023-11-29T14:48:27+00:003b487893b2906e13b2388efc3512f2babc8514bf
Generate a dedicated file for the external types2023-11-27T09:29:25+00:00Son Ho2023-11-27T09:29:25+00:00bef2bd34fcb0817f1b7d16b95122bcc3c6f05c72
Update the generation of files for external definitions and regenerate the tests2023-11-27T08:37:31+00:00Son Ho2023-11-27T08:37:31+00:00959d6fce38c8d8ca6eaed3ad6f458b87f91a9abc
Improve the generated comments2023-07-06T10:20:28+00:00Son Ho2023-07-06T10:20:28+00:007c95800cefc87fad894f8bf855cfc047e713b3a7
Make sure let-bindings in Lean end with line breaks and improve formatting2023-06-04T19:44:33+00:00Son Ho2023-02-05T21:03:41+00:00c6913b8bf90689d8961c47f59896443e7fae164d