Issues
- 1
Pretty printing is confusing.
#1735 opened by jgroote - 1
It is unclear that ltsgraph can anchor nodes
#1745 opened by mlaveaux - 1
- 1
- 4
Improve exception safety with smart pointers
#1767 opened by elfring - 0
The dnj branching bisimulation algorithm triggers an assertion with the --tau option
#1777 opened by mlaveaux - 0
Shorthand notation for observation variables
#1776 opened by markuzzz - 1
Generating the pbes for the no deadlock property on dice.mcrl2 causes well typedness assertions to fail in lps2pbes
#1778 opened by mlaveaux - 5
Qt 6.7 added a Windows 11 theme, which enabled dark mode, and this makes the icons hard to see in mcrl2ide
#1762 opened by mlaveaux - 1
The minimal depth counterexample branching bisimulation algorithm is incorrect
#1772 opened by mlaveaux - 1
The compiling rewriter fails in the nightly builds due to referring to a non existing sysroot
#1758 opened by mlaveaux - 0
Pretty printing an LPS creates an invalid mCRL2 specification whenever there is an action is named P
#1775 opened by mlaveaux - 1
[Diagraphica] Examiner play button unimplemented
#1773 opened by FerryT - 1
ltsgraph shows the Terminate action instead of showing states with a `tick` as done in the book
#1746 opened by mlaveaux - 2
Symbolic exploration using lps2lts-sym of the latest version of ltsmin is broken
#1753 opened by mlaveaux - 4
The selection is Diagraphica's edit mode is broken
#1720 opened by FerryT - 3
Missing documentation --check-only flag lps2pbes
#1761 opened by markuzzz - 0
The minimal depth strong bisimulation algorithm ignores the hidden action map (--tau=)
#1770 opened by mlaveaux - 0
There should be a standard way to print progress information with a fixed time interval
#1771 opened by mlaveaux - 3
lps2lts no longer outputs to stdout by default
#1759 opened by Kevinjil - 3
- 1
- 0
The atermpp::standard_containers implementation is unidiomatic and error prone
#1765 opened by mlaveaux - 1
- 1
CMake 3.27.7 does not work with rpmbuild 4.19, causing packaging to fail on Fedora
#1756 opened by mlaveaux - 0
- 0
pbessolvesymbolic crashes when merging the data specification with the data specification containing the PropositionalVariable struct
#1757 opened by mlaveaux - 1
ltsgraph visualization issues on macOS
#1727 opened by volkm - 2
Test librarytest_mcrl2_process_typecheck_test fails with memory leaks, somewhere introduced while integrating the RES branch
#1750 opened by mlaveaux - 0
Add tests for the PRES library
#1754 opened by mlaveaux - 3
- 2
Regular formulas cannot contain the `nil' element.
#1751 opened by jjmartens - 1
- 0
mCRL2ide shows tabs inconsistently with zooming and replaces them by exactly four spaces
#1744 opened by mlaveaux - 0
Add information pertaining counterexamples to .pbes to avoid mistakes with passing the relevant .lps or .lts files for pbessolve.
#1747 opened by mlaveaux - 0
- 0
The new ltsgraph layouting algorithm is unsuitable for showing (small) counter examples
#1742 opened by mlaveaux - 1
- 0
ATerms are being leaked due to construction and destruction threads not matching, .e.g., in lpsxsim.
#1731 opened by mlaveaux - 3
lpsxsim crashes when loading a saved trace.
#1737 opened by jgroote - 2
Erroneous Explaination in Documentation
#1732 opened by l-fran - 0
Profiling with GCC gprof does not work
#1723 opened by mlaveaux - 2
data races in lps2lts with jittyc
#1722 opened by mlaveaux - 3
Hanging librarytest_mcrl2_atermpp_parallel_container_test
#1701 opened by mlaveaux - 1
[Diagraphica] removal of Trace mode
#1714 opened by FerryT - 2
Ltsgraph and ltsview do not show an error when the OpenGL support is insufficient
#1707 opened by markuzzz - 3
ltsgraph file selection not working on Linux
#1712 opened by mhvis - 1
lps2lts crashes with jittyc and multiple threads on pure virtual function called
#1704 opened by mlaveaux - 1
- 1
Number of transitions reported by lps2lts --verbose incorrect when using multiple threads
#1703 opened by mlaveaux