Skip to content

Issues: UPPAALModelChecker/docs.uppaal.org

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

17 Open 3 Closed
17 Open 3 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 UPPAAL logo documentation Improvements or additions to documentation enhancement New feature or request
#63 opened Oct 31, 2024 by mikucionisaau
1 task
Upgrade the theme to Relearn documentation Improvements or additions to documentation enhancement New feature or request
#62 opened Oct 31, 2024 by mikucionisaau
2 tasks
Improve note on ampersand template parameter
#58 opened Jun 21, 2024 by magoorden
Clarify editable part in GUI Verifier
#55 opened Apr 4, 2024 by magoorden
Update GUI verifier description with new buttons documentation Improvements or additions to documentation
#54 opened Apr 4, 2024 by magoorden
Missing concrete simulator trace extension in file formats overview documentation Improvements or additions to documentation
#53 opened Mar 26, 2024 by magoorden
Update GUI with new menus: Find, Gantt, Show Heatmap
#41 opened Jun 2, 2023 by mikucionisaau
@thorulf4
Navigation menu should be arbitrarily collapsable
#40 opened Jun 2, 2023 by mikucionisaau
Add __ON_CONSTRUCT__ and similar
#28 opened Dec 12, 2022 by petergjoel
2
Documentation needed for Randomized Reachability Analysis
#15 opened Oct 1, 2021 by yrke
@akivir
Automation instantiation is not documented in system-definition/template-instantiation/
#14 opened Sep 16, 2021 by yrke
Page "preview-buid" needs content
#13 opened Sep 14, 2021 by yrke
Update documentation with new server/connection settings dialog and menu
#11 opened Aug 20, 2021 by yrke
timelocks under strategy when environment lacks choice documentation Improvements or additions to documentation
#4 opened Dec 8, 2020 by mikucionisaau
@petergjoel @mikucionisaau
Missing language reference for queries such as "simulate" "strategy" and "control"
#3 opened Nov 18, 2020 by yrke
3
page /language-reference/system-description/declarations/types/ referes to External Functions not found in uppaal doc
#2 opened Oct 15, 2020 by yrke
Page MenuBar - tools, links to page Plot Composer not in menu
#1 opened Oct 15, 2020 by yrke
ProTip! What’s not been updated in a month: updated:<2025-01-10.