Jan Friso Groote
Jan Friso Groote
*Issue migrated from trac ticket # 1334* **component:** mcrl2xi | **priority:** minor | **keywords:** find, replace, editor #### 2015-10-01 12:04:27: Gert Veltink created the issue ___ Currently the editor only...
*Issue migrated from trac ticket # 954* **component:** PBES Library | **priority:** major #### 2012-01-27 15:28:29: @twillems created the issue ___ When confronted with a PBES containing quantifications over infinite...
*Issue migrated from trac ticket # 874* **component:** Core: Type-checker Library | **priority:** major #### 2011-11-24 14:33:23: @wiegerw created the issue ___ In the following example from Jaco van de...
*Issue migrated from trac ticket # 1430* **component:** Core: Parse Library | **priority:** major #### 2017-09-06 14:47:27: @jgroote created the issue ___ In the enclosed file tictactoe.mcrl2 when applying the...
*Issue migrated from trac ticket # 857* **component:** lpssim | **priority:** minor #### 2011-11-03 19:31:00: [email protected] created the issue ___ It would be very useful to add some commands to...
*Issue migrated from trac ticket # 798* **component:** ltsview | **priority:** minor #### 2010-11-17 14:36:48: @jkeiren created the issue ___ In order to create attractive images in papers, it would...
*Issue migrated from trac ticket # 1451* **component:** Build system | **priority:** major #### 2017-12-05 13:48:35: @wiegerw created the issue ___ The CMake files of the tool set are effectively...
Consider: ``` des(0, 2, 2) (0,"a(0)",0 1/2 1) (1,"a(0)",1 1/2 0) ``` Apply ``` ltsconvert prob.aut prob.fsm ``` The response is: ``` [error] Expect a closing bracket at the end...
Pretty printing of a term (1-p)*q of type Real yields 1-p*q. This is undesired. Concretely, the input in an mcrl2 file probability(fine |> l)=(1-p)*probabilty(l); yielded the error Unknown operation p....