-
Notifications
You must be signed in to change notification settings - Fork 19
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
2164 cancel button python gui #2165
base: master
Are you sure you want to change the base?
Conversation
Added prove details window
Previously relied on false assumption that obligations must be in the input sentences.
…development containers
This reverts commit 6de1816.
This branch is based on #2162 . current status:
Additionally, when opening a file to prove the following warning is printed multiple times:
This is especially interesting as I did not change any code that should be involved in the choosing process. Functionality for aborting conservativity check or consistency check is not implemented. @b-gehrke Maybe you can take a look at it. |
No description provided.