aeneas/tests/lean/hashmap_on_disk/Base, branch isabelle aeneas rust verifier with a hacky Isabelle backend https://stuebinm.eu/git/aeneas/atom/tests/lean/hashmap_on_disk/Base?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 Make minor modifications and regenerate the Lean files 2023-06-04T19:44:33Z Son Ho 2023-03-07T07:41:57Z urn:sha1:feb60683216a6d9193d6353605560c6c80a1ab41 WIP 2023-06-04T19:44:33Z Jonathan Protzenko 2023-02-09T04:21:42Z urn:sha1:1ba26f5c815509911965b6f90f75e8f8cc3c0417 More comments 2023-06-04T19:44:33Z Jonathan Protzenko 2023-02-07T23:00:06Z urn:sha1:c5fe6cc2cada878ea3e70262e0c9b9f607db7974 Some prose 2023-06-04T19:44:33Z Jonathan Protzenko 2023-02-07T22:25:56Z urn:sha1:fe03f52f95742b8c85682665656f36ebb216e55a Idiomatic naming conventions 2023-06-04T19:44:33Z Jonathan Protzenko 2023-02-07T21:59:06Z urn:sha1:6eee12d5f2c87237fb1276538aa9d1e8ef4addc8 WIP 2023-06-04T19:44:33Z Jonathan Protzenko 2023-02-03T07:36:14Z urn:sha1:40e7df701d246faa453003374206014606ca6b6d Fill out more of the primitives file, attempt at type classes for scalar_cast 2023-06-04T19:44:33Z Jonathan Protzenko 2023-01-31T23:28:17Z urn:sha1:7586cf83f59ca784ff4bfd5d11e460fd41acec98