Maurice Laveaux
Maurice Laveaux
This pull request is mostly a reminder to keep this branch alive and perhaps re-implement it after integrating OxiDD. Also to list the remaining issues. - [x] Added several helper...
The random tests should be extended with the ability to generate PRES equations and performs random tests on them. The same applies kind of the to (much older) pg library....
Here is the stack trace, something something global variables ``` #0 __pthread_kill_implementation (threadid=, signo=signo@entry=6, no_tid=no_tid@entry=0) at pthread_kill.c:44 #1 0x00007ffff38d08a3 in __pthread_kill_internal (signo=6, threadid=) at pthread_kill.c:78 #2 0x00007ffff387e8ee in __GI_raise (sig=sig@entry=6)...
This feature could be enabled through the color menu, painting deadlocks and livelocks in the selected color.
Make the help text more noticeable or explain this in a different place.
This might be confusing for users that are following the book.
Currently the instantiation is done based on the ATerm ordering using pointer addresses, this causes issues with loading traces in lpxsim since the instantiation can be different between restarts. As...
For now decided the ability to select linearisation type and rewriter, and optionally caching.