Emilio Jesús Gallego Arias <e...@x80.org> writes: > We may experiment with speculative checking in the future, but with the > current architecture it will likely be too heavy. > > The design allows for it
To be more concrete: "the current design does allow for speculative checking if the underlying process model would allow fast data-sharing, either in the form of shared memory of incremental state passing" E. _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
