Issues

• Optimise aterm lookups performance

  MERCorg/merc#97 · Filter by author mlaveaux opened on Apr 26, 2026
  1

  

• Deal with duplicated transitions in LTSs

  bug
  MERCorg/merc#84 · Filter by author mlaveaux opened on Mar 30, 2026
  1

  

• Think about how subgraphs should be implemented

  documentation
  MERCorg/merc#81 · Filter by author mlaveaux opened on Mar 25, 2026
  2

  

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

  bug
  MERCorg/merc#76 · Filter by author mlaveaux opened on Mar 12, 2026
  2

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

  enhancement
  MERCorg/merc#53 · Filter by author mlaveaux opened on Dec 28, 2025
  

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

  enhancement
  MERCorg/merc#52 · Filter by author mlaveaux opened on Dec 28, 2025
  

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

  bug
  MERCorg/merc#45 · Filter by author mlaveaux opened on Dec 10, 2025
  

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

  enhancement
  MERCorg/merc#37 · Filter by author mlaveaux opened on Jun 29, 2025
  

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

  MERCorg/merc#36 · Filter by author mlaveaux opened on Jun 29, 2025

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

  bug
  MERCorg/merc#30 · Filter by author mlaveaux opened on Jun 3, 2025
  2

  

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

  bug
  MERCorg/merc#28 · Filter by author mlaveaux opened on Jun 1, 2025
  2

  

• The error resulting from match_nodes! is not very insightful

  enhancement
  MERCorg/merc#26 · Filter by author mlaveaux opened on Jun 1, 2025
  

• Formally verify the code using a verification tool

  enhancement
  MERCorg/merc#24 · Filter by author mlaveaux opened on May 29, 2025
  1

  

• Replace the purely random tests by property testing

  enhancement
  MERCorg/merc#23 · Filter by author mlaveaux opened on May 29, 2025
  2

  

• Extend the term macros to allow for generics in the terms, for example ATermList<T>

  enhancement
  MERCorg/merc#11 · Filter by author mlaveaux opened on May 5, 2025
  1

  

• Experiment with fuzzing

  enhancement
  MERCorg/merc#10 · Filter by author mlaveaux opened on Apr 25, 2025
  2