mcoq

mcoq copied to clipboard

Bumps [junit](https://github.com/junit-team/junit4) from 4.12 to 4.13.1. Release notes Sourced from junit's releases. JUnit 4.13.1 Please refer to the release notes for details. JUnit 4.13 Please refer to the release notes...

dependabot[bot]

This is the designated place to suggest and discuss additional mutation operators. Catalin Hritcu has already suggested a mutation operator based on _removing_ constructors of inductive types.

palmskog

We should document the available mutation operators somewhere in the repository, preferably with examples of how they affect Coq code. Most directly, we could add a file `OPERATORS.md` and list...

palmskog

Support for Coq 8.11

2

I have a project I'd like to try mCoq on, but it does not build under anything < 8.11. Are there any plans to support Coq 8.11?

anton-trunov