Changes between Version 126 and Version 129 of Ticket #11521


Ignore:
Timestamp:
03/26/12 13:42:11 (9 years ago)
Author:
davidloeffler
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #11521

    • Property Status changed from needs_review to positive_review
    • Property Reviewers changed from to Jean-Pierre Flori

  • Ticket #11521 – Description

    v126 v129  
    2020So, I suggest to start with #715 and solve the second memory leak on top of it. It seems that a strong cache for homsets is to blame. I suggest to use the weak `TripleDict` instead, which were introduced in #715.
    2121
    22 '''Apply'''
     22'''To be merged with #715'''. Apply
    2323
     24* the patches from #715
    2425* [attachment:trac11521_triple_homset.patch]
    2526* [attachment:trac_11521-reviewer.patch]