Search results

[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

Docs: failing latex compilation

bugSomething isn't workingSomething isn't working

Status: Open.

#1912 In mCRL2org/mCRL2;

* jacenre opened on Feb 11, 2026

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

bugSomething isn't workingSomething isn't working

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

The impossible-futures counter examples are incorrect

bugSomething isn't workingSomething isn't working

Status: Open.

#1875 In mCRL2org/mCRL2;

* mlaveaux opened on Sep 19, 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