HacKeYthon Hints

Hints for the HacKeYthon

Work in Groups

A good group workflow for the HacKeYthon would be as follows:

1. Fork the main repo of KeY (https://github.com/KeYProject/key).
2. If you want to work together on in a group, you can invite the others to your fork.
3. When the work is done, and you have a finished feature/bug fix, please create a pull request (with a suitable description) into the main repo of KeY.

Project Board

• If you are working on an issue that is listed in the (project board)[https://github.com/orgs/KeYProject/projects/11/views/1?layout=board], please move it to the "In Progress" stage, such that others know it is being worked on.
• If you can not edit the board directly, please ask somebody from the core team.

General KeY Development

• For development, we recommend to use IntelliJ IDEA or Eclipse.
• For a pull request to be merged, the code needs to adhere to our code style guidelines. You can apply our automatic formatter to the code via ./gradlew spotlessApply.
• In general, various information (about developing as well as using KeY) can be found on our docs page: https://keyproject.github.io/key-docs/devel/.