aeneas/tests/coq/hashmap/Makefile, branch isabelleaeneas rust verifier with a hacky Isabelle backend
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 Coq code for `hashmap` and `hashmap_on_disk`2022-11-14T13:21:04+00:00Son Ho2022-11-14T13:05:53+00:006cfd60a0d75a1fcc3734aa9729c79acbfb30e546