examples/proofs/talk_demo3/generated_code.v · d95e8b34c7ff6b59e280fc755450c6ab25a4e3b0 · Iris / RefinedC · GitLab

Find file Blame History Permalink

Ensure variable names do not clash with Coq keywords. · d95e8b34
Rodolphe Lepigre authored Dec 11, 2020 and Michael Sammler committed Dec 11, 2020
```
This fixes the third point of #30.
```
d95e8b34