Skip to content

Issues: abau/co4

Beta
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 79 Closed
29 Open 79 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

Illegal variable name: ‘enc[]Cons’
#115 opened Feb 24, 2018 by jwaldmann
1
Configurable support for partial functions enhancement
#113 opened Feb 19, 2015 by abau
configurable name of top-level constraint enhancement
#107 opened Jul 18, 2014 by abau
represent Set Int as [Bool] enhancement
#102 opened May 28, 2014 by jwaldmann
instantiation (?) fails bug
#99 opened May 21, 2014 by abau
1
output of labelled systems is broken bug termination
#97 opened May 18, 2014 by jwaldmann
3
proof output for semantic labelling should use tc/MB/Proof enhancement termination
#94 opened May 15, 2014 by jwaldmann
semantic labelling: symbol map: should use common bit width question
#79 opened Apr 22, 2014 by jwaldmann
1
cache for abstract computation => memoize for concrete computation? enhancement
#78 opened Apr 22, 2014 by jwaldmann
Optimize EncodedAdt.constructorArgument enhancement
#76 opened Apr 22, 2014 by abau
LPO + MPO => RPO enhancement termination
#72 opened Apr 13, 2014 by jwaldmann
line numbers in error messages question
#67 opened Apr 10, 2014 by jwaldmann
6
semantic labelling: more powerful patterns enhancement termination
#58 opened Apr 6, 2014 by jwaldmann
semantic labelling: better repr. of precedence enhancement termination
#55 opened Apr 6, 2014 by jwaldmann
1
turn off optimizations on demand
#50 opened Oct 9, 2013 by abau
Costas Array constraint enhancement
#49 opened Sep 30, 2013 by jwaldmann
add unary ("order") encoding for naturals enhancement
#48 opened Sep 20, 2013 by jwaldmann
abstract evaluation (merging) blows up data question
#47 opened Sep 18, 2013 by jwaldmann
provide encoding(s) for alldifferent constraint enhancement
#44 opened Sep 18, 2013 by jwaldmann
compare H.O. removal in CO4 to Mitchell's firstify enhancement
#43 opened Sep 18, 2013 by jwaldmann
add encodings of minizinc challenge problems enhancement
#42 opened Sep 18, 2013 by jwaldmann
1
add encodings of csplib problems enhancement
#41 opened Sep 18, 2013 by jwaldmann
1
Unkown-Either (Known ...) (Known ...) question
#35 opened Jul 13, 2013 by jwaldmann
1
CO4 options: distinguish between static and dynamic
#34 opened Jul 11, 2013 by jwaldmann
1
built-in data (e.g., Int) that are never encoded enhancement
#29 opened Jun 23, 2013 by jwaldmann
2
ProTip! Add no:assignee to see everything that’s not assigned.