Dear Prof. Roberto,
I am working with Parma Pplyhedra Library. I realize that PPL does not wok well with mutilthreading and it leads to segmentation fault. I read in the ChangeLog and found that you has discussed about this:
"2015-11-26 Enea Zaffanella zaffanella@cs.unipr.it
* src/Temp_defs.hh, src/Temp_inlines.hh, src/Temp_templates.hh: Avoid a memory leak due to the global list of dirty temporaries. The memory leak was not causing a real problem, in that the list of dirty temporaries is meant to survive up to the end of the process. However, it could cause a problem if/when the library is extended to become multi-thread safe, since in such a scenario it is meaningful to have a list of dirty temporaries for each thread (to be released on thread exit)."
Has you fixed this problem. Could you give me a suggestion to solve this problem (it could be temporary solution) please?
Best regards,
The Anh