aeneas/tests/lean/Betree, branch isabelle
aeneas rust verifier with a hacky Isabelle backend
Bump charon
2024-06-18T10:12:05+00:00
Nadrieril
2024-06-18T10:12:05+00:00
082661f0d9d1bb1196ef8e1d57b3f2b4922b3d8e
Regenerate the tests
2024-06-17T05:25:17+00:00
Son Ho
2024-06-17T05:25:17+00:00
cf7cd476b32cd562ca90950e4b3c29c9fc42028a
Update the tests
2024-06-17T05:15:26+00:00
Son Ho
2024-06-17T05:15:26+00:00
1021cdea98043dd935dbc8dbe633b90fda68047d
Regenerate the Coq and Lean betrees
2024-06-05T15:51:36+00:00
Son Ho
2024-06-05T15:51:36+00:00
a4dd9fe0598328976862868097f59207846d865c
tests: Rename betree_main -> betree
2024-05-28T09:36:31+00:00
Nadrieril
2024-05-27T11:28:28+00:00
f77e3f9cbe2ea7abeb4be815bdbf33d0c98076c2