Skip to content

Pull requests: alpha-asp/Alpha

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
Sort

Pull requests list

Grounder restart
#361 opened Jul 19, 2023 by paulbehofsics Loading…
Preprocessing
#337 opened Feb 14, 2022 by mschmutzhart Draft
Refactor Unit Tests
#335 opened Feb 2, 2022 by madmike200590 Loading…
Build Properties
#331 opened Dec 20, 2021 by lorenzleutgeb Loading…
Native Image
#330 opened Dec 20, 2021 by lorenzleutgeb Loading…
Versioning with Reckon
#329 opened Dec 17, 2021 by lorenzleutgeb Draft
ci: Enable bors
#319 opened Dec 14, 2021 by lorenzleutgeb Draft
Completion
#283 opened Dec 15, 2020 by AntoniusW Draft
Enable weak constraints
#273 opened Oct 26, 2020 by AntoniusW Loading…
Conflict generalisation
#242 opened Mar 23, 2020 by rtaupe Draft
ProTip! no:milestone will show everything without a milestone.