Skip to content

Pull requests: aibasel/downward

New pull request New
21 Open 267 Closed
21 Open 267 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

use updated make for zlip
#288 opened Apr 2, 2026 by SimonDold Loading…
[issue 1164] Oom handling
#286 opened Mar 5, 2026 by guicho271828 Loading…
[issue559] Switch to Task-Independent Components.
#285 opened Feb 19, 2026 by FlorianPommerening Loading…
[issue1199] Support to additional LP solvers
#284 opened Feb 13, 2026 by remochristen • Draft
[issue1201] Check whether a configuration guarantees completeness
#283 opened Feb 10, 2026 by grucla Loading…
21
[issue1200] Add references to component documentation.
#282 opened Feb 10, 2026 by grucla Loading…
Issue559-Prototype
#269 opened Jul 25, 2025 by SimonDold • Draft
[issue1187] Failing Assertion in Enforced Hill Climbing on Trivial Problem
#267 opened Jul 23, 2025 by speckdavid Loading…
3
remove timer.h in logging.h: logging.h does not depend on it
#264 opened May 14, 2025 by guicho271828 Loading…
2
Issue997 (changing iterators to return ints from state[i])
#260 opened Apr 10, 2025 by FlorianPommerening Loading…
4
Issue1171
#244 opened Feb 2, 2025 by silvansievers Loading…
12
Kuroiwa's Biased Exploration code base ported to modern fast downward
#241 opened Jan 15, 2025 by guicho271828 Loading…
2
More quality-of-life improvements: Exp/Eval/Gen limits, and soft limits
#240 opened Jan 14, 2025 by guicho271828 Loading…
2
Bitsets / Dynamic Bitset enhancements
#239 opened Jan 13, 2025 by guicho271828 Loading…
1
More quality-of-life improvements: Hash and printers for collections
#238 opened Jan 13, 2025 by guicho271828 Loading…
5
optimize goal_count (callgrind ir/call : 816 -> 126)
#237 opened Jan 12, 2025 by guicho271828 Loading…
16
get rid of g_axiom_evaluators
#235 opened Dec 11, 2024 by FlorianPommerening Loading…
4
Issue730
#226 opened Jul 17, 2024 by FlorianPommerening • Draft
67
Issue559 prototype
#211 opened Jan 18, 2024 by SimonDold • Draft
Issue1072
#210 opened Jan 16, 2024 by ClemensBuechner • Draft
2
Pybind11 playground
#152 opened Feb 8, 2023 by FlorianPommerening • Draft
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.