Add python bindings for proof hint streaming parser

runtimeverification / llvm-backend

KORE to llvm translation

BSD 3-Clause "New" or "Revised" License

34 stars 19 forks source link

Add python bindings for proof hint streaming parser #1075

Closed dwightguth closed 1 month ago

dwightguth commented 1 month ago

Previously we did not have any python bindings for the streaming parser I created.

This PR adds the relevant pybind code as well as adding a python unit test for that code. A slight change is made to the ownership semantics of proof_trace_buffer and its derived classes in order to allow the python bindings to work as expected.