Skip to content

Issues: mCRL2org/mCRL2

Beta
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

58 Open 1,667 Closed
58 Open 1,667 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Operations on the elements of FSets cannot be defined
#1825 opened May 22, 2025 by jkeiren
Update example run scripts to refer to pbessolve instead of pbes2bool enhancement Something can be improved
#1823 opened May 22, 2025 by jkeiren
@mlaveaux
2
Tool documentation on website not formatted correctly
#1822 opened May 21, 2025 by jkeiren
ltsgraph compiled with thread sanitizer reports data races bug Something isn't working
#1820 opened May 20, 2025 by mlaveaux
@mlaveaux
There are warnings in the manual RST pages automatically generated from the tools bug Something isn't working
#1813 opened Apr 3, 2025 by mlaveaux
@mlaveaux
Extend the logger library with functionality to split performance output and other logging enhancement Something can be improved
#1812 opened Mar 28, 2025 by mlaveaux
@mlaveaux
Extend --split-conditions of pbessolvesymbolic to deal with negations enhancement Something can be improved
#1803 opened Feb 7, 2025 by mlaveaux release 202506
@mlaveaux
2
Operator precedence issue bug Something isn't working
#1801 opened Jan 15, 2025 by pvunderink release 202506
@mlaveaux
'Don't care' values in mu-calculus formulas long term Issue serves as a reminder
#1798 opened Dec 19, 2024 by markuzzz
Feature Request: Standard Library implementation of Char and String? long term Issue serves as a reminder
#1796 opened Dec 9, 2024 by gjveltink
4
unexpected behaviour with set comprehension
#1794 opened Dec 6, 2024 by gjveltink
5
ltsview no longer shows deadlocks bug Something isn't working
#1793 opened Nov 26, 2024 by gjveltink release 202506
@mlaveaux
5
mCRL2xi can be crashed with an incorrect specification feature New functionality
#1789 opened Oct 27, 2024 by gjveltink release 202506
@mlaveaux
7
lpsxsim hangs on ubuntu 22.04 bug Something isn't working
#1788 opened Oct 17, 2024 by mega-explorer
@mlaveaux
5
Introduce utility functions to print progress in a consistent way enhancement Something can be improved
#1782 opened Aug 7, 2024 by mlaveaux
@mlaveaux
Shorthand notation for observation variables feature New functionality
#1776 opened Jun 6, 2024 by markuzzz
Pretty printing an LPS creates an invalid mCRL2 specification whenever there is an action is named P bug Something isn't working
#1775 opened Jun 6, 2024 by mlaveaux release 202506
@mlaveaux
[Diagraphica] Examiner play button unimplemented bug Something isn't working
#1773 opened Jun 5, 2024 by FerryT
@FerryT
1
There should be a standard way to print progress information with a fixed time interval enhancement Something can be improved
#1771 opened May 24, 2024 by mlaveaux
@mlaveaux
The atermpp::standard_containers implementation is unidiomatic and error prone enhancement Something can be improved
#1765 opened Apr 22, 2024 by mlaveaux
@mlaveaux
Add tests for the PRES library enhancement Something can be improved
#1754 opened Mar 12, 2024 by mlaveaux
@mlaveaux
Regular formulas cannot contain the `nil' element. enhancement Something can be improved
#1751 opened Feb 28, 2024 by jjmartens
2
Add information pertaining counterexamples to .pbes to avoid mistakes with passing the relevant .lps or .lts files for pbessolve. enhancement Something can be improved
#1747 opened Feb 26, 2024 by mlaveaux
ltsgraph could show livelocked states in a selectable color feature New functionality
#1741 opened Feb 23, 2024 by mlaveaux
@mlaveaux
1
ATerms are being leaked due to construction and destruction threads not matching, .e.g., in lpsxsim. bug Something isn't working
#1731 opened Dec 11, 2023 by mlaveaux
ProTip! Follow long discussions with comments:>50.