aeneas/tests/coq/misc/_CoqProject, branch isabelle aeneas rust verifier with a hacky Isabelle backend https://stuebinm.eu/git/aeneas/atom/tests/coq/misc/_CoqProject?h=isabelle 2024-05-31T12:25:23Z Regenerate tests 2024-05-31T12:25:23Z Aymeric Fromherz 2024-05-31T12:25:23Z urn:sha1:2e3d1cdfde3e19af97e0d0fa47f92cfd66c688d9 Regenerate the tests 2024-03-19T04:29:29Z Son Ho 2024-03-19T04:29:29Z urn:sha1:f3e16bb43a8ff27a5184d9fa452277cc6a59410f Rename and regenerate some files 2024-02-02T22:33:20Z Son Ho 2024-02-02T22:33:20Z urn:sha1:7ecf28dc36f724a4ab4b3b4976421e4e4c397f3b Regenerate the test files and add the fstar-split tests 2023-12-22T22:23:30Z Son Ho 2023-12-22T22:23:30Z urn:sha1:a0c58326c43a7a8026b3d4c158017bf126180e90 Update following changes in Charon 2023-12-05T14:00:46Z Son Ho 2023-12-05T14:00:46Z urn:sha1:60ce69b83cbd749781543bb16becb5357f0e1a0a Regenerate the other files 2023-11-29T14:48:27Z Son Ho 2023-11-29T14:48:27Z urn:sha1:3b487893b2906e13b2388efc3512f2babc8514bf Generate a dedicated file for the external types 2023-11-27T09:29:25Z Son Ho 2023-11-27T09:29:25Z urn:sha1:bef2bd34fcb0817f1b7d16b95122bcc3c6f05c72 Update the generation of files for external definitions and regenerate the tests 2023-11-27T08:37:31Z Son Ho 2023-11-27T08:37:31Z urn:sha1:959d6fce38c8d8ca6eaed3ad6f458b87f91a9abc Improve the generated comments 2023-07-06T10:20:28Z Son Ho 2023-07-06T10:20:28Z urn:sha1:7c95800cefc87fad894f8bf855cfc047e713b3a7 Make sure let-bindings in Lean end with line breaks and improve formatting 2023-06-04T19:44:33Z Son Ho 2023-02-05T21:03:41Z urn:sha1:c6913b8bf90689d8961c47f59896443e7fae164d