News
Submission Details
Written on 06.03.2026 11:35 by Leon Pernak
Dear participants,
Here are some details for the submission next week.
Remember: The Deadline is end of day next Sunday, 15th March, 23:59:59. All changes made after this point will not be considered for the grading. This includes your code as well as the documentation.
To mark your submission, please tag your submission in your repository. The tag should be an annotated tag (thus showing the time of creation!) and should be named submission. Don't forget to push your tags (git push origin --tags)if you created them offline.
Here's a checklist of things not to forget:
- Please add both me and Alex to your Project as Reporters, regardless of who your project supervisor was.
- Inline documentation: If you're a group, every code file should have the name(s) of its author(s) at the very top. Comment your code: At least all the statements (theorem, lemma, ...) should have a comment explaining what they do).
- Documentation: Two PDF-files (theory and formalization) per person in the Docs folder.
- Add all necessary info that we might need to run/evaluate your project to the Readme.
Good luck for the remaining week,
Leon