search

runtimeverification / pyk

Python tools for the K Framework
BSD 3-Clause "New" or "Revised" License
13 stars 2 forks source link

Add separate get proof steps and execute proof step phase #1069

Closed nwatson22 closed 5 months ago

nwatson22 commented 5 months ago

Separates get_steps from step_proof. Simple implementation of proof steps for now, i.e. just a reference to the proof plus the node ID to step on, or in the case of ImpliesProof, just the proof, since there is always exactly one step for those.

tothtamas28 commented 5 months ago

Converted this to draft to avoid accidentally merging it before the pyk -> K migration is done.

Baltoli commented 5 months ago

https://github.com/runtimeverification/k/pull/4246