aeneas/tests/fstar-split/misc/Makefile, branch isabelleaeneas rust verifier with a hacky Isabelle backendhttps://stuebinm.eu/git/aeneas/atom/tests/fstar-split/misc/Makefile?h=isabelle2024-03-08T15:13:19ZRemove the split test files for F*2024-03-08T15:13:19ZSon Ho2024-03-08T15:13:19Zurn:sha1:a4efda3fd27364316bd65f34bc3eac3fd2cbf87dStart pushing files from the fstar-split test folder2023-12-22T18:17:44ZSon Ho2023-12-22T18:17:44Zurn:sha1:2171c01c6101958d3d12734ad970132b78d500d7