Mon, 01 Jun 2020 08:38:42 +0200 Manuel Jacob rebase: consider rewrite.empty-successor configuration
Sun, 12 Jul 2020 06:06:06 +0200 Manuel Jacob rewriteutil: add utility to check whether empty successors should be skipped
Sat, 11 Jul 2020 23:53:27 +0200 Manuel Jacob config: add option to control creation of empty successors during rewrite
Sat, 31 Aug 2019 14:33:26 +0200 Pierre-Yves David commands: use any() instead of `if a or b or c`
Mon, 06 Jul 2020 14:49:19 +0200 Joerg Sonnenberger manifest: use the same logic for handling flags in _parse as elsewhere
Mon, 06 Jul 2020 03:43:32 +0200 Joerg Sonnenberger manifest: tigher manifest parsing and flag use
Wed, 08 Jul 2020 00:15:15 +0200 Joerg Sonnenberger phases: sparsify phase lists
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 tip