This website requires JavaScript.
Explore
Help
Sign In
patrick
/
anthem
Watch
1
Star
0
Fork
You've already forked anthem
0
Code
Issues
15
Releases
21
Activity
Labels
Milestones
New Issue
0 Open
9 Closed
Label
Show archived labels
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
Milestone
All milestones
No milestones
Open milestones
anthem 0.2.0
anthem 0.2.1
Closed milestones
anthem 0.1.9
Project
All projects
No project
Author
All authors
Assignee
All assignees
No assignee
patrick
Sort
Newest
Oldest
Recently updated
Least recently updated
Most commented
Least commented
Nearest due date
Farthest due date
0 Open
9 Closed
Open
Label
Clear labels
aesthetic
bug
discussion
documentation
duplicate
enhancement
good first issue
help wanted
invalid
question
suggestion
task
wontfix
Milestone
No milestone
Open milestones
anthem 0.2.0
anthem 0.2.1
Open milestones
anthem 0.1.9
Projects
Clear projects
Assignee
Clear assignees
No assignee
patrick
Detect integer variables and predicate parameters
enhancement
1
#2
by
patrick
was closed
2018-04-21 17:14:51 +02:00
anthem 0.1.9
Implement integer simplification rules
enhancement
#3
by
patrick
was closed
2018-04-22 13:17:48 +02:00
anthem 0.1.9
Handle noninteger intervals appropriately
bug
discussion
1
#15
by
patrick
was closed
2018-04-22 17:35:38 +02:00
anthem 0.1.9
Add unit tests for integer variable detection
task
1
#12
by
patrick
was closed
2018-05-02 18:38:23 +02:00
anthem 0.1.9
Add unit tests for testing equality of formulas and terms
task
#9
by
patrick
was closed
2018-05-03 16:59:08 +02:00
anthem 0.1.9
Incorrect translation of choice rule with multiple elements
bug
2
#13
by
patrick
was closed
2018-05-04 15:22:03 +02:00
anthem 0.1.9
Verify interval operator precedence in output
bug
1
#19
by
patrick
was closed
2018-05-04 15:52:44 +02:00
anthem 0.1.9
Make completion, simplifications, and integer variable detection the default
enhancement
1
#11
by
patrick
was closed
2018-05-04 16:05:17 +02:00
anthem 0.1.9
Update readme for release 0.1.9
documentation
task
1
#17
by
patrick
was closed
2018-05-04 17:00:14 +02:00
anthem 0.1.9