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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
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
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
Non regression test on variable shadowing in user function
tests
#149
opened Aug 24, 2022 by
lbinria
Check that a global variable cannot be assigned by a clock or parameter in a user defined function
#140
opened Jun 28, 2022 by
lbinria
Detailled results only when verbose mode is greater than low
enhancement
#138
opened Jun 27, 2022 by
lbinria
Previous Next
ProTip!
Find all open issues with in progress development work with linked:pr.