Skip to content

Issues: UPPAALModelChecker/UPPAAL-Meta

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

73 Open 86 Closed
73 Open 86 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

Loading a strategy via a query results in segfault in Uppaal 5
#202 opened May 25, 2023 by GameMonkey
1
Backward compatible Graphic Display of Automata in Uppaal 5 feature New feature or request
#201 opened May 23, 2023 by davidebasile
"Cannot generate the trace" error when over-approximation and diagnostic trace are enabled bug Something isn't working confirmed
#200 opened May 10, 2023 by mikucionisaau
Generated strategies overwrite previous strategies even if they have a different variable name bug Something isn't working stratego Specific to stratego waiting for release Has been fixed in the source tree, but a version with the fix has not been released yet
#198 opened Apr 18, 2023 by GameMonkey
@thorulf4
Stratego 11 says "support not implemented" for learning queries, when runing verifyta from command line bug Something isn't working waiting for release Has been fixed in the source tree, but a version with the fix has not been released yet
#197 opened Apr 11, 2023 by AsgerHB
@mikucionisaau
1
Concrete simulator is violating channel priorities bug Something isn't working critical
#192 opened Mar 28, 2023 by magoorden
Import query file without getting file dialog window feature New feature or request
#191 opened Feb 28, 2023 by magoorden
Concrete simulator: Random simulation only available after selecting the first transition manually bug Something isn't working GUI waiting for release Has been fixed in the source tree, but a version with the fix has not been released yet
#189 opened Feb 27, 2023 by magoorden
Cannot save trace of concrete simulator when no extension is provided bug Something isn't working MacOS This issue is specific to MacOS
#188 opened Feb 17, 2023 by magoorden
2
Better error reporting when attempting to make local declarations after other statements has begun bug Something isn't working feature New feature or request
#186 opened Feb 16, 2023 by senevoldsen
1
SIGSEGV on bad syntax for array of structs instantiation. bug Something isn't working
#185 opened Feb 15, 2023 by senevoldsen
running strategy using "Load" brought SIGSEGV signal error.
#183 opened Feb 2, 2023 by EstherHKim
3
Concrete simulator_Export MSC_java error
#182 opened Feb 2, 2023 by EstherHKim
2
Concrete Simulator_select strategy_reload after error_java exception error occured.
#181 opened Feb 2, 2023 by EstherHKim
6
Simulation plot's background pattern is mixed
#180 opened Feb 2, 2023 by EstherHKim
1
Feature checker should accept models with ODEs for symbolic operations where ODEs are not part of the system feature New feature or request
#175 opened Dec 27, 2022 by mikucionisaau
2
Duplicate numeric locale options Cosmetic Mostly aesthetic issues, that does not affect usage
#173 opened Dec 13, 2022 by magoorden
1
[Visual] Overlapping numbers on time scale when expeding in concrete simulator bug Something isn't working GUI simulator
#172 opened Dec 13, 2022 by magoorden
Load TIGA strategies feature New feature or request
#170 opened Nov 22, 2022 by magoorden
Mixing order of local declarations and statements within a block feature New feature or request
#169 opened Nov 22, 2022 by magoorden
Cursor placement in Uppaal is one character to the left where the user clicked the curser to be
#165 opened Nov 8, 2022 by magoorden
2
New template not shown in GUI
#164 opened Nov 8, 2022 by magoorden
1
Replace globally does not change view when next match is in another template
#162 opened Nov 7, 2022 by magoorden
1
Function with same name as variable reports incompatible type error
#161 opened Nov 7, 2022 by magoorden
1
Keep indentation when starting on new line feature New feature or request
#157 opened Oct 14, 2022 by magoorden
5
ProTip! Mix and match filters to narrow down what you’re looking for.