Jan Friso Groote comments

Results 166 comments of


                                            Jan Friso Groote

Linearization is slow (was: Alphabet reductions are slow)

#### 2017-05-04 15:36:33: @wiegerw

Linearization is slow (was: Alphabet reductions are slow)

I expect that either improving the alphabet reductions or rewriting the implementation of the communication operator and related operators on lps's is the solution. However, this is a major operation....

lpsconfcheck related problem

This is intended behaviour. The confluence checker only looks at the same summand to mimic a confluent summand. If it would have to look at all other summands confluence checking...

More control over the termination of quantification elimination

#### 2012-08-24 07:05:07:

More control over the termination of quantification elimination

#### 2012-08-24 07:05:07: commented ___ Milestone To be decided deleted

More control over the termination of quantification elimination

#### 2017-05-04 14:52:31: @wiegerw

Design a generic rewriter for use with the toolset based on rewriting theory.

#### 2012-08-24 07:05:07:

Design a generic rewriter for use with the toolset based on rewriting theory.

#### 2012-08-24 07:05:07: commented ___ Milestone To be decided deleted

Design a generic rewriter for use with the toolset based on rewriting theory.

#### 2017-05-04 14:42:48: @wiegerw

ltsview generates OpenGL error: 1282 on Ubuntu

When doing this on the mac, I get the same error, but the .bmp picture that is generated is actually fine. Changing the height and width does not influence the...