search

runtimeverification / llvm-backend

KORE to llvm translation
BSD 3-Clause "New" or "Revised" License
34 stars 19 forks source link

Update name of `EventType` and expose `__repr__` from `llvm_rewrite_trace_iterator` #1090

Closed Robertorosmaninho closed 1 month ago

Robertorosmaninho commented 1 month ago

This small PR only updates the LLVMEventType name to EventType to preserve the LLVM prefix to be used by the wrapper classes created on PyK that export these bindings.

This PR also exposes the __repr__ function of llvm_rewrite_trace_iterator. The print function was already implemented but has yet to be exposed; we decided to expose it as the binding as it can be helpful for debugging.

Robertorosmaninho commented 1 month ago

Follow up PR: https://github.com/runtimeverification/k/pull/4426