Skip to content

Pull requests: potassco/anthem

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

Zach/timing2
#179 opened Dec 11, 2024 by ZachJHansen Loading…
Implementation of Ordered Completion
#175 opened Dec 5, 2024 by janheuer Loading…
Modification of simplify
#174 opened Dec 5, 2024 by janheuer Draft
Add more, hopefully rather uncontroversial simplifications A-simplifying Area: Simplifying C-feature-accepted Category: Accepted feature E-easy Experience: Easy L-fol Language: First-order logic
#172 opened Dec 4, 2024 by teiesti Loading…
Zach/simplifications A-simplifying Area: Simplifying C-enhancement Category: Enhancement E-hard Experience: Hard L-fol Language: First-order logic P-medium Priority: Medium
#149 opened Sep 7, 2024 by ZachJHansen Loading…
Add tests for the control language A-formatting Area: Formatting A-parsing Area: Parsing A-syntax-tree Area: Abstract syntax tree C-cleanup Category: Cleanup E-easy Experience: Easy L-fol Language: First-order logic P-low Priority: Low
#86 opened Apr 5, 2024 by teiesti Draft
ProTip! Updated in the last three days: updated:>2024-12-20.