Is this production ready, and if so, how much support can we expect?

[dharmaturtle]

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.

[akashlal]

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.

[pdeligia]

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.

Old thread, but for the benefit of any future reader, Coyote is not asking you to replace the task type anymore, binary rewriting (during testing only) automatically does this for you so your production code can stay unchanged.