Skip to content

Issues: mCRL2org/mCRL2

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

57 Open 1,633 Closed
57 Open 1,633 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

The atermpp::standard_containers implementation is unidiomatic and error prone enhancement Something can be improved
#1765 opened Apr 22, 2024 by mlaveaux
There are (still) data races in lps2lts, presumably the --cached option bug Something isn't working
#1763 opened Apr 10, 2024 by mlaveaux release 202406
Qt 6.7 added a Windows 11 theme, which enabled dark mode, and this makes the icons hard to see in mcrl2ide bug Something isn't working
#1762 opened Apr 9, 2024 by mlaveaux
Missing documentation --check-only flag lps2pbes
#1761 opened Apr 4, 2024 by markuzzz
3
The compiling rewriter fails in the nightly builds due to referring to a non existing sysroot bug Something isn't working
#1758 opened Mar 21, 2024 by mlaveaux
pbessolvesymbolic crashes when merging the data specification with the data specification containing the PropositionalVariable struct bug Something isn't working
#1757 opened Mar 20, 2024 by mlaveaux
Add tests for the PRES library enhancement Something can be improved
#1754 opened Mar 12, 2024 by mlaveaux
Symbolic exploration using lps2lts-sym of the latest version of ltsmin is broken bug Something isn't working
#1753 opened Mar 8, 2024 by mlaveaux
1
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 shows the Terminate action instead of showing states with a tick as done in the book enhancement Something can be improved
#1746 opened Feb 26, 2024 by mlaveaux
It is unclear that ltsgraph can anchor nodes enhancement Something can be improved
#1745 opened Feb 26, 2024 by mlaveaux
Instantiating global variables should be done consistently bug Something isn't working
#1743 opened Feb 23, 2024 by mlaveaux
The new ltsgraph layouting algorithm is unsuitable for showing (small) counter examples bug Something isn't working
#1742 opened Feb 23, 2024 by mlaveaux
ltsgraph could show livelocked states in a selectable color feature New functionality
#1741 opened Feb 23, 2024 by mlaveaux
@mlaveaux
1
mCRL2ide could be extended with options for running the tools feature New functionality
#1740 opened Feb 23, 2024 by mlaveaux
mCRL2ide should have the option to rewrite a data expression feature New functionality
#1739 opened Feb 23, 2024 by mlaveaux
Pretty printing is confusing. bug Something isn't working
#1735 opened Jan 20, 2024 by jgroote
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
ltsgraph visualization issues on macOS bug Something isn't working
#1727 opened Nov 14, 2023 by volkm
@mlaveaux
1
The selection is Diagraphica's edit mode is broken bug Something isn't working
#1720 opened Oct 5, 2023 by FerryT release 202406
@mlaveaux
3
ltsgraph keeps refreshing with no graph layout enabled or user interaction bug Something isn't working
#1719 opened Sep 11, 2023 by mlaveaux
@mlaveaux
Ltsgraph and ltsview do not show an error when the OpenGL support is insufficient bug Something isn't working
#1707 opened Mar 23, 2023 by markuzzz
@mlaveaux
2
lpsconfcheck related problem
#1674 opened Apr 11, 2022 by matifch
6
Improvements to the grammar enhancement Something can be improved long term Issue serves as a reminder
#1672 opened Mar 14, 2022 by Valo13
ProTip! What’s not been updated in a month: updated:<2024-03-23.