aeneas/scripts, branch isabelle aeneas rust verifier with a hacky Isabelle backend https://stuebinm.eu/git/aeneas/atom/scripts?h=isabelle 2024-06-21T14:14:58Z Update charon 2024-06-21T14:14:58Z Nadrieril 2024-06-21T13:47:56Z urn:sha1:d3f52e23ede39c4fd7845b6c5feb29d28b2a2384 Update charon pin to local commit when developing 2024-05-30T13:36:08Z Nadrieril 2024-05-30T13:36:08Z urn:sha1:4195b9653b2d00b846edd3b74211f129192a8806 ci: Check correctness of the charon pinned commit 2024-05-29T07:58:47Z Nadrieril 2024-05-28T14:05:56Z urn:sha1:b5046454b47aba598a42d3d775d2ec54dc57c75a Ensure `./charon` points to a valid charon clone 2024-05-14T13:01:39Z Nadrieril 2024-05-03T11:29:27Z urn:sha1:b923f7232a9e98a0b039b722ffedcf91051edbe6 `./charon-pin` stores the current charon commit 2024-05-14T13:01:39Z Nadrieril 2024-05-03T09:32:44Z urn:sha1:f2fa29e5ef5c8c7d7375e4c8a37dbba1012fb95c It is kept up-to-date in CI