Differences between revisions 48 and 51 (spanning 3 versions)
Revision 48 as of 2019-06-07 13:19:30
Size: 1919
Comment:
Revision 51 as of 2020-07-08 18:51:36
Size: 1848
Comment: remove references to deleted page
Deletions are marked like this. Additions are marked like this.
Line 9: Line 9:
 * [[/Mercurial]]: our Mercurial workflow and Mercurial tips and tricks  * [[/Git]]: our Git workflow and Git tips and tricks
Line 12: Line 12:
 * [[/Uncrustify]]: using the {{{uncrustify}}} source code pretty printer, including integration with Mercurial  * [[/Uncrustify]]: using the {{{uncrustify}}} source code pretty printer
Line 30: Line 30:
 * '''Python code:''' We follow [[http://www.python.org/dev/peps/pep-0008/|PEP 8]] and support Python 2.7 and Python >= 3.2.  * '''Python code:''' We follow [[http://www.python.org/dev/peps/pep-0008/|PEP 8]] and support Python >= 3.6.

Back to the HomePage.

Information for developers

Subpages:

Other bits and pieces

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