aeneas/compiler/dune-project, branch isabelle aeneas rust verifier with a hacky Isabelle backend https://stuebinm.eu/git/aeneas/atom/compiler/dune-project?h=isabelle 2023-06-04T19:44:33Z Use dune 3.7 and update the flake.lock 2023-06-04T19:44:33Z Son Ho 2023-06-01T22:18:23Z urn:sha1:907fa4aefe4770d351b38a7f9a7a273030abf4c6 Move some files to the Charon project 2022-10-28T15:41:04Z Son Ho 2022-10-27T15:53:32Z urn:sha1:f45502c131fc6aae08aa5f0049911b85ba13529f Reorganize a bit the project 2022-10-27T10:58:47Z Son Ho 2022-10-27T07:16:46Z urn:sha1:7e7d0d67de8285e1d6c589750191bce4f49aacb3