Logo
Explore Help
Sign In
patrick/anthem
1
0
Fork 0
You've already forked anthem
Code Issues 15 Releases 21 Activity

anthem 0.2.0

New Issue
2019-01-17
76% Completed
4 Open 13 Closed
Label
Use alt + click/enter to exclude labels
All labels No label
aesthetic

bug

discussion

documentation

duplicate

enhancement

good first issue

help wanted

invalid

question

suggestion

task

wontfix

Project
All projects No project
Author
All users
Assignee
All assignees No assignee
patrick
Sort
Newest Oldest Recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date
Incorrect output for 0-ary predicates
bug
#38 opened 2019-02-07 17:49:45 +01:00 by patrick
Handle predicates with the same name but different arity
bug
#37 opened 2019-01-30 21:17:04 +01:00 by patrick
Add human-readable output mode with mapping to integer domain only
enhancement
#35 opened 2019-01-25 00:19:07 +01:00 by patrick
Write unit tests for τ* translation scheme
task
#29 opened 2019-01-16 03:19:16 +01:00 by patrick
Powered by Gitea Version: 1.23.8 Page: 180ms Template: 20ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API