quint icon indicating copy to clipboard operation
quint copied to clipboard

Published 20 hours ago • verified publisher icon informalsystems

Make (the new) flattening incremental

Open bugarela opened this issue 1 year ago • 0 comments

After https://github.com/informalsystems/quint/issues/1102, our flattening is no longer done incrementally. We should find a way to make that incrementally with this new procedure.

bugarela avatar Aug 08 '23 13:08 bugarela