aeneas/tests/coq/hashmap_on_disk/Makefile, branch isabelle aeneas rust verifier with a hacky Isabelle backend https://stuebinm.eu/git/aeneas/atom/tests/coq/hashmap_on_disk/Makefile?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 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 Coq code for `hashmap` and `hashmap_on_disk` 2022-11-14T13:21:04Z Son Ho 2022-11-14T13:05:53Z urn:sha1:6cfd60a0d75a1fcc3734aa9729c79acbfb30e546