Mailing Lists

• yices@csl.sri.com : Yices mailing list, it is intended for general discussions involving Yices, as well as announcements of new tools, language changes, etc. Subscribe by sending a message with 'subscribe' in the body to yices-request@csl.sri.com.
• yices-announce@csl.sri.com : Used only for announcing new versions, critical bugs. Subscribe by sending a message with 'subscribe' in the body to yices-announce-request@csl.sri.com.
• yices-help@csl.sri.com : Used to request help from a community of Yices volunteers. To volunteer, send a message with 'subscribe' in the body to yices-help-request@csl.sri.com.

The three lists above are all moderated at SRI.

• yices-bugs@csl.sri.com : Bug report list (you can also send suggestions here).
• yices-sri@csl.sri.com : This is how to reach the SRI team for general questions about Yices.

Last modified: Tue 29 Aug 2006 16:15 PDT