Skip to content

Make the string-ident maps available from Coq code#222

Closed
jeremie-koenig wants to merge 6 commits into
AbsInt:masterfrom
CertiKOS:coq-string-ident-map
Closed

Make the string-ident maps available from Coq code#222
jeremie-koenig wants to merge 6 commits into
AbsInt:masterfrom
CertiKOS:coq-string-ident-map

Implement string_of_resid in Coq; prove injectivity

3df16b9
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs