Skip to content

Issues: UPPAALModelChecker/UCDD

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

Add CDD performance statistics
#39 opened Aug 19, 2022 by magoorden
cdd_done() generates heap-use-after-free error for "CDD timed predecessor static test"
#36 opened Jul 27, 2022 by magoorden
Minimize memory sharing in UCDD library
#35 opened Jul 26, 2022 by magoorden
1
Remove macros from C++ parts
#34 opened Jul 26, 2022 by magoorden
bdd_varnum is a too general name, as it only refers to BDD variables
#33 opened Jul 26, 2022 by magoorden
Add generation of random BDDs and CDDs to test framework
#25 opened Jul 1, 2022 by magoorden
test_reduce fails for size = 3 bug Something isn't working
#19 opened Jun 17, 2022 by magoorden
1
cdd_interval returns lower bound with incorrect interpretation
#14 opened Apr 22, 2022 by magoorden
Numerous methods not documented
#12 opened Mar 11, 2022 by magoorden
CDD print should allow variable labels
#7 opened Feb 8, 2022 by magoorden
No proper error handling for clock indexes out of range or clock intervals
#2 opened Sep 8, 2021 by florber
ProTip! Follow long discussions with comments:>50.