Search results

There are warnings in the manual RST pages automatically generated from the tools

bugSomething isn't workingSomething isn't working

Status: Open.

#1813 In mCRL2org/mCRL2;

· mlaveaux opened on Apr 3, 2025

Extend the logger library with functionality to split performance output and other logging

enhancementSomething can be improvedSomething can be improved

Status: Open.

Feature

#1812 In mCRL2org/mCRL2;

· mlaveaux opened on Mar 28, 2025

Extend --split-conditions of pbessolvesymbolic to deal with negations

enhancementSomething can be improvedSomething can be improved

Status: Open.

#1803 In mCRL2org/mCRL2;

· mlaveaux opened on Feb 7, 2025

 ·  

release 202506

Operator precedence issue

bugSomething isn't workingSomething isn't working

Status: Open.

#1801 In mCRL2org/mCRL2;

· pvunderink opened on Jan 15, 2025

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

Status: Open.

#1798 In mCRL2org/mCRL2;

· markuzzz opened on Dec 19, 2024

Feature Request: Standard Library implementation of Char and String?

long termIssue serves as a reminderIssue serves as a reminder

Status: Open.

#1796 In mCRL2org/mCRL2;

· gjveltink opened on Dec 9, 2024

Keep track of source location information of identifiers to provide detailed error messages for type checking

enhancementSomething can be improvedSomething can be improved

Status: Open.

#1795 In mCRL2org/mCRL2;

· gjveltink opened on Dec 7, 2024

unexpected behaviour with set comprehension

Status: Open.

#1794 In mCRL2org/mCRL2;

· gjveltink opened on Dec 6, 2024

ltsview no longer shows deadlocks

Status: Open.

#1793 In mCRL2org/mCRL2;

· gjveltink opened on Nov 26, 2024

 ·  

release 202506

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

enhancementSomething can be improvedSomething can be improved

Status: Open.

#1791 In mCRL2org/mCRL2;

· mlaveaux opened on Nov 7, 2024

mCRL2xi can be crashed with an incorrect specification

featureNew functionalityNew functionality

Status: Open.

#1789 In mCRL2org/mCRL2;

· gjveltink opened on Oct 27, 2024

lpsxsim hangs on ubuntu 22.04

bugSomething isn't workingSomething isn't working

Status: Open.

#1788 In mCRL2org/mCRL2;

· mega-explorer opened on Oct 17, 2024