Rule application view features.

mattulbrich / dive

Dafny Interactive Verification Environment (DIVE)

GNU General Public License v3.0

4 stars 0 forks source link

Closed SpringVaS closed 4 years ago

SpringVaS commented 4 years ago

Caught Rule application error in preview mode. Added keyboard shortcuts to timeline view. Reorganized RuleGrid panel.

JonasKlamroth commented 4 years ago

i think this should be merged. maybe you can review the conflict and then merge this PR @SpringVaS