mlaveaux mCRL2-rust issues - Githubissues

mlaveaux / mCRL2-rust

A rust wrapper for the library functionality of the mCRL2 toolset

https://mlaveaux.github.io/mCRL2-rust/

Boost Software License 1.0

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

There are segmentation faults due to threading issues

#16 mlaveaux opened 2 months ago
0
The rusty file dialog used in ltsgraph does not work in WSL.

#15 mlaveaux opened 2 months ago
0
Several (experimental) rewriter performance improvements

#14 mlaveaux opened 2 months ago
0
Add the ability to drag and anchor nodes to ltsgraph

#13 mlaveaux opened 2 months ago
0
Bump trybuild from 1.0.89 to 1.0.90

#12 dependabot[bot] closed 3 months ago
1
Bump syn from 2.0.52 to 2.0.53

#11 dependabot[bot] closed 3 months ago
1
Implement higher order rewriting, lambda abstractions, and machine numbers

#10 mlaveaux opened 3 months ago
0
Implement term enumeration/narrowing

#9 mlaveaux opened 3 months ago
0
Implement a compiling version of the sabre rewriter

#8 mlaveaux opened 3 months ago
0
Use hyperfine for benchmarking

#7 mlaveaux closed 3 months ago
2
Implement a GUI to view labelled transition systems

#6 mlaveaux closed 2 months ago
1
Define a parser for the mCRL2 syntax using Pest

#5 mlaveaux opened 3 months ago
0
Figure out inconsistent destruction order of TLS aterm container on macOS

#4 mlaveaux opened 3 months ago
0
Make the semi compressed tree application reuse vector allocations.

#3 mlaveaux opened 4 months ago
0
Positions for DataExpression should be indexed consistent with the theory.

#2 mlaveaux opened 4 months ago
0
Several suggestions to improve the performance of rewriters

#1 mlaveaux opened 4 months ago
0