aeneas/compiler/dune, branch isabelle aeneas rust verifier with a hacky Isabelle backend https://stuebinm.eu/git/aeneas/atom/compiler/dune?h=isabelle 2024-06-05T12:50:21Z Implement a BorrowCheck.borrow_check_crate 2024-06-05T12:50:21Z Son Ho 2024-06-05T12:50:21Z urn:sha1:49c8e42ec3bcfc323e61c5ba0345abeb41372ac4 WIP Beginning working on better errors: began replacing raise (Failure) and assert by craise and cassert. Does not compile yet, still need to propagate the meta variable where it's relevant 2024-03-28T13:59:01Z Escherichia 2024-03-12T14:02:17Z urn:sha1:a64fdc8b1be70de43afe35ff788ba3240318daac Fix an issue with the nix flake and update the flake.lock 2023-11-22T13:52:15Z Son Ho 2023-11-22T13:52:15Z urn:sha1:d163bb804f3418ea8e2c89fe6e8d1c0587fd544b Add an `is_local` field to declarations 2023-11-21T12:55:46Z Son Ho 2023-11-21T12:55:46Z urn:sha1:e94cd72ffa63dbc5fc40c7c1a422c1a70ba4a7e5 Rename PrimitiveValues to Values 2023-11-21T11:15:37Z Son Ho 2023-11-21T11:15:37Z urn:sha1:f852e1a1334b7506c0baf366b9e75cd01b9c843e Use the name matcher implemented in Charon 2023-11-20T20:58:25Z Son Ho 2023-11-20T20:58:25Z urn:sha1:672ceef25203ebd5fcf5a55e294a4ebfe65648d6 Rename Driver.ml to Main.ml 2023-11-16T09:17:50Z Son Ho 2023-11-16T09:17:50Z urn:sha1:4972f21e4b25cc16e0839dc3d4a4a2d0552f872d Start updating the name type, cleanup the names and the module abbrevs 2023-11-15T21:03:21Z Son Ho 2023-11-15T21:03:21Z urn:sha1:21e3b719f2338f4d4a65c91edc0eb83d0b22393e Add RegionsHierarchy.ml 2023-11-13T12:27:02Z Son Ho 2023-11-13T12:27:02Z urn:sha1:6c88d30031255c0ac612b67bb5b3c20c2f07e563 Make the hashmap files typecheck again in Lean 2023-10-25T16:44:28Z Son Ho 2023-10-25T16:44:28Z urn:sha1:81b7a7d706bc1a0f2f57bc254a8af158039a10cf