aeneas/tests/coq/Makefile, branch isabelle aeneas rust verifier with a hacky Isabelle backend Make modifications to the Makefiles 2023-02-03T10:21:46+00:00 Son Ho 2023-01-09T20:38:48+00:00 6de775cde92e37f2e5e70d3db34a326a4c831920 






Add a nix derivation for the Coq proofs
2022-11-16T14:45:32+00:00

Son Ho

2022-11-16T14:34:27+00:00

bbdd0da25b974b03d58489d3bbc2654f4f774644












Automatically generate the Makefile and _CoqProject files in the tests subdirectories
2022-11-16T14:45:32+00:00

Son Ho

2022-11-16T13:40:34+00:00

a20819f170acc6aad7b5aca2fbe53c7b3ab7e2b8












Add a `-use-fuel` option
2022-11-14T13:21:04+00:00

Son Ho

2022-11-14T13:05:26+00:00

e5bd97f4ad08b277057a23094f2cc76abbeeaddb












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

Son Ho

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

fc21cf96f80ccb7e6455c057987bb0ff4597c0bb