Search results

Segfault when running pbessolve with evidence after pbesconstelm/pbesparelm

bugSomething isn't workingSomething isn't working

Status: Open.

#1850 In mCRL2org/mCRL2;

· maramiulescu opened on Jul 10, 2025

High CPU usage when selecting text boxes MacOS

bugSomething isn't workingSomething isn't working

Status: Open.

#1838 In mCRL2org/mCRL2;

· BHenkemans opened on Jun 16, 2025

Introduce strongly typed indices to the tool set

enhancementSomething can be improvedSomething can be improved

Status: Open.

#1834 In mCRL2org/mCRL2;

· mlaveaux opened on Jun 12, 2025

Re-enable the use of partial solvers in pbessolve and pbessolvesymbolic for a PBES with counter example information

enhancementSomething can be improvedSomething can be improved

Status: Open.

#1831 In mCRL2org/mCRL2;

· mlaveaux opened on May 27, 2025

LaTeX math in documentation fails to generate when working copy path contains spaces

bugSomething isn't workingSomething isn't working

Status: Open.

#1829 In mCRL2org/mCRL2;

· jkeiren opened on May 27, 2025

Update example run scripts to refer to pbessolve instead of pbes2bool

enhancementSomething can be improvedSomething can be improved

Status: Open.

#1823 In mCRL2org/mCRL2;

· jkeiren opened on May 22, 2025

Tool documentation on website not formatted correctly

Status: Open.

#1822 In mCRL2org/mCRL2;

· jkeiren opened on May 21, 2025

ltsgraph compiled with thread sanitizer reports data races

bugSomething isn't workingSomething isn't working

Status: Open.

#1820 In mCRL2org/mCRL2;

· mlaveaux opened on May 20, 2025

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

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

long termIssue serves as a reminderIssue serves as a reminder

Status: Open.

#1798 In mCRL2org/mCRL2;

· markuzzz opened on Dec 19, 2024