Maurice Laveaux
Maurice Laveaux
Executing `ltsgraph --help` produces no output in Windows Terminal, Command Prompt and Powershell on Windows 10 (and 11) version 10.019044. This is with the latest release, but the same applies...
Just a ticket as reminder and to collect all investigation so far. The jitty rewriter was benchmarked by computing the [factorial10.txt](https://github.com/mCRL2org/mCRL2/files/2405561/factorial10.txt) of 10 using Peano encoding. Exploring the state space...
See [stacktrace.txt](https://github.com/mCRL2org/mCRL2/files/14936521/stacktrace.txt). Unfortunately, no stack traces inside lambda functions.
Copied description from the old pull request. This branch replaces the rewrite systems for positive and natural numbers based on a binary number representation (using the constructor @cdub) by a...
The tool `ltsgraph` keeps refreshing the UI as quickly as possible without any user interaction or graph layout algorithm enabled. This issue did not occur on the previous release, and...
This is mCRL2ide compiled with Qt 6.7. Although the icons are also the same for macOS dark mode it seems to me like the background is darker, thus making it...
In the mcrl2compilerewriter script the compiler `-isysroot` flag is hardcoded to a specific macOS SDK version, in this case 14.2, based on CMAKE_OSX_SYSROOT. However, such a version does not exist...
This is a branch implementing the two phase approach for counter example generation. There is a flag `--naive-counter-example-instantiation` to revert to the previous method for comparison. - [x] Implement the...
The following commands can be used to reproduce this issue. Somehow the the fact that the pbes is made from an LTS and the number of equations is large seems...
This pull request forms the basis for a new rewrite engine with the goal to resolve issue #912. It is (for now) a pure innermost rewrite based on non-linear adaptive...