Skip to content

Issues: potassco/anthem-next

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

18 Open 19 Closed
18 Open 19 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

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
Add READMEs to the external equivalence examples C-enhancement Category: Enhancement E-easy Experience: Easy P-low Priority: Low
#103 opened May 3, 2024 by teiesti
@ZachJHansen
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
Ideas on the project structure C-enhancement Category: Enhancement
#93 opened Apr 12, 2024 by 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
Let anthem translate optionally read from stdin A-command-line Area: Command-line interfaxe C-feature-requested Category: Requested feature E-easy Experience: Easy P-low Priority: Low
#89 opened Apr 5, 2024 by teiesti
@teiesti
Add logic for parsing user guides A-parsing Area: Parsing C-feature-requested Category: Requested feature P-medium Priority: Medium
#88 opened Apr 5, 2024 by ZachJHansen
@teiesti @ZachJHansen
1
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
Simplify TPTP formatting for Relations with the same type A-formatting Area: Formatting C-enhancement Category: Enhancement L-fol Language: First-order logic
#79 opened Mar 30, 2024 by teiesti
@teiesti
Renaming predicates in program-to-program verification A-verifying Area: Verifying C-enhancement Category: Enhancement E-medium Experience: Medium L-fol Language: First-order logic P-high Priority: High
#71 opened Feb 23, 2024 by ZachJHansen
@ZachJHansen
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
rename to anthem-tng
#57 opened Feb 2, 2024 by tortinator
@teiesti
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
Proper formatting of placeholders in TPTP A-convenience Area: Convenience features C-cleanup Category: Cleanup C-enhancement Category: Enhancement E-hard Experience: Hard L-fol Language: First-order logic P-low Priority: Low
#49 opened Dec 15, 2023 by ZachJHansen
1
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! Follow long discussions with comments:>50.