aeneas/tests/lean/hashmap_on_disk/Base, 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












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

Son Ho

2023-03-07T07:41:57+00:00

feb60683216a6d9193d6353605560c6c80a1ab41












WIP
2023-06-04T19:44:33+00:00

Jonathan Protzenko

2023-02-09T04:21:42+00:00

1ba26f5c815509911965b6f90f75e8f8cc3c0417












More comments
2023-06-04T19:44:33+00:00

Jonathan Protzenko

2023-02-07T23:00:06+00:00

c5fe6cc2cada878ea3e70262e0c9b9f607db7974












Some prose
2023-06-04T19:44:33+00:00

Jonathan Protzenko

2023-02-07T22:25:56+00:00

fe03f52f95742b8c85682665656f36ebb216e55a












Idiomatic naming conventions
2023-06-04T19:44:33+00:00

Jonathan Protzenko

2023-02-07T21:59:06+00:00

6eee12d5f2c87237fb1276538aa9d1e8ef4addc8












WIP
2023-06-04T19:44:33+00:00

Jonathan Protzenko

2023-02-03T07:36:14+00:00

40e7df701d246faa453003374206014606ca6b6d












Fill out more of the primitives file, attempt at type classes for scalar_cast
2023-06-04T19:44:33+00:00

Jonathan Protzenko

2023-01-31T23:28:17+00:00

7586cf83f59ca784ff4bfd5d11e460fd41acec98