aeneas/tests/coq/hashmap_on_disk/_CoqProject, branch isabelle aeneas rust verifier with a hacky Isabelle backend https://stuebinm.eu/git/aeneas/atom/tests/coq/hashmap_on_disk/_CoqProject?h=isabelle 2024-05-24T15:03:28Z Rename some subdirectories for consistency 2024-05-24T15:03:28Z Nadrieril 2024-05-24T15:01:16Z urn:sha1:3adbe18d36df3767e98f30b760ccd9c6ace640ad Regenerate the tests 2024-03-19T04:29:29Z Son Ho 2024-03-19T04:29:29Z urn:sha1:f3e16bb43a8ff27a5184d9fa452277cc6a59410f Generate a dedicated file for the external types 2023-11-27T09:29:25Z Son Ho 2023-11-27T09:29:25Z urn:sha1:bef2bd34fcb0817f1b7d16b95122bcc3c6f05c72 Update the generation of files for external definitions and regenerate the tests 2023-11-27T08:37:31Z Son Ho 2023-11-27T08:37:31Z urn:sha1:959d6fce38c8d8ca6eaed3ad6f458b87f91a9abc Automatically generate the Makefile and _CoqProject files in the tests subdirectories 2022-11-16T14:45:32Z Son Ho 2022-11-16T13:40:34Z urn:sha1:a20819f170acc6aad7b5aca2fbe53c7b3ab7e2b8 Generate record field projectors for Coq 2022-11-16T14:45:32Z Son Ho 2022-11-15T15:32:35Z urn:sha1:8bf0452f91c44ff390556db77bf42697c0443b67 Generate Coq code for `hashmap` and `hashmap_on_disk` 2022-11-14T13:21:04Z Son Ho 2022-11-14T13:05:53Z urn:sha1:6cfd60a0d75a1fcc3734aa9729c79acbfb30e546