mCRL2org/mCRL2

Issues

• 'Don't care' values in mu-calculus formulas

  #1798 opened 13 days ago by markuzzz
  0

• Can error messages be made more precise?

  #1795 opened 24 days ago by gjveltink
  2

• Feature Request: Standard Library implementation of Char and String?

  #1796 opened 22 days ago by gjveltink
  0

• unexpected behaviour with set comprehension

  #1794 opened 25 days ago by gjveltink
  3

• ltsview no longer shows deadlocks

  #1793 opened a month ago by gjveltink
  5

• Add a remark for failed true/false rewrites with quantifiers that the enumeration limit might have to be increased

  #1791 opened 2 months ago by mlaveaux
  0

• Code coverage builds are broken and have been temporarily disabled on Teamcity.

  #1790 opened 2 months ago by mlaveaux
  1

• ltsconvert branching-bisim introduces spontaneous multi-action for Aldebaran file with hidden labels

  #1786 opened 2 months ago by mlaveaux
  3

• mCRL2xi can be crashed with an incorrect specification

  #1789 opened 2 months ago by gjveltink
  7

• lpsxsim hangs on ubuntu 22.04

  #1788 opened 2 months ago by mega-explorer
  5

• data-only specifications no longer accepted as correct mcrl2 specification by mcrl2-gui/mcrl2xi 202407.1 (Release)

  #1785 opened 3 months ago by gjveltink
  2

• Error in mCRL2-ide with tutorial book example: `pbessolve: option -r, --rewriter specified more than once`

  #1784 opened 4 months ago by MSoegtropIMC
  5

• Pretty printing is confusing.

  #1735 opened 5 months ago by jgroote
  2

• Instantiating global variables should be done consistently

  #1743 opened 5 months ago by mlaveaux
  1

• pbessolvesymbolic crashes when merging the data specification with the data specification containing the PropositionalVariable struct

  #1757 opened 5 months ago by mlaveaux
  1

• Introduce utility functions to print progress in a consistent way

  #1782 opened 5 months ago by mlaveaux
  0

• Generating the documentation results in a segmentation fault on Ubuntu 24.04

  #1781 opened 5 months ago by mlaveaux
  0

• The dnj branching bisimulation algorithm triggers an assertion with the --tau option

  #1777 opened 6 months ago by mlaveaux
  4

• Add tests for the PRES library

  #1754 opened 10 months ago by mlaveaux
  0

• Qt 6.7 added a Windows 11 theme, which enabled dark mode, and this makes the icons hard to see in mcrl2ide

  #1762 opened 6 months ago by mlaveaux
  6

• There should be a standard way to print progress information with a fixed time interval

  #1771 opened 7 months ago by mlaveaux
  0

• Pretty printing an LPS creates an invalid mCRL2 specification whenever there is an action is named P

  #1775 opened 7 months ago by mlaveaux
  0

• It is unclear that ltsgraph can anchor nodes

  #1745 opened 6 months ago by mlaveaux
  1

• mCRL2ide could be extended with options for running the tools

  #1740 opened 6 months ago by mlaveaux
  1

• mCRL2ide should have the option to rewrite a data expression

  #1739 opened 6 months ago by mlaveaux
  1

• Improve exception safety with smart pointers

  #1767 opened 7 months ago by elfring
  4

• Shorthand notation for observation variables

  #1776 opened 7 months ago by markuzzz
  0

• Generating the pbes for the no deadlock property on dice.mcrl2 causes well typedness assertions to fail in lps2pbes

  #1778 opened 7 months ago by mlaveaux
  1

• The minimal depth counterexample branching bisimulation algorithm is incorrect

  #1772 opened 7 months ago by mlaveaux
  1

• The compiling rewriter fails in the nightly builds due to referring to a non existing sysroot

  #1758 opened 7 months ago by mlaveaux
  1

• [Diagraphica] Examiner play button unimplemented

  #1773 opened 7 months ago by FerryT
  1

• ltsgraph shows the Terminate action instead of showing states with a `tick` as done in the book

  #1746 opened 7 months ago by mlaveaux
  1

• Symbolic exploration using lps2lts-sym of the latest version of ltsmin is broken

  #1753 opened 7 months ago by mlaveaux
  2

• Missing documentation --check-only flag lps2pbes

  #1761 opened 7 months ago by markuzzz
  3

• The minimal depth strong bisimulation algorithm ignores the hidden action map (--tau=)

  #1770 opened 7 months ago by mlaveaux
  0

• lps2lts no longer outputs to stdout by default

  #1759 opened 9 months ago by Kevinjil
  3

• Conflicting variables in data gives wrong results in certain cases

  #1768 opened 7 months ago by w2ptr
  3

• There are (still) data races in lps2lts, presumably the --cached option

  #1763 opened 8 months ago by mlaveaux
  1

• The atermpp::standard_containers implementation is unidiomatic and error prone

  #1765 opened 8 months ago by mlaveaux
  0

• mCRL2ide should remember the last selected equivalence for reduction

  #1738 opened 9 months ago by mlaveaux
  1

• CMake 3.27.7 does not work with rpmbuild 4.19, causing packaging to fail on Fedora

  #1756 opened 9 months ago by mlaveaux
  1

• Test librarytest_mcrl2_process_typecheck_test fails with memory leaks, somewhere introduced while integrating the RES branch

  #1750 opened 10 months ago by mlaveaux
  2

• Regular formulas cannot contain the `nil' element.

  #1751 opened 10 months ago by jjmartens
  2

• ltsgraph could show livelocked states in a selectable color

  #1741 opened 10 months ago by mlaveaux
  1

• mCRL2ide shows tabs inconsistently with zooming and replaces them by exactly four spaces

  #1744 opened 10 months ago by mlaveaux
  0

• Add information pertaining counterexamples to .pbes to avoid mistakes with passing the relevant .lps or .lts files for pbessolve.

  #1747 opened 10 months ago by mlaveaux
  0

• The new ltsgraph layouting algorithm is unsuitable for showing (small) counter examples

  #1742 opened 10 months ago by mlaveaux
  0

• ATerms are being leaked due to construction and destruction threads not matching, .e.g., in lpsxsim.

  #1731 opened a year ago by mlaveaux
  0

• lpsxsim crashes when loading a saved trace.

  #1737 opened 10 months ago by jgroote
  3

• Erroneous Explaination in Documentation

  #1732 opened a year ago by l-fran
  2