Back to the HomePage.
Information for developers
/DevelopmentSetup: which tools to install for working on the planner
/AddingSourceFiles: how to add new source files to the planner
/Git: our Git workflow and Git 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
/Includes: using include-what-you-use to find missing/redundant includes and forward declarations
/CodeReview: how to use Github pull requests for code reviews
/BuildBot: buildbot information
/ImplementationDetails: more in-depth descriptions on how some classes are implemented
/CodeBasesToMerge: code from papers we want to merge in the (medium-term) future
/ReviewQueue: Malte's FIFO list of issues to review
/LongTermPlans: long-term wishlist of changes with broader scope
/ProblemTransformations: problem transformations performed by the planner that might trip up users interested in non-classical planning
/CmakeTipsAndTricks: tips and tricks for CMake
/Profiling: on using valgrind and friends
/ReleaseWorkflow: how to create a release version
/ChangelogFormat: description of the changelog format
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://www.maillist.unibas.ch/mailman/options/downward-dev/
Python code: We follow PEP 8 and support Python >= 3.6.