Skip to content

Issues: potassco/anthem

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

17 Open 28 Closed
17 Open 28 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Predicates beginning with "or", "and" etc. trigger FOL syntax errors A-parsing Area: Parsing C-bug Category: Bug E-hard Experience: Hard L-fol Language: First-order logic P-medium Priority: Medium
#156 opened Oct 3, 2024 by ZachJHansen
Changing verification message A-verifying Area: Verifying C-enhancement Category: Enhancement E-easy Experience: Easy P-low Priority: Low
#155 opened Sep 30, 2024 by ZachJHansen
Timeout not recognized as an SZS status C-bug Category: Bug E-easy Experience: Easy P-high Priority: High
#152 opened Sep 23, 2024 by ZachJHansen
Add options to stop proof search after first failure A-verifying Area: Verifying C-feature-requested Category: Requested feature E-hard Experience: Hard P-medium Priority: Medium
#150 opened Sep 11, 2024 by ZachJHansen
Unnamed inductive lemmas are not TPTP compliant A-formatting Area: Formatting A-parsing Area: Parsing C-bug Category: Bug E-medium Experience: Medium L-fol Language: First-order logic P-high Priority: High
#148 opened Sep 5, 2024 by ZachJHansen
Make anthem into a library C-feature-accepted Category: Accepted feature E-medium Experience: Medium P-high Priority: High
#135 opened Aug 22, 2024 by teiesti
@teiesti
Programs, specs, can't begin with comments or new lines A-parsing Area: Parsing C-bug Category: Bug E-medium Experience: Medium L-asp Language: Answer Set Programming L-fol Language: First-order logic P-medium Priority: Medium
#127 opened Aug 16, 2024 by ZachJHansen
Revise the substitute function based on AST revisions A-syntax-tree Area: Abstract syntax tree C-bug Category: Bug E-hard Experience: Hard L-fol Language: First-order logic P-high Priority: High
#107 opened May 9, 2024 by ZachJHansen
@ZachJHansen
1
Convert all translations into extension traits A-translating Area: Language translations (like tau_star, ...) C-enhancement Category: Enhancement E-medium Experience: Medium P-low Priority: Low
#99 opened Apr 26, 2024 by teiesti
@teiesti
Allow cascading translation in anthem translate A-command-line Area: Command-line interfaxe C-feature-requested Category: Requested feature E-hard Experience: Hard P-low Priority: Low
#91 opened Apr 5, 2024 by teiesti
@teiesti
Add a --format argument to anthem translate A-command-line Area: Command-line interfaxe C-feature-requested Category: Requested feature E-medium Experience: Medium P-low Priority: Low
#90 opened Apr 5, 2024 by teiesti
@teiesti
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
#87 opened Apr 5, 2024 by teiesti
1
@teiesti
Display system runtime A-command-line Area: Command-line interfaxe C-feature-requested Category: Requested feature E-easy Experience: Easy P-low Priority: Low
#64 opened Feb 21, 2024 by ZachJHansen
1
1
Release version 0.1
#56 opened Feb 1, 2024 by ZachJHansen
Pretty printing A-formatting Area: Formatting C-feature-requested Category: Requested feature E-hard Experience: Hard L-asp Language: Answer Set Programming L-fol Language: First-order logic
#55 opened Feb 1, 2024 by teiesti
Quality of Life: Variable Names A-formatting Area: Formatting A-translating Area: Language translations (like tau_star, ...) C-enhancement Category: Enhancement E-medium Experience: Medium L-fol Language: First-order logic P-low Priority: Low
#34 opened Nov 16, 2023 by ZachJHansen
Support second mini-gringo dialect and tau* variant with absolute value and modified division A-syntax-tree Area: Abstract syntax tree A-translating Area: Language translations (like tau_star, ...) C-feature-requested Category: Requested feature E-hard Experience: Hard P-low Priority: Low
#15 opened Aug 9, 2023 by ZachJHansen
ProTip! Adding no:label will show everything without a label.