WIP: trace view - Githubissues

mattulbrich / dive

Dafny Interactive Verification Environment (DIVE)

GNU General Public License v3.0

4 stars 0 forks source link

WIP: trace view #195

Open JonasKlamroth opened 3 years ago

JonasKlamroth commented 3 years ago

a first suggestion on how an additional view based on computation traces could look like. A pretty hacky solution only working with the ass-seq sequenter! currently no interaction on this view is possible.

mattulbrich commented 3 years ago

Great!

It proves that it can be done. I have photoshoped how I envisage the endresult.

Proof obligation: Screenshot_original

Current prototype: Screenshot_prototyp

Vision: Screenshot_idee