aeneas/Makefile, branch isabelle aeneas rust verifier with a hacky Isabelle backend 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












runner: Support negative tests
2024-05-27T12:40:34+00:00

Nadrieril

2024-05-27T09:22:37+00:00

9c09789c26dd8142b8a29b42e250a685aa983e58












runner: Pass options in special comments
2024-05-24T14:11:59+00:00

Nadrieril

2024-05-24T13:47:20+00:00

4d3778bea3112168645efc03308056ec341abb5f












Fix running individual tests
2024-05-24T14:11:59+00:00

Nadrieril

2024-05-24T12:56:26+00:00

c0a6916549b55fbae2226e4c34af45e500928645












runner: Use full path and use an enum for crate vs file
2024-05-24T12:24:38+00:00

Nadrieril

2024-05-23T14:18:40+00:00

41f78066da5cc10af6312ab1bef71e45ff460688












runner: Do both steps of generation at once
2024-05-24T12:24:38+00:00

Nadrieril

2024-05-23T13:46:45+00:00

d37a302762fef4ea91b88f0ca8feb73612ff5382












Auto-detect test cases
2024-05-24T12:24:38+00:00

Nadrieril

2024-05-23T13:37:01+00:00

ca045d57b6cc3fc700efe07bfc257231edf814e5












Use runner to generate llbc
2024-05-24T12:24:38+00:00

Nadrieril

2024-05-23T12:38:50+00:00

3a380f990d0f202ee19bd163726ff5fc63181ae7












Tweak a path
2024-05-24T12:24:38+00:00

Nadrieril

2024-05-23T12:41:00+00:00

25973ee8ef28e2d5b8a9b9ec3de4d6ff340db18b