Changes between Version 126 and Version 129 of Ticket #11521
- Timestamp:
- 03/26/12 13:42:11 (10 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #11521
-
Property
Status
changed from
needs_review
topositive_review
-
Property
Reviewers
changed from
to
Jean-Pierre Flori
-
Property
Status
changed from
-
Ticket #11521 – Description
v126 v129 20 20 So, 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. 21 21 22 ''' Apply'''22 '''To be merged with #715'''. Apply 23 23 24 * the patches from #715 24 25 * [attachment:trac11521_triple_homset.patch] 25 26 * [attachment:trac_11521-reviewer.patch]