Jan Friso Groote comments

Results 166 comments of


                                            Jan Friso Groote

lpsparunfold is of no use on lists

#### 2017-05-27 18:55:17: @jgroote

lpsparunfold is of no use on lists

#### 2017-05-27 18:55:17: @jgroote commented ___ Investigated this example once again and added the suggested rewrite rules in revision r14833, commit 758bd167d1e82e41c69668e99fc27a4e2e5f3c82. This simplified the process to which lpsparunfold was...

eliminate custom replace functions in linearise.cpp

#### 2013-05-18 14:12:59: anonymous changed status from *new* to *closed*

eliminate custom replace functions in linearise.cpp

#### 2013-05-18 14:12:59: anonymous set resolution to *fixed*

eliminate custom replace functions in linearise.cpp

#### 2013-05-18 14:12:59: anonymous commented ___ Replaced substitute_pCRLproc such that in now uses the standard substitution functions. Did not replace substitute_assignmentlist because the standard function does not take parameters of...

eliminate custom replace functions in linearise.cpp

#### 2013-05-20 09:14:53: @wiegerw changed status from *closed* to *reopened*

eliminate custom replace functions in linearise.cpp

#### 2013-05-20 09:14:53: @wiegerw changed resolution from *fixed* to **

eliminate custom replace functions in linearise.cpp

#### 2013-05-20 09:14:53: @wiegerw commented ___ Reopened this ticket, since the capture avoiding substitutions now handle missing assignments.

eliminate custom replace functions in linearise.cpp

#### 2017-05-04 14:51:10: @wiegerw

eliminate custom replace functions in linearise.cpp

I just pushed a commit resolving this problem. fa5bd2517..da6bca8d4 master -> master All tests succeed.