aeneas/tests/lean/hashmap_on_disk, branch isabelle aeneas rust verifier with a hacky Isabelle backend Reorganize the Lean tests 2023-07-04T12:57:51+00:00 Son Ho 2023-07-04T12:57:51+00:00 87d6f6c7c90bf7b427397d6bd2e2c70d610678e3 






Add Result_Inhabited to Primitives.lean
2023-06-04T19:44:33+00:00

Son Ho

2023-05-15T11:08:49+00:00

72d35d4ce84a863bb4d96b844fb552028d94234a












Regenerate the translated files for Lean
2023-06-04T19:44:33+00:00

Son Ho

2023-05-09T08:40:19+00:00

50d1542f830b7ceb73efd34573b6b56b4971a114












Improve the generation of variant names for Lean
2023-06-04T19:44:33+00:00

Son Ho

2023-03-07T23:39:05+00:00

14aed083b850c2d8a77cfe394827aeecce06514b












Improve simplify_aggregates to introduce structure updates
2023-06-04T19:44:33+00:00

Son Ho

2023-03-07T23:09:25+00:00

c00d77052e8cb778e5311a4344cf8449dd3726b6












Start updating simplify_aggregates
2023-06-04T19:44:33+00:00

Son Ho

2023-03-07T22:50:36+00:00

ca77353c20e425c687ba207023d56828de6495b6












Make minor modifications to the Lean files
2023-06-04T19:44:33+00:00

Son Ho

2023-03-07T18:24:16+00:00

a946df8b716695f4d387d852b7e74cf288ddb03e












Update the extraction of Lean files
2023-06-04T19:44:33+00:00

Son Ho

2023-03-07T16:49:03+00:00

4db56fe2c963a4052f8415b3985c8765407fccbc












Remove the tests/lean/hashmap_on_disk/Main.lean file
2023-06-04T19:44:33+00:00

Son Ho

2023-03-07T11:35:07+00:00

72c824f3d93a737b9b8a51fa6a7c3060d2d40597












Automate the generation of the lakefile.lean files
2023-06-04T19:44:33+00:00

Son Ho

2023-03-07T11:31:18+00:00

0d8433a5e7a2d1e91512a6422506dbd19241d128