You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
davidcok opened this issue
Jul 20, 2020
· 0 comments
Assignees
Labels
kind: bugCrashes, unsoundness, incorrect output, etc. If possible, add a `part:` labelmisc: cleanupCleanups in the implementation or in corners of the language
The Dafny License.txt is appropriately the MIT License. But it also lists Microsoft as the copyright holder. It seems this ought to be changed, but I don't know the legal steps to do so. It likely ought not to be Amazon either.
The text was updated successfully, but these errors were encountered:
kind: bugCrashes, unsoundness, incorrect output, etc. If possible, add a `part:` labelmisc: cleanupCleanups in the implementation or in corners of the language
The Dafny License.txt is appropriately the MIT License. But it also lists Microsoft as the copyright holder. It seems this ought to be changed, but I don't know the legal steps to do so. It likely ought not to be Amazon either.
The text was updated successfully, but these errors were encountered: