Skip to content

Pull requests: aibasel/downward

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

[issue 1164] Oom handling
#286 opened Mar 5, 2026 by guicho271828 Contributor Loading…
[issue559] Switch to Task-Independent Components.
#285 opened Feb 19, 2026 by FlorianPommerening Member Loading…
[issue1199] Support to additional LP solvers
#284 opened Feb 13, 2026 by remochristen Contributor Draft
[issue1201] Check whether a configuration guarantees completeness
#283 opened Feb 10, 2026 by grucla Contributor Loading…
[issue1200] Add references to component documentation.
#282 opened Feb 10, 2026 by grucla Contributor Loading…
Issue559-Prototype
#269 opened Jul 25, 2025 by SimonDold Contributor Draft
remove timer.h in logging.h: logging.h does not depend on it
#264 opened May 14, 2025 by guicho271828 Contributor Loading…
Issue1171
#244 opened Feb 2, 2025 by silvansievers Contributor Loading…
Bitsets / Dynamic Bitset enhancements
#239 opened Jan 13, 2025 by guicho271828 Contributor Loading…
optimize goal_count (callgrind ir/call : 816 -> 126)
#237 opened Jan 12, 2025 by guicho271828 Contributor Loading…
get rid of g_axiom_evaluators
#235 opened Dec 11, 2024 by FlorianPommerening Member Loading…
Issue730
#226 opened Jul 17, 2024 by FlorianPommerening Member Draft
Issue559 prototype
#211 opened Jan 18, 2024 by SimonDold Contributor Draft
Issue1072
#210 opened Jan 16, 2024 by ClemensBuechner Contributor Draft
Pybind11 playground
#152 opened Feb 8, 2023 by FlorianPommerening Member Draft
ProTip! Updated in the last three days: updated:>2026-04-07.