aeneas/scripts, branch isabelle aeneas rust verifier with a hacky Isabelle backend Update charon 2024-06-21T14:14:58+00:00 Nadrieril 2024-06-21T13:47:56+00:00 d3f52e23ede39c4fd7845b6c5feb29d28b2a2384 






Update charon pin to local commit when developing
2024-05-30T13:36:08+00:00

Nadrieril

2024-05-30T13:36:08+00:00

4195b9653b2d00b846edd3b74211f129192a8806












ci: Check correctness of the charon pinned commit
2024-05-29T07:58:47+00:00

Nadrieril

2024-05-28T14:05:56+00:00

b5046454b47aba598a42d3d775d2ec54dc57c75a












Ensure `./charon` points to a valid charon clone
2024-05-14T13:01:39+00:00

Nadrieril

2024-05-03T11:29:27+00:00

b923f7232a9e98a0b039b722ffedcf91051edbe6












`./charon-pin` stores the current charon commit
2024-05-14T13:01:39+00:00

Nadrieril

2024-05-03T09:32:44+00:00

f2fa29e5ef5c8c7d7375e4c8a37dbba1012fb95c

It is kept up-to-date in CI





It is kept up-to-date in CI