Skip to content

mCoq initial 1.0 release for Coq 8.10
Compare
Choose a tag to compare
@palmskog palmskog released this 18 Jan 22:50
· 10 commits to master since this release
v1.0
66967ef

Initial release of mCoq supporting Coq 8.10 and depending on SerAPI 0.7.0. Supports fast generation of mutation reports using a mode based on parallel checking of mutants, shown to outperform other modes in the paper "Mutation Analysis for Coq", proceedings of ASE 2019.

Assets 2
Loading