Skip to content

Issues: Topology/ALM-Compiler

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

29 Open 10 Closed
29 Open 10 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

constant and its attribute function (instantiation) bug
#39 opened Sep 24, 2018 by zhangyuanlin
@Topology
4
library import - breaking up the program
#38 opened Sep 18, 2018 by anuradha252
CALM interface
#37 opened Sep 17, 2018 by zhangyuanlin
1
On instance defined for non-source sort -- current ALM definitions
#36 opened Sep 16, 2018 by zhangyuanlin
1
On instance definition for non-source sort -- philosophical discussion
#35 opened Sep 16, 2018 by zhangyuanlin
instance(X,Y) instead of is_a for instance declarations
#34 opened Sep 16, 2018 by Topology
CALM exception - wrestler and opponent
#33 opened Sep 9, 2018 by anuradha252
3
CALM exception - on monkey banana using library
#32 opened Sep 4, 2018 by zhangyuanlin
2
CALM exception on (a possibly buggy) all-in-one-Monkey-Banana bug
#31 opened Sep 4, 2018 by zhangyuanlin
@Topology
4
instance of general actions
#30 opened Sep 4, 2018 by zhangyuanlin
1
total function bug
#29 opened Sep 3, 2018 by zhangyuanlin
@Topology
2
CALM bug? bug
#28 opened Sep 3, 2018 by zhangyuanlin
@Topology
3
attribute function applied to a constant in the head of a state constraint
#27 opened Sep 3, 2018 by zhangyuanlin
2
instance belonging to two different sorts
#26 opened Sep 3, 2018 by anuradha252
7
Replace all "IMPLEMENTATION_FAILURE" calls with semantic errors. bug
#25 opened Sep 2, 2018 by Topology
@Topology
1
CALM distribution - library
#24 opened Sep 2, 2018 by zhangyuanlin
2
proper treatment of total functions
#23 opened Sep 1, 2018 by Topology
1
Add Complex Arithmetic Expressions enhancement
#17 opened Aug 26, 2018 by Topology
1
CALM bug? – translation attribute (Herbrand term related)
#16 opened Aug 24, 2018 by anuradha252
11
Testing (development) - wrestler_and_opponent.txt - 1
#15 opened Aug 24, 2018 by zhangyuanlin
3
Monkey Banana - Test case Test Program Development
#14 opened Aug 23, 2018 by zhangyuanlin
2
wrestler_and_opponent.txt -- test case for Library
#13 opened Aug 23, 2018 by zhangyuanlin
2
summary of actions
#12 opened Aug 23, 2018 by zhangyuanlin
3
Does ALM need namespaces? Theoretical Discussion Requires long discussion and does not lead to immediately actionable code changes.
#11 opened Aug 23, 2018 by Topology
1
Support for Aggregate Expressions. Significant Language Extension
#9 opened Aug 23, 2018 by Topology
ProTip! Find all open issues with in progress development work with linked:pr.