Explore Help
Sign In
patrick
/
anthem
1
0
Fork
You've already forked anthem
0
Code Issues 15 Releases 21 Activity
Labels Milestones
New Issue
15 Open 23 Closed
Label
Use alt + click/enter to exclude labels All labels aesthetic bug discussion documentation duplicate enhancement good first issue help wanted invalid question suggestion task wontfix
Milestone
All milestones anthem 0.2.0 anthem 0.2.1
Assignee
All assignees patrick
Sort
Newest Oldest Recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date
15 Open 23 Closed
Close
Label
aesthetic
bug
discussion
documentation
duplicate
enhancement
good first issue
help wanted
invalid
question
suggestion
task
wontfix
Milestone
No milestone
anthem 0.2.0
anthem 0.2.1
Projects
No project
Assignee
No assignee
patrick
  • Incorrect output for 0-ary predicates bug
    #38 opened 3 years ago by patrick anthem 0.2.0
  • Handle predicates with the same name but different arity bug
    #37 opened 3 years ago by patrick anthem 0.2.0
  • Add human-readable output mode with mapping to integer domain only enhancement
    #35 opened 3 years ago by patrick anthem 0.2.0
  • Support function symbols with τ* and variable mapping scheme bug enhancement
    #30 opened 3 years ago by patrick anthem 0.2.1
    1
  • Write unit tests for τ* translation scheme task
    #29 opened 3 years ago by patrick anthem 0.2.0
  • Perform safe simplifications with logic of here-and-there aesthetic enhancement
    #28 opened 3 years ago by patrick anthem 0.2.1
  • Add option to show verbose output aesthetic enhancement
    #24 opened 3 years ago by patrick anthem 0.2.1
    1
  • Translate logic of here-and-there to classical logic enhancement
    #23 opened 3 years ago by patrick anthem 0.2.1
  • Simplify choice rules further enhancement
    #14 opened 4 years ago by patrick
  • Handle explicitly defined predicates declared as #external bug discussion
    #10 opened 4 years ago by patrick
  • First Previous 1 2 Next Last
    Powered by Gitea Version: 1.16.6 Page: 38ms Template: 8ms
    English
    Deutsch English español français italiano latviešu Nederlands polski português do Brasil suomi svenska Türkçe čeština български русский српски Українська 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
    Licenses API Website Go1.18.1