aeneas/tests/fstar/misc/Makefile, branch isabelle aeneas rust verifier with a hacky Isabelle backend https://stuebinm.eu/git/aeneas/atom/tests/fstar/misc/Makefile?h=isabelle 2022-11-16T14:45:32Z Automatically generate the Makefile and _CoqProject files in the tests subdirectories 2022-11-16T14:45:32Z Son Ho 2022-11-16T13:40:34Z urn:sha1:a20819f170acc6aad7b5aca2fbe53c7b3ab7e2b8 Add the aeneas-verify-fstar derivation 2022-11-16T14:45:32Z Son Ho 2022-11-16T13:10:44Z urn:sha1:cc8cd4b9d55e21dd50fac7714203ab8a8f06242b Reorganize the project to prepare for new backends 2022-11-14T13:21:04Z Son Ho 2022-11-11T20:34:29Z urn:sha1:6db835db88c4bcf0e00ce1a7a6bc396382b393c3