Back to the HomePage.
Information for developers
/Mercurial: our Mercurial workflow and Mercurial tips and tricks
/CodingConventions: coding conventions for C++ code
/Whitespace: how to indent, where to break lines, where to put spaces etc. in C++ code
/Uncrustify: using the uncrustify source code pretty printer, including integration with Mercurial
/CodeReview: how to use the Rietveld code review tool with our codebase
/GkiGrid: how to run experiments on the GKI grid
Other bits and pieces
Mailing lists: Core developers, please subscribe to both the public and the internal mailing lists mentioned on the HomePage.
Admin interface to the internal mailing list: https://lists.informatik.uni-freiburg.de/mailman/admin/downward-dev
Python code: We follow PEP 8.