Skip to content

Issues: Ecdar/Reveaal

Feature Overview
#107 opened Jul 25, 2022 by seblund
Open
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 27 Closed
29 Open 27 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

Revert change in quotient rule
#172 opened May 31, 2023 by magoorden
3
Clock scopes enhancement New feature or request large endeavour An endeavour that requires a relatively more effort to implement new feature A feature that should eventually be added
#158 opened Mar 30, 2023 by t-lohse
Active clock reduction enhancement New feature or request large endeavour An endeavour that requires a relatively more effort to implement new feature A feature that should eventually be added
#157 opened Mar 30, 2023 by t-lohse
Model transformation approachable Easily approachable without taking major design decisions enhancement New feature or request
#156 opened Mar 30, 2023 by t-lohse
Implement clock reduction on SystemRecipe enhancement New feature or request large endeavour An endeavour that requires a relatively more effort to implement
#155 opened Mar 30, 2023 by t-lohse
Restructure of tests approachable Easily approachable without taking major design decisions enhancement New feature or request good first issue Good for newcomers
#154 opened Mar 30, 2023 by t-lohse
Expanded logging enhancement New feature or request large endeavour An endeavour that requires a relatively more effort to implement new feature A feature that should eventually be added
#153 opened Mar 30, 2023 by t-lohse
1
Add documentation to (at least) all public structs, enums, functions and traits documentation Improvements or additions to documentation
#148 opened Mar 9, 2023 by seblund
XML parser does not parse edge IDs
#142 opened Dec 14, 2022 by Mati-AAU
Support constraints of the format "x-y < c" in reachability query
#141 opened Dec 14, 2022 by Mati-AAU
Remove state field from the reachability result
#139 opened Dec 14, 2022 by Mati-AAU
1
Implement heuristics for find_path
#138 opened Dec 14, 2022 by Mati-AAU
Partial start state for reachability query
#137 opened Dec 14, 2022 by Mati-AAU
Better errors from find_path when a preliminary check fails
#136 opened Dec 14, 2022 by Mati-AAU
More preliminary checks for find_path
#135 opened Dec 14, 2022 by Mati-AAU
Better benchmark samples for the reachability query
#134 opened Dec 14, 2022 by Mati-AAU
Multithreading determinism
#133 opened Dec 12, 2022 by mads256h
Parallelize component loading/parsing approachable Easily approachable without taking major design decisions enhancement New feature or request
#113 opened Jul 28, 2022 by seblund
Parallelize refinement check, quotienting and pruning enhancement New feature or request
#112 opened Jul 28, 2022 by ulriknyman
1
Return the reason that a refinement/consistency/determinism check failed over GRPC enhancement New feature or request
#110 opened Jul 25, 2022 by seblund
Support Bisimulation Minimization Queries new feature A feature that should eventually be added
#108 opened Jul 25, 2022 by seblund
Feature Overview
#107 opened Jul 25, 2022 by seblund
Support Simulation over ProtoBuf new feature A feature that should eventually be added
#106 opened Jul 25, 2022 by seblund
Location based extrapolation to reduce clock state spaces large endeavour An endeavour that requires a relatively more effort to implement new feature A feature that should eventually be added
#105 opened Jul 25, 2022 by seblund
Allow Boolean variables in guards and updates large endeavour An endeavour that requires a relatively more effort to implement new feature A feature that should eventually be added
#104 opened Jul 25, 2022 by seblund
ProTip! Type g i on any issue or pull request to go back to the issue listing page.