Skip to content

Issues: tulip-control/gr1c

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

11 Open 25 Closed
11 Open 25 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

create executables at end of CI pipeline
#35 opened Feb 23, 2020 by slivingston
@slivingston
5
Option to change names of nodes for strategy in JSON feature-request
#30 opened Sep 21, 2016 by slivingston 0.13.0
@slivingston
allow any variables in ENVINIT and SYSINIT for ALL_ENV_EXIST_SYS_INIT feature-request
#29 opened Jul 29, 2016 by johnyf 0.13.0
@slivingston
support named expressions and syntactic substitution feature-request
#28 opened Jul 29, 2016 by johnyf
@slivingston
provide machine-readable, reliable output for result of checking realizability etc. documentation feature-request
#26 opened Jul 5, 2016 by slivingston 0.13.0
Cudd_SetMaxMemory feature-request
#23 opened Nov 18, 2015 by johnyf
@slivingston
4
Make compatible with openpromela
#21 opened Jul 13, 2015 by slivingston
@slivingston
Improve worst-case time complexity of realizability computation feature-request
#20 opened Nov 14, 2014 by slivingston
automatic conversion of non-standard specifications to GR(1) format feature-request
#4 opened Jun 5, 2012 by slivingston
2
allow entire expressions to be primed (i.e., under "next" operator) feature-request
#3 opened May 23, 2012 by slivingston
flag to distinguish between "realizability" and "strict realizability" feature-request
#2 opened May 7, 2012 by slivingston
ProTip! What’s not been updated in a month: updated:<2024-10-23.