Forked from
Iris / Iris
5010 commits behind the upstream repository.
After you've reviewed these contribution guidelines, you'll be all set to
contribute to this project.
CONTRIBUTING.md 778 B
CONTRIBUTING TO THE IRIS COQ DEVELOPMENT
Discussion about the Iris Coq development happens on the mailing list iris-club@lists.mpi-sws.org. This is also the right place to ask questions.
If you want to report a bug, please use the issue tracker. You will have to create an account at the MPI-SWS GitLab (use the "Register" tab).
To contribute code, please send your MPI-SWS GitLab username to Ralf Jung to enable personal projects for your account. Then you can fork the Iris git repository, make your changes in your fork, and create a merge request.