aeneas/backends/fstar/Makefile, branch isabelle aeneas rust verifier with a hacky Isabelle backend https://stuebinm.eu/git/aeneas/atom/backends/fstar/Makefile?h=isabelle 2024-03-08T15:08:39Z Update the Makefile and remove the split files for F* 2024-03-08T15:08:39Z Son Ho 2024-03-08T15:08:39Z urn:sha1:78734dc530ee209b5a0946e82bf98b97e374bed0 Update the library for F* 2023-12-22T17:47:50Z Son Ho 2023-12-22T17:47:50Z urn:sha1:455ba366f9c8d07a1f1848ec0960b1f2d161e7cf Make [Result::Failure] type an [Error] parameter 2022-11-14T13:21:04Z Son Ho 2022-11-14T10:57:53Z urn:sha1:868fa924a37a3af6e701bbc0a2d51fefc2dc7c33