When writing your email address, use <<MailTo(Firstname DOT Lastname AT example DOT net)>> to avoid spam.

[RSS]

2022-08-01
[DIFF] Doc/Merge Scoring Function 15:09 Info XmlRpcBot
2022-07-19
[DIFF] For Developers/Sprint 13:32 Info GabiRoeger
[DIFF] Doc/Evaluator 12:30 Info XmlRpcBot
2022-07-15
[DIFF] Doc/Pruning Method 12:42 Info XmlRpcBot [1]
XmlRpcBot [2]
2022-06-22
[DIFF] HomePage 14:17 Info FlorianPommerening Add link to Discord server
2022-06-17
[DIFF] What Flavour Is For Me 19:53 Info MalteHelmert Update Singularity => Apptainer.
[DIFF] QuickStart 19:49 Info MalteHelmert Update instructions to reflect current status of Apptainer.
[DIFF] Releases 19:30 Info MalteHelmert Add 22.06 release.
[DIFF] Releases/22.06 19:29 Info MalteHelmert [1-5] #01 avoid wiki link for GitHub
#02 Upload of attachment 'Vagrantfile'.
#03 Upload of attachment 'fast-downward.sif'.
#04 Upload of attachment 'fast-downward-22.06 .tar.gz'.
#05 Create release page for 22.06.
[DIFF] For Developers/Release Workflow 19:26 Info MalteHelmert [1-4] #01 filename downward.sif => fast-downward.sif
#02 Add an explicit testing step. We do this anyway, but good to have a reminder of what should be tested.
#03 Update Apptainer step.
#04 Add note on DockerHub credentials.
2022-03-21
[DIFF] Doc/Landmark Factory 15:10 Info XmlRpcBot
[DIFF] Doc/Constraint Generator 15:10 Info XmlRpcBot
2022-02-16
[DIFF] Releases/21.12 14:09 Info MalteHelmert [1-8] #01 Don't have Fast Downward version number as part of Singularity image filename.
#02 Upload of attachment 'fast-downward.sif'.
#03 Attachment 'fast-downward-21.12 .sif' deleted.
#04 Add SoPlex/ZIB acknowledgements.
#05 Upload of attachment 'Vagrantfile'.
#06 Upload of attachment 'fast-downward-21.12 .sif'.
#07 Upload of attachment 'fast-downward-21.12 .tar.gz'.
#08 Create release page for 21.12.

[DIFF]

marks older pages that have at least one backup version stored (click for an author diff)

[UPDATED]

marks pages edited since you set your bookmark (click for a bookmark diff)

[NEW]

marks pages created since you set your bookmark, and were not edited after creation

[DELETED]

marks page deletions

[RENAMED]

marks page renames

[CONFLICT]

An editing conflict happened, please resolve it by merging both versions of the problematic paragraphs together.