Back to developer page.

Code reviews with Github

You can prepare a code review by making a pull-request in your own Fast Downward fork on Github.

Compare arbitrary revisions

Compare any two revisions by following the steps above but using the commit IDs of the commits you want to compare instead of the branch names. It is not possible to create a pull request this way because merging might not make sense for the selected commits but you'll be able to see the code difference.

FastDownward: ForDevelopers/CodeReview (last edited 2020-07-09 08:47:09 by SilvanSievers)