Search results

The rusty file dialog used in ltsgraph does not work in WSL.

bugSomething isn't workingSomething isn't working

Status: Open.

#15 In mlaveaux/mCRL2-rust;

· mlaveaux opened on Apr 21, 2024

Add the ability to drag and anchor nodes to ltsgraph

enhancementNew feature or requestNew feature or request

Status: Open.

#13 In mlaveaux/mCRL2-rust;

· mlaveaux opened on Apr 9, 2024

Implement higher order rewriting, lambda abstractions, and machine numbers

Status: Open.

#10 In mlaveaux/mCRL2-rust;

· mlaveaux opened on Mar 14, 2024

Implement term enumeration/narrowing

Status: Open.

#9 In mlaveaux/mCRL2-rust;

· mlaveaux opened on Mar 14, 2024

Figure out inconsistent destruction order of TLS aterm container on macOS

bugSomething isn't workingSomething isn't working

Status: Open.

#4 In mlaveaux/mCRL2-rust;

· mlaveaux opened on Mar 8, 2024

Positions for DataExpression should be indexed consistent with the theory.

Status: Open.

#2 In mlaveaux/mCRL2-rust;

· mlaveaux opened on Feb 29, 2024

Several suggestions to improve the performance of rewriters

enhancementNew feature or requestNew feature or request

Status: Open.

#1 In mlaveaux/mCRL2-rust;

· mlaveaux opened on Feb 9, 2024