Forked from
Iris / Iris
5371 commits behind the upstream repository.
After you've reviewed these contribution guidelines, you'll be all set to
contribute to this project.
CONTRIBUTING.md 749 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 contact 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.