Jan Friso Groote

#### 2012-08-17 14:32:02: @jkeiren

#### 2012-10-10 08:08:35: @jkeiren changed priority from *minor* to *major*

#### 2012-10-10 08:08:35: @jkeiren commented ___ Bug #1093 is a duplicate of this bug. Attached to bug #1093 is an additional example where alphabet reductions are awfully slow, especially when...

#### 2012-10-10 16:34:19: @jkeiren changed priority from *major* to *critical*

#### 2012-11-11 15:38:58: @jkeiren changed status from *new* to *assigned*

#### 2012-11-11 15:38:58: @jkeiren changed owner from *jfg* to *wieger*

#### 2012-11-11 15:38:58: @jkeiren commented ___ Reassigning to Wieger due to work on a new implementation of alphabet reductions.

#### 2013-06-07 12:29:26: @wiegerw changed component from *Core: Alpha Library* to *mcrl22lps*

#### 2013-06-07 12:29:26: @wiegerw changed title from *Alphabet reductions are slow* to *Linearization is slow (was: Alphabet reductions are slow)*

#### 2013-06-07 12:29:26: @wiegerw commented ___ This problem is not related to alphabet reduction. Both the old and the new version have no effect on this specification. It therefore seems...