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
{{ message }}
Repository navigation
Is this production ready, and if so, how much support can we expect? #27
Last thing people wanna do is switch over all their Tasks, only to find 1 year later that Microsoft Research is trying something new, different, and incompatible with prior products :D
If the answers are "yes" and "hella good support", it should be declared as such in the Readme.
Coyote is production ready. It is based off the PSharp project that is being used by several teams in Azure. Some teams have already started pulling the latest Coyote bits, and others are expected to "upgrade" to Coyote soon.
In terms of support, see our FAQs. Coyote is an open source project. Microsoft is both a user of Coyote and also continues to invest in it.
Activity
akashlal commentedon Apr 22, 2020
Coyote is production ready. It is based off the PSharp project that is being used by several teams in Azure. Some teams have already started pulling the latest Coyote bits, and others are expected to "upgrade" to Coyote soon.
In terms of support, see our FAQs. Coyote is an open source project. Microsoft is both a user of Coyote and also continues to invest in it.