search

zxcalc / quantomatic

Quantomatic is a tool for doing automated graph rewriting.
http://quantomatic.github.io
152 stars 22 forks source link

Cancelled simprocs continue updating view #175

Closed rossduncan closed 6 years ago

rossduncan commented 6 years ago

If a (runaway) simproc is cancelled, and the proof brought back to an earlier point, the simproc may continue to update the left pane of the derivation window with bogus graphs. This can continue for minutes after the proc was cancelled.

To reproduce: make a simproc which obviously diverges e.g. reduce inverse spider, let it run for 30 seconds and cancel it. Now delete the proof head back the point before the simp proc was run.

akissinger commented 6 years ago

I think this is fixed now, so closing. @hmillerbakewell : re-open this if I'm wrong.