Skip to content

Issues: imitator-model-checker/imitator

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

70 Open 75 Closed
70 Open 75 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

Normal syntax errors are not properly reported bug
#205 opened Nov 26, 2024 by etienneandre
The syntax of unused functions is not checked
#203 opened Nov 20, 2024 by himito
1
Detect properly static divisions by 0 in model and property bug
#201 opened Nov 8, 2024 by etienneandre
Add new locations type "finite progress" algorithmic feature
#197 opened Oct 14, 2024 by etienneandre
Convex hull algorithmic feature
#196 opened Oct 11, 2024 by etienneandre
Reintroduce line breaks for updates in dot exports of the model output feature
#191 opened Jul 15, 2024 by etienneandre
Allow free order of templates and non-templates PTAs input model
#190 opened Jul 15, 2024 by etienneandre
@tomaz1502
Allow arithmetic operations on constants input model
#189 opened Jun 3, 2024 by etienneandre
Type checking on templates
#184 opened May 2, 2024 by tomaz1502
Possible improvements for the test script
#180 opened Apr 26, 2024 by tomaz1502
Fix formatting of each file in the project
#179 opened Apr 24, 2024 by tomaz1502
Allow rectangular flows for variables algorithmic feature input model
#175 opened Apr 6, 2024 by etienneandre
Create comparator script over selected benchmarks to compare optimizations help wanted tests
#174 opened Mar 30, 2024 by etienneandre
Add ability to do Boolean computations over algorithms algorithmic feature
#173 opened Mar 30, 2024 by etienneandre
Add algorithm to compute all valuations of a given clock in a given location algorithmic feature
#172 opened Mar 25, 2024 by etienneandre
Absence of check of variable existence in updates bug
#169 opened Mar 14, 2024 by etienneandre
Prune automata when no accepting location in the future algorithmic feature enhancement
#168 opened Mar 8, 2024 by etienneandre
Add automatically a global time clock to the model enhancement input model
#166 opened Mar 4, 2024 by etienneandre
Document Templates documentation
#165 opened Mar 1, 2024 by tomaz1502 feature: Templates
@tomaz1502
More concise templates (forall, foreach, local clocks...) input model
#164 opened Mar 1, 2024 by tomaz1502 feature: Templates
@tomaz1502
Differentiate between constant and variable template arguments
#163 opened Mar 1, 2024 by tomaz1502 feature: Templates
@tomaz1502
Check types of arguments passed to templates before instantiation
#162 opened Mar 1, 2024 by tomaz1502 feature: Templates
@tomaz1502
Better exception handling on Templates module
#161 opened Mar 1, 2024 by tomaz1502 feature: Templates
@tomaz1502
Invalid_argument exception: index out of bounds bug
#151 opened Jun 23, 2023 by senniraf
3
Non regression test on variable shadowing in user function tests
#149 opened Aug 24, 2022 by lbinria
ProTip! Updated in the last three days: updated:>2025-01-14.