Print print intermediate configurations after some function events in `kore-proof-trace`#1139

Merged

Robertorosmaninho merged 20 commits intodevelopfrom print-post-function-events

Sep 17, 2024

+44,775-17

Commits on Aug 22, 2024

Introducing ProofTraceUtils module with the functions need to construct the configuration before a function application
Robertorosmaninho
committed
Updating llvm_rewrite_trace::print to print function events intermediate configurations
Robertorosmaninho
committed

Commits on Sep 4, 2024

Merge branch 'develop' into print-post-function-events
Robertorosmaninho
authored

Commits on Sep 5, 2024

Updating tests
Robertorosmaninho
committed

Commits on Sep 17, 2024

Merge branch 'develop' into print-post-function-events
Robertorosmaninho
authored