Jeroen Meijer
Jeroen Meijer
it is not so easy for mcrl2 users to find their way in the documentation. one must click on "sequential", "symbolic" or "distributed" to get at ## the page "lpo2lts-grey"...
Currently, hash tables in the cache layer are local
If one of the MPI processes is killed then using the current recommended settings for OpenMPI the mpi program will end up in a deadlock situation. This is wrong, if...
- Split PINS in must-implement and may-implement functions - Rename GB*\* to pins____ - Explain ltstype functions (which must be implemented) - Rename action matrix to update matrix Create a...
Add highlevel functions/types to PINS for: StateVariable : Name, Type, GroupDependencies addStateVariable (model, int index, variable) addStateLabel (model, int index, ltsmin_expression) These function can greatly reduce the amount of code...
Describe how files are stored in a GCF archive.
The idea is to use statically derived confluence information (as provided by [lps]confcheck) during symbolic state space generation. Several scenarios are possible: 1) ctau-groups are confluent and terminating (CR &...
Warning --> Print Add multiple info levels -v and -vv and -vvv (the last one should also provide localized tourist information) consolidate HRE\* and RT\* ?