Improving Proof Trace Documentation

runtimeverification / llvm-backend

KORE to llvm translation

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

34 stars 19 forks source link

Improving Proof Trace Documentation #1073

Closed Robertorosmaninho closed 1 month ago

Robertorosmaninho commented 1 month ago

This simple PR extends the current documentation mainly to mention the kompile as a possible frontend for generating hints for K users and introduces brief documentation to kore-proof-trace and kore-rich-header.

Robertorosmaninho commented 1 month ago

Add how flags related to krun and how to pass multiple programs to it,

Robertorosmaninho commented 1 month ago

Add documentation on how to use the stream parser feature