Search results

Think about how subgraphs should be implemented

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#81 In MERCorg/merc;

· mlaveaux opened on Mar 25, 2026

Replace the hard coded tau indices by a central way of constructing it.

bugSomething isn't workingSomething isn't working

Status: Open.

#76 In MERCorg/merc;

· mlaveaux opened on Mar 12, 2026

The merc-ltsgraph and merc-pbes release binaries are excessively large on Ubuntu

enhancementNew feature or requestNew feature or request

Status: Open.

#53 In MERCorg/merc;

· mlaveaux opened on Dec 28, 2025

Make the merc_derive_terms macro hygienic such that it does not require additional use imports

enhancementNew feature or requestNew feature or request

Status: Open.

#52 In MERCorg/merc;

· mlaveaux opened on Dec 28, 2025

The crate merc_lts and the tool merc-lts have shared output folders for the documentation

bugSomething isn't workingSomething isn't working

Status: Open.

#45 In MERCorg/merc;

· mlaveaux opened on Dec 10, 2025

Experiment with structured logging for performance analysis, and related to this tracing

enhancementNew feature or requestNew feature or request

Status: Open.

#37 In MERCorg/merc;

· mlaveaux opened on Jun 29, 2025

Rust analyzer ignores tests marked with #ignore, without taking the feature or attributes into account

Status: Open.

#36 In MERCorg/merc;

· mlaveaux opened on Jun 29, 2025

Reduce the memory usage of terms

enhancementNew feature or requestNew feature or request

Status: Open.

#31 In MERCorg/merc;

· mlaveaux opened on Jun 5, 2025

There are several examples where the pest parser is extremely slow on mCRL2 files

bugSomething isn't workingSomething isn't working

Status: Open.

#30 In MERCorg/merc;

· mlaveaux opened on Jun 3, 2025

The parsing error returned from pest are not very useful without understanding the grammar details

bugSomething isn't workingSomething isn't working

Status: Open.

#28 In MERCorg/merc;

· mlaveaux opened on Jun 1, 2025

The error resulting from match_nodes! is not very insightful

enhancementNew feature or requestNew feature or request

Status: Open.

#26 In MERCorg/merc;

· mlaveaux opened on Jun 1, 2025

Formally verify the code using a verification tool

enhancementNew feature or requestNew feature or request

Status: Open.

#24 In MERCorg/merc;

· mlaveaux opened on May 29, 2025