Mailing Lists

General Discussions

yices@csl.sri.com

This list is intended for general discussions of interest to the Yices community (e.g., new tools, language changes, and conference announcements).

You do not need to subscribe to post to this list. Please, refrain from sending bug reports to this list; use yices-bugs@csl.sri.com instead.

Subscribe to this list by sending a message with 'subscribe' in the body to yices-request@csl.sri.com or via the web interface.

The web interface can also be used to read the archive and manage your subscription.

Announcements

yices-announce@csl.sri.com

This list is used for announcing new versions of Yices.

Subscribe by sending a message with 'subscribe' in the body to yices-announce-request@csl.sri.com or via the web interface.

The web interface can also be used to read the archive and manage your subscription.

Get Help

yices-help@csl.sri.com

Send a message to yices-help@csl.sri.com to request help from a community of Yices volunteers. This list is moderated but you do not need to subscribe to post to it.

You can subscribe to this list by sending a message with 'subscribe' in the body to yices-help-request@csl.sri.com, or use the web interface.

Bug Reports

To report a bug, send an e-mail to yices-bugs@csl.sri.com.

Please, make sure you give enough information in your bug report to enable us to reproduce and fix the problem:

• Tell us which version of Yices you're using (including which operating system)
• Try to send us an example input that causes the problem

Send Questions to the SRI Team

If you have any other general question or suggestion about Yices, you can contact us by e-mail at yices-sri@csl.sri.com.

Last modified: Thu 24 Jan 2013 10:25 PST