aeneas/fstar, branch isabelleaeneas rust verifier with a hacky Isabelle backend
Move the fstar files to the new backends directory2022-11-11T14:57:13+00:00Son Ho2022-11-11T14:57:13+00:0061740913f8af53f0c1054375482b980ccb12f089
Make the Nix build work2022-11-11T14:26:17+00:00Son Ho2022-11-11T11:46:23+00:000b4e739f6be83e0fe9337f6363343587b35c5752
Reorganize a bit the project2022-10-27T10:58:47+00:00Son Ho2022-10-27T07:16:46+00:007e7d0d67de8285e1d6c589750191bce4f49aacb3
Traduct globals body separately (WIP)2022-06-30T10:22:14+00:00Sidney Congard2022-06-30T10:22:14+00:0047691de8fe3dc32a29663d4d8343eb415ce1d81e
Add a pass to cleanup the deconstructed ADTs and fix a small issue2022-05-15T20:34:31+00:00Son Ho2022-05-15T20:34:31+00:00ffc93a3f4d3b29e3a6805f9882f20dd22d184939
Treat integer casts in a general manner2022-05-15T19:30:49+00:00Son Ho2022-05-15T19:30:49+00:00a25d820b6eb02f573ad2c274a35e3496a9dacd40
Make good progress on the proofs of hashmap2022-02-11T09:20:54+00:00Son Ho2022-02-11T09:20:54+00:00addfa6c38097026d563a711ff431241220f70c2b
Make progress on the proofs of HashMap2022-02-10T12:34:30+00:00Son Ho2022-02-10T12:34:30+00:00112685b5244b1bcde13d7a13e3d44cc8851de49b