runtimeverification / mir-semantics

10 stars 3 forks source link

Documentation that links to the source code #409

Closed dkcumming closed 2 months ago

dkcumming commented 2 months ago

This PR converts the K source files to markdown files so that we can annotate the files with an index that links to Stable MIR, SMIR, Internal MIR. While this will inevitably get stale at some point, it may be handy to help people get familiar with the complicated connections between the different modules and hopefully speed things up overall.