Kl refactor - Githubissues

mattulbrich / dive

Dafny Interactive Verification Environment (DIVE)

GNU General Public License v3.0

4 stars 0 forks source link

Kl refactor #188

Closed JonasKlamroth closed 3 years ago

JonasKlamroth commented 3 years ago

introducing the PropertyManager:

commuication between gui controllers mainly implemented using Properties
Removed some interfaces since they are now obsolete due to the changes
improved visibility of ProofStatus in the two most left views
hopefully more stable and easier to understand implementation
fixing #138