aeneas/.gitignore, branch isabelle aeneas rust verifier with a hacky Isabelle backend https://stuebinm.eu/git/aeneas/atom/.gitignore?h=isabelle 2024-06-29T20:11:04Z had some fun writing an IsabelleHOL backend 2024-06-29T20:11:04Z stuebinm 2024-06-29T19:31:22Z urn:sha1:59214186b817329342d9d72e23adf12f7a3b1348 (do not actually use this, most things are broken, and the primitives lib barely exists and is simply incorrect. But it is enough to create syntax-correct Isabelle code for relatively simply rust code, as long as it does not contain any uses of traits) Add simple test runner 2024-05-24T12:24:38Z Nadrieril 2024-05-22T13:11:28Z urn:sha1:6f14e8c699169aa11ea9c106f8cae1ba593569d0 Ensure `./charon` points to a valid charon clone 2024-05-14T13:01:39Z Nadrieril 2024-05-03T11:29:27Z urn:sha1:b923f7232a9e98a0b039b722ffedcf91051edbe6 Update charon pin 2024-04-18T09:54:39Z Nadrieril 2024-04-08T14:45:27Z urn:sha1:6ef342ea6ceb0a49929859ef96c5e0afcea7451f Update the HOL4 proofs for the last *release* version of HOL4 2023-06-04T19:54:38Z Son Ho 2023-06-02T15:23:29Z urn:sha1:dc46dbb9a01329c39673fedc195006745c365030 Make minor modifications 2023-06-04T19:54:38Z Son Ho 2023-01-23T23:09:33Z urn:sha1:a9110a7fe013dc7b6dd35bfd6f56ea1ce3a471b1 New directory structure and corresponding extraction, + misc fixes, for Lean 2023-06-04T19:44:33Z Jonathan Protzenko 2023-01-25T21:12:01Z urn:sha1:e1ee59f6a45482e93901f6a549f594fd6ef15234 Make good progress on the Coq backend 2022-11-14T13:21:04Z Son Ho 2022-11-13T22:00:38Z urn:sha1:fc21cf96f80ccb7e6455c057987bb0ff4597c0bb Reorganize the project to prepare for new backends 2022-11-14T13:21:04Z Son Ho 2022-11-11T20:34:29Z urn:sha1:6db835db88c4bcf0e00ce1a7a6bc396382b393c3 Update the .gitignore 2022-11-11T14:26:17Z Son Ho 2022-11-11T14:10:57Z urn:sha1:2ad6fec65b0d591da3a2831d4e2c7443f7a22673