Differences between revisions 51 and 58 (spanning 7 versions)
Revision 51 as of 2020-07-08 18:51:36
Size: 1848
Comment: remove references to deleted page
Revision 58 as of 2022-12-09 09:37:37
Size: 1991
Comment: remove dead link
Deletions are marked like this. Additions are marked like this.
Line 7: Line 7:
 * [[/Requirements]]: the set of rules regarding which versions of operating systems, compilers etc. we support
Line 14: Line 15:
 * [[/CodeReview]]: how to use Bitbucket code reviews or the Rietveld code review tool with our codebase
 * [[/BuildBot]]: buildbot information
 * [[/CodeReview]]: how to use Github pull requests for code reviews
 * [[/GithubActions]]: information on Github actions
Line 17: Line 18:
 * [[/CodeBasesToMerge]]: code from papers we want to merge in the (medium-term) future
Line 25: Line 25:
 * [[/Sprint]]: information, statistics, and news about our Fast Downward sprints
 * [[/Blog]]: articles describing parts of the code base

Back to the HomePage.

Information for developers

Subpages:

Other bits and pieces

FastDownward: ForDevelopers (last edited 2024-03-15 12:14:37 by MalteHelmert)