Kl dev - Githubissues

mattulbrich / dive

Dafny Interactive Verification Environment (DIVE)

GNU General Public License v3.0

4 stars 0 forks source link

Closed JonasKlamroth closed 4 years ago

JonasKlamroth commented 4 years ago

minor improvements to the ui:

insert missing case statements now implemented
rules applicable with default paramenters now get applied without confirmation dialog
shift-click opens parameter-dialog even if not "necessary"
rules cannot be applied to closed branches anymore

JonasKlamroth commented 4 years ago

@SpringVaS i tried to fix the problems you pointed out. is this now working for you?

SpringVaS commented 4 years ago

General remark (not specific for this pull request): Case names cannot be altered in proof script.