Search results

Enable the block allocator when it is correct

Status: Open.

#99 In MERCorg/merc;

· mlaveaux opened on Apr 29, 2026

The aterm library can lead to UB with incorrect usage in safe code

Status: Open.

#98 In MERCorg/merc;

· mlaveaux opened on Apr 26, 2026

Optimise aterm lookups performance

Status: Open.

#97 In MERCorg/merc;

· mlaveaux opened on Apr 26, 2026

The parity game translation should deal with multi-actions

enhancementNew feature or requestNew feature or request

Status: Open.

#90 In MERCorg/merc;

· mlaveaux opened on Apr 7, 2026

The symbolic bisimulation implementation in merc-sym is not correct

bugSomething isn't workingSomething isn't working

Status: Open.

#88 In MERCorg/merc;

· mlaveaux opened on Apr 2, 2026

The implementation of Zielonka should be refactored

Status: Open.

#85 In MERCorg/merc;

· mlaveaux opened on Apr 1, 2026

Deal with duplicated transitions in LTSs

bugSomething isn't workingSomething isn't working

Status: Open.

#84 In MERCorg/merc;

· mlaveaux opened on Mar 30, 2026

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