coq-program-verification-template icon indicating copy to clipboard operation
coq-program-verification-template copied to clipboard

verified publisher icon coq-community
→

Metadata

Template project for program verification in Coq, showcasing reasoning on CompCert's Clight language using the Verified Software Toolchain [maintainer=@palmskog]

Results 2 coq-program-verification-template issues
Sort by recently updated
recently updated
newest added

`Make all` vs `dune build` approach

I'm a relatively new user in using both `make` and `dune` to manage by coq projects. With this program verification template it has enabled me to make use of the...

zunction avatar zunction

Cache compcert

2 comment

It seems like most of the CI time is spent on building the dependencies. Is there a way to tell the CI to cache the files for e.g. CompCert in...

yforster avatar yforster

← Metadata

27
Stars
2
Forks
Watchers

Owner

verified publisher icon coq-community

Metadata

Template project for program verification in Coq, showcasing reasoning on CompCert's Clight language using the Verified Software Toolchain [maintainer=@palmskog]

Back