|Deletions are marked like this.||Additions are marked like this.|
|Line 12:||Line 12:|
|* [[/GkiGrid]]: how to run experiments on the GKI grid|
|Line 16:||Line 17:|
|* '''Admin interface to the internal mailing list:''' http://lists.informatik.uni-freiburg.de/cgi-bin/mailman/admin/downward-dev|
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: http://lists.informatik.uni-freiburg.de/cgi-bin/mailman/admin/downward-dev
Python code: We follow PEP 8.