Jan Friso Groote

#### 2016-12-04 22:41:57: anonymous

#### 2016-12-04 22:41:57: anonymous commented ___ This feature request has not theoretical support as it stands. An adequate theory on parameter passing and return value handover needs to be developed...

#### 2010-06-29 22:34:03: @twillems commented ___ Our current syntax for the mu-calculus indeed aligns badly with the multi-action setting. I second a change in the syntax to fix this, but...

#### 2017-05-04 14:55:45: @wiegerw

P.s. the enclosed file indicates which situations are problematic. Folding the equations in init, i.e. by writing `init hide({foo}, block({foo}, W))` can have very different behaviour than using non folded...

The example of Thomas Neele has 19090 resulting summands and as such it is a very different specification than one obtains when using the allow. When the allow is used...

We may want to change deprecated messages as long as they are supported by either standard C or Qt 5.9. When keeping Qt5.9 as a lower bound leads to the...

#### 2017-09-06 14:48:29: @jgroote uploaded file [`tictactoe.mcrl2`](http://mcrl2.org/download/attachments/1430/tictactoe.mcrl2) (1.3 KiB)

#### 2017-09-06 16:17:09: @tneele commented ___ I cannot reproduce this problem on Ubuntu 17.04. Can you maybe attach the fsm file as well?

#### 2017-09-07 17:53:49: anonymous commented ___ The .fsm file is has the following size and is too big to be uploaded: 1331642 Sep 6 14:31 tictactoe.fsm