7 Oct
2025
7 Oct
'25
4:02 p.m.
On 07/10/2025 00:27, vqn wrote:
That looks great, thank you. I think that should indeed solve everything so far; but it seems that PolyML.export was broken somewhere along the way and now causes Poly/ML to crash (segfault) when calling it. The change happened somewhere between 3b9b3b0 and 3e0f720.
Thanks. That should now be fixed. David