aeneas/tests/Makefile, branch isabelle aeneas rust verifier with a hacky Isabelle backend https://stuebinm.eu/git/aeneas/atom/tests/Makefile?h=isabelle 2024-05-30T09:57:40Z Improve the tests README 2024-05-30T09:57:40Z Nadrieril 2024-05-29T08:37:17Z urn:sha1:87d5a08f44b46657026a99c154bcec4a733f221d Import test suite from charon 2024-05-24T12:24:38Z Nadrieril 2024-05-23T08:41:10Z urn:sha1:4ce3e9c7c11744abae52d7a3ae1a3962395784be Update tests/Makefile 2024-03-11T08:42:32Z Son Ho 2024-03-11T08:42:32Z urn:sha1:5af8412b48aef44448d3ce674612aa18feb961b3 Add an option to split the fwd/back functions and fix a minor issue 2023-12-22T18:09:16Z Son Ho 2023-12-22T18:09:16Z urn:sha1:3688596f27a1ba461f48e88446b8812ec73f1a2f Update tests/Makefile 2023-06-04T19:54:38Z Son Ho 2023-05-23T14:17:31Z urn:sha1:338345e8480a420883fca318d9ad9cd5965fa819 Initial Lean backend, WIP 2023-06-04T19:44:33Z Jonathan Protzenko 2023-01-24T02:17:42Z urn:sha1:cbcaa965c4ee5597bb8f4f8bee7fba87729e7154 Make good progress on the Coq backend 2022-11-14T13:21:04Z Son Ho 2022-11-13T22:00:38Z urn:sha1:fc21cf96f80ccb7e6455c057987bb0ff4597c0bb Reorganize the project to prepare for new backends 2022-11-14T13:21:04Z Son Ho 2022-11-11T20:34:29Z urn:sha1:6db835db88c4bcf0e00ce1a7a6bc396382b393c3 Add makefiles to test the F* files 2022-06-20T04:21:57Z Son Ho 2022-06-20T04:21:57Z urn:sha1:4c3a164ed570ecfa721255519554911754913271