aeneas/compiler/dune, branch isabelleaeneas rust verifier with a hacky Isabelle backend
Implement a BorrowCheck.borrow_check_crate2024-06-05T12:50:21+00:00Son Ho2024-06-05T12:50:21+00:0049c8e42ec3bcfc323e61c5ba0345abeb41372ac4
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 relevant2024-03-28T13:59:01+00:00Escherichia2024-03-12T14:02:17+00:00a64fdc8b1be70de43afe35ff788ba3240318daac
Fix an issue with the nix flake and update the flake.lock2023-11-22T13:52:15+00:00Son Ho2023-11-22T13:52:15+00:00d163bb804f3418ea8e2c89fe6e8d1c0587fd544b
Add an `is_local` field to declarations2023-11-21T12:55:46+00:00Son Ho2023-11-21T12:55:46+00:00e94cd72ffa63dbc5fc40c7c1a422c1a70ba4a7e5
Rename PrimitiveValues to Values2023-11-21T11:15:37+00:00Son Ho2023-11-21T11:15:37+00:00f852e1a1334b7506c0baf366b9e75cd01b9c843e
Use the name matcher implemented in Charon2023-11-20T20:58:25+00:00Son Ho2023-11-20T20:58:25+00:00672ceef25203ebd5fcf5a55e294a4ebfe65648d6
Rename Driver.ml to Main.ml2023-11-16T09:17:50+00:00Son Ho2023-11-16T09:17:50+00:004972f21e4b25cc16e0839dc3d4a4a2d0552f872d
Start updating the name type, cleanup the names and the module abbrevs2023-11-15T21:03:21+00:00Son Ho2023-11-15T21:03:21+00:0021e3b719f2338f4d4a65c91edc0eb83d0b22393e