aeneas/tests/lean/lean-toolchain, branch isabelleaeneas rust verifier with a hacky Isabelle backend
Bump Lean to v4.9.0rc3 (#261)2024-06-25T08:34:24+00:00Son HO2024-06-25T08:34:24+00:0059ee1eb89d7c1018858250832ff1a92af0cbeab6
Update the tests2024-06-14T12:09:51+00:00Son Ho2024-06-14T12:09:51+00:00adf5c77214cf1cfe14a386f3feefdfa1ebfd1d45
Update the tests2024-06-13T20:37:18+00:00Son Ho2024-06-13T20:37:18+00:00d5cf75a0f8209298ad85f46249f14d5c3a24faf6
Update the lean toolchain and fix the proofs2024-04-05T12:04:25+00:00Son Ho2024-04-05T12:04:25+00:0065a77968d0abc2d01da92aa8982256855e7519a6
backend(/tests)/lean: 4.6.0-rc1 → 4.6.12024-03-25T11:19:22+00:00Ryan Lahfa2024-03-25T11:19:00+00:0072e517ef2d469efd73513ed094e4f4c3954e1a95
4.6.0 has been released in https://github.com/leanprover/lean4/releases/tag/v4.6.0
Signed-off-by: Ryan Lahfa <ryan.lahfa@inria.fr>
4.6.0 has been released in https://github.com/leanprover/lean4/releases/tag/v4.6.0
Signed-off-by: Ryan Lahfa <ryan.lahfa@inria.fr>
Start fixing the tests2024-02-02T22:16:57+00:00Son Ho2024-02-02T22:16:57+00:0063ee3b1bc65b67aeed843f052d7f67c9f3c0ab89
Fix the hashmap proofs in Lean2023-09-14T06:17:15+00:00Son Ho2023-09-14T06:17:15+00:00743e8cb9d5366b879f53d7d0ba8adeb2f83ef72f
Update the lean dependencies and update IList2023-07-17T10:12:34+00:00Son Ho2023-07-17T10:12:34+00:004f7ebc2358d78d31d63a609a32e5a732b82d468e
Reorganize the Lean tests2023-07-04T12:57:51+00:00Son Ho2023-07-04T12:57:51+00:0087d6f6c7c90bf7b427397d6bd2e2c70d610678e3
Update the extraction of Lean files2023-06-04T19:44:33+00:00Son Ho2023-03-07T16:49:03+00:004db56fe2c963a4052f8415b3985c8765407fccbc