Search results

Rewrite_star in pbessolve prints different output than before

questionSomeone has a questionSomeone has a question

Status: Open.

#1919 In mCRL2org/mCRL2;

· maramiulescu opened on Mar 10, 2026

The workflow counterexample + pbesparelm + pbessolve is broken

bugSomething isn't workingSomething isn't working

Status: Open.

#1918 In mCRL2org/mCRL2;

· maramiulescu opened on Mar 10, 2026

[Code] PBES to SRF-PBES translation

bugSomething isn't workingSomething isn't working

Status: Open.

#1913 In mCRL2org/mCRL2;

· jacenre opened on Feb 18, 2026

When solving symbolically, not all expressions involving quantification seem to rewrite to true or false.

bugSomething isn't workingSomething isn't working

long termIssue serves as a reminderIssue serves as a reminder

Status: Open.

#1907 In mCRL2org/mCRL2;

· Kevinjil opened on Jan 26, 2026

ltscombine has stack-use-after-scope issues, as reported by address sanitizer

bugSomething isn't workingSomething isn't working

Status: Open.

#1898 In mCRL2org/mCRL2;

· mlaveaux opened on Dec 15, 2025

Infinite rewrite with function updates in compiled rewriter

bugSomething isn't workingSomething isn't working

Status: Open.

#1897 In mCRL2org/mCRL2;

· jacenre opened on Dec 12, 2025

Introduce the ability to set a timeout to the rewriter(s)

featureNew functionalityNew functionality

Status: Open.

#1884 In mCRL2org/mCRL2;

· mlaveaux opened on Nov 17, 2025

Action labels in lts's are different where they should be equal.

bugSomething isn't workingSomething isn't working

Status: Open.

#1878 In mCRL2org/mCRL2;

· jgroote opened on Oct 16, 2025

pbessolve consistently segfaults in get_sufficiently_large_postfix_index

bugSomething isn't workingSomething isn't working

Status: Open.

#1870 In mCRL2org/mCRL2;

· Kevinjil opened on Sep 15, 2025

Extend mcrl2i with interactive shell functionality

featureNew functionalityNew functionality

Status: Open.

#1869 In mCRL2org/mCRL2;

· mlaveaux opened on Sep 10, 2025

Sets of sets do not behave as expected in the toolset

bugSomething isn't workingSomething isn't working

Status: Open.

#1868 In mCRL2org/mCRL2;

· mlaveaux opened on Sep 10, 2025

Solving decidability after quantifier-inside/quantifier-finite not guaranteed

enhancementSomething can be improvedSomething can be improved

Status: Open.

#1864 In mCRL2org/mCRL2;

· jacenre opened on Aug 11, 2025