| 2019-03-07 | Merge branch 'dl/doc-submodule-wo-subcommand' | blob | diff | raw | |
| 2019-03-07 | Merge branch 'jk/unused-params' | blob | diff | raw | |
| 2019-03-07 | Merge branch 'jk/prune-optim' | blob | diff | raw | |
| 2019-02-14 | prune: use bitmaps for reachability traversal | blob | diff | raw | |
| 2019-02-14 | prune: lazily perform reachability traversal | blob | diff | raw | diff to current | |