Changes between Version 182 and Version 183 of Ticket #11521


Ignore:
Timestamp:
10/06/12 09:23:42 (8 years ago)
Author:
jdemeyer
Comment:

Replying to nbruin:

All doctests pass for me with this, so back to positive review.

I think somebody needs to review that patch. Simon, can you do that?

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #11521

    • Property Status changed from positive_review to needs_work
  • Ticket #11521 – Description

    v182 v183  
    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 '''To be merged with #715 and #13447'''. Apply
     22'''To be merged with #715'''. Apply
    2323
    2424* the patches from #715