aeneas/tests/coq/hashmap/_CoqProject, branch isabelle aeneas rust verifier with a hacky Isabelle backend Regenerate tests 2024-05-31T12:25:23+00:00 Aymeric Fromherz 2024-05-31T12:25:23+00:00 2e3d1cdfde3e19af97e0d0fa47f92cfd66c688d9 






Improve the generated comments
2023-07-06T10:20:28+00:00

Son Ho

2023-07-06T10:20:28+00:00

7c95800cefc87fad894f8bf855cfc047e713b3a7












Make sure let-bindings in Lean end with line breaks and improve formatting
2023-06-04T19:44:33+00:00

Son Ho

2023-02-05T21:03:41+00:00

c6913b8bf90689d8961c47f59896443e7fae164d












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












Generate record field projectors for Coq
2022-11-16T14:45:32+00:00

Son Ho

2022-11-15T15:32:35+00:00

8bf0452f91c44ff390556db77bf42697c0443b67












Generate Coq code for `hashmap` and `hashmap_on_disk`
2022-11-14T13:21:04+00:00

Son Ho

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

6cfd60a0d75a1fcc3734aa9729c79acbfb30e546