aeneas/tests/Makefile, branch isabelle aeneas rust verifier with a hacky Isabelle backend Improve the tests README 2024-05-30T09:57:40+00:00 Nadrieril 2024-05-29T08:37:17+00:00 87d5a08f44b46657026a99c154bcec4a733f221d 






Import test suite from charon
2024-05-24T12:24:38+00:00

Nadrieril

2024-05-23T08:41:10+00:00

4ce3e9c7c11744abae52d7a3ae1a3962395784be












Update tests/Makefile
2024-03-11T08:42:32+00:00

Son Ho

2024-03-11T08:42:32+00:00

5af8412b48aef44448d3ce674612aa18feb961b3












Add an option to split the fwd/back functions and fix a minor issue
2023-12-22T18:09:16+00:00

Son Ho

2023-12-22T18:09:16+00:00

3688596f27a1ba461f48e88446b8812ec73f1a2f












Update tests/Makefile
2023-06-04T19:54:38+00:00

Son Ho

2023-05-23T14:17:31+00:00

338345e8480a420883fca318d9ad9cd5965fa819












Initial Lean backend, WIP
2023-06-04T19:44:33+00:00

Jonathan Protzenko

2023-01-24T02:17:42+00:00

cbcaa965c4ee5597bb8f4f8bee7fba87729e7154












Make good progress on the Coq backend
2022-11-14T13:21:04+00:00

Son Ho

2022-11-13T22:00:38+00:00

fc21cf96f80ccb7e6455c057987bb0ff4597c0bb












Reorganize the project to prepare for new backends
2022-11-14T13:21:04+00:00

Son Ho

2022-11-11T20:34:29+00:00

6db835db88c4bcf0e00ce1a7a6bc396382b393c3












Add makefiles to test the F* files
2022-06-20T04:21:57+00:00

Son Ho

2022-06-20T04:21:57+00:00

4c3a164ed570ecfa721255519554911754913271