This PR adds a new subclass of proof_trace_writer that is intended to use callbacks into Python code to synchronously communicate proof trace events, instead of serializing them to a file. For now the implementation contains placeholder calls into empty functions. A future PR will replace those placeholders with actual callbacks into Python code.
This PR adds a new subclass of
proof_trace_writerthat is intended to use callbacks into Python code to synchronously communicate proof trace events, instead of serializing them to a file. For now the implementation contains placeholder calls into empty functions. A future PR will replace those placeholders with actual callbacks into Python code.