aeneas/tests/coq/hashmap_on_disk/_CoqProject, branch isabelleaeneas rust verifier with a hacky Isabelle backend
Rename some subdirectories for consistency2024-05-24T15:03:28+00:00Nadrieril2024-05-24T15:01:16+00:003adbe18d36df3767e98f30b760ccd9c6ace640ad
Regenerate the tests2024-03-19T04:29:29+00:00Son Ho2024-03-19T04:29:29+00:00f3e16bb43a8ff27a5184d9fa452277cc6a59410f
Generate a dedicated file for the external types2023-11-27T09:29:25+00:00Son Ho2023-11-27T09:29:25+00:00bef2bd34fcb0817f1b7d16b95122bcc3c6f05c72
Update the generation of files for external definitions and regenerate the tests2023-11-27T08:37:31+00:00Son Ho2023-11-27T08:37:31+00:00959d6fce38c8d8ca6eaed3ad6f458b87f91a9abc
Automatically generate the Makefile and _CoqProject files in the tests subdirectories2022-11-16T14:45:32+00:00Son Ho2022-11-16T13:40:34+00:00a20819f170acc6aad7b5aca2fbe53c7b3ab7e2b8
Generate record field projectors for Coq2022-11-16T14:45:32+00:00Son Ho2022-11-15T15:32:35+00:008bf0452f91c44ff390556db77bf42697c0443b67
Generate Coq code for `hashmap` and `hashmap_on_disk`2022-11-14T13:21:04+00:00Son Ho2022-11-14T13:05:53+00:006cfd60a0d75a1fcc3734aa9729c79acbfb30e546