Jan Friso Groote

Include statement

3

*Issue migrated from trac ticket # 751* **component:** General | **priority:** minor #### 2010-06-29 10:19:08: [email protected] created the issue ___ 'nuff said, probably. Simple include functionality would greatly help a...

The classical pbes2bool had a form of highway search where the number of simultaneously searched BES variables would be limited by setting the excess variables to true or false. The...

eliminate custom replace functions in linearise.cpp

10

*Issue migrated from trac ticket # 1163* **component:** LPS Library | **priority:** major #### 2013-05-17 11:09:19: @wiegerw created the issue ___ In linearise.cpp there are many custom replace functions like...

lpsparunfold is of no use on lists

10

*Issue migrated from trac ticket # 1149* **component:** lpsparunfold | **priority:** minor #### 2013-03-14 10:17:31: @jkeiren created the issue ___ If we linearise the attached specification `test.mcrl2` using ``` mcrl22lps...

Using allow or block can have a large effect on the linearization speed

4

The enclosed example shows that alphabet axioms are not applied under certain circumstances. It would be useful if they would be applied in more general cases. Reported by Rutger van...

Unnecessary parentheses in pretty printing of abstractions

7

*Issue migrated from trac ticket # 1131* **component:** Core: Print Library | **priority:** minor #### 2013-02-14 22:17:46: @wiegerw created the issue ___ Currently too many parentheses are used when printing...

Enhancement of sequential composition operator

4

*Issue migrated from trac ticket # 1120* **component:** General | **priority:** major #### 2012-12-07 16:08:45: @twillems created the issue ___ The inability of the sequential operator to pass on data...

removing the val operator from the syntax

7

*Issue migrated from trac ticket # 1133* **component:** Core: Parse Library | **priority:** major #### 2013-02-15 17:44:37: @wiegerw created the issue ___ Currently the 'val' operator is used to disambiguate...

Parsing some modal formulae with time fails

10

*Issue migrated from trac ticket # 1434* **component:** Core: Parse Library | **priority:** minor | **resolution:** fixed #### 2017-09-29 12:57:15: @tneele created the issue ___ For some modal formulae with...

Add support for function updates for functions with larger domains

8

*Issue migrated from trac ticket # 891* **component:** Data Library | **priority:** minor #### 2011-12-11 15:17:49: @jkeiren created the issue ___ Add support for function updates for functions with larger...