aeneas/Makefile, branch isabelle aeneas rust verifier with a hacky Isabelle backend https://stuebinm.eu/git/aeneas/atom/Makefile?h=isabelle 2024-05-30T13:36:08Z 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 runner: Support negative tests 2024-05-27T12:40:34Z Nadrieril 2024-05-27T09:22:37Z urn:sha1:9c09789c26dd8142b8a29b42e250a685aa983e58 runner: Pass options in special comments 2024-05-24T14:11:59Z Nadrieril 2024-05-24T13:47:20Z urn:sha1:4d3778bea3112168645efc03308056ec341abb5f Fix running individual tests 2024-05-24T14:11:59Z Nadrieril 2024-05-24T12:56:26Z urn:sha1:c0a6916549b55fbae2226e4c34af45e500928645 runner: Use full path and use an enum for crate vs file 2024-05-24T12:24:38Z Nadrieril 2024-05-23T14:18:40Z urn:sha1:41f78066da5cc10af6312ab1bef71e45ff460688 runner: Do both steps of generation at once 2024-05-24T12:24:38Z Nadrieril 2024-05-23T13:46:45Z urn:sha1:d37a302762fef4ea91b88f0ca8feb73612ff5382 Auto-detect test cases 2024-05-24T12:24:38Z Nadrieril 2024-05-23T13:37:01Z urn:sha1:ca045d57b6cc3fc700efe07bfc257231edf814e5 Use runner to generate llbc 2024-05-24T12:24:38Z Nadrieril 2024-05-23T12:38:50Z urn:sha1:3a380f990d0f202ee19bd163726ff5fc63181ae7 Tweak a path 2024-05-24T12:24:38Z Nadrieril 2024-05-23T12:41:00Z urn:sha1:25973ee8ef28e2d5b8a9b9ec3de4d6ff340db18b