aeneas/tests/lean/misc-loops, branch isabelle aeneas rust verifier with a hacky Isabelle backend https://stuebinm.eu/git/aeneas/atom/tests/lean/misc-loops?h=isabelle 2023-07-04T12:57:51Z Reorganize the Lean tests 2023-07-04T12:57:51Z Son Ho 2023-07-04T12:57:51Z urn:sha1:87d6f6c7c90bf7b427397d6bd2e2c70d610678e3 Add Result_Inhabited to Primitives.lean 2023-06-04T19:44:33Z Son Ho 2023-05-15T11:08:49Z urn:sha1:72d35d4ce84a863bb4d96b844fb552028d94234a Regenerate the translated files for Lean 2023-06-04T19:44:33Z Son Ho 2023-05-09T08:40:19Z urn:sha1:50d1542f830b7ceb73efd34573b6b56b4971a114 Improve the generation of variant names for Lean 2023-06-04T19:44:33Z Son Ho 2023-03-07T23:39:05Z urn:sha1:14aed083b850c2d8a77cfe394827aeecce06514b Update the extraction of Lean files 2023-06-04T19:44:33Z Son Ho 2023-03-07T16:49:03Z urn:sha1:4db56fe2c963a4052f8415b3985c8765407fccbc Reorganize the Lean tests and extract the Polonius tests to Lean 2023-06-04T19:44:33Z Son Ho 2023-03-07T12:46:55Z urn:sha1:051e2a19f3268d272a0acd0425d2107ebea020c5