aeneas/tests/lean/hashmap/Hashmap, branch isabelleaeneas rust verifier with a hacky Isabelle backend
Reorganize the Lean tests2023-07-04T12:57:51+00:00Son Ho2023-07-04T12:57:51+00:0087d6f6c7c90bf7b427397d6bd2e2c70d610678e3
Regenerate the translated files for Lean2023-06-04T19:44:33+00:00Son Ho2023-05-09T08:40:19+00:0050d1542f830b7ceb73efd34573b6b56b4971a114
Improve the generation of variant names for Lean2023-06-04T19:44:33+00:00Son Ho2023-03-07T23:39:05+00:0014aed083b850c2d8a77cfe394827aeecce06514b
Improve simplify_aggregates to introduce structure updates2023-06-04T19:44:33+00:00Son Ho2023-03-07T23:09:25+00:00c00d77052e8cb778e5311a4344cf8449dd3726b6
Make minor modifications to the Lean files2023-06-04T19:44:33+00:00Son Ho2023-03-07T18:24:16+00:00a946df8b716695f4d387d852b7e74cf288ddb03e
Update the extraction of Lean files2023-06-04T19:44:33+00:00Son Ho2023-03-07T16:49:03+00:004db56fe2c963a4052f8415b3985c8765407fccbc
Update the generation of termination and decreases_by templates for Lean2023-06-04T19:44:33+00:00Son Ho2023-03-07T08:05:45+00:00db8cca3c3177fec2e66634366a6621ca979c0dc9
Make minor modifications and regenerate the Lean files2023-06-04T19:44:33+00:00Son Ho2023-03-07T07:41:57+00:00feb60683216a6d9193d6353605560c6c80a1ab41
Improve formatting further by removing useless spaces2023-06-04T19:44:33+00:00Son Ho2023-02-05T21:13:05+00:006cc10dc67f74cb0abb3062b02c8a94bf34cc938d
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