Differences between revisions 53 and 56 (spanning 3 versions)
Revision 53 as of 2021-01-22 15:16:43
Size: 1870
Comment: add link for blog
Revision 56 as of 2021-03-19 15:53:11
Size: 1997
Comment: remove references to buildbot
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 15: Line 16:
 * [[/BuildBot]]: buildbot information  * [[/GithubActions]]: information on Github actions

Back to the HomePage.

Information for developers

Subpages:

Other bits and pieces

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