| Home | • | Intro | • | Docs | • | Wiki | • | FAQ | • | Download | • | • | Awards | • | Status | • | FM Tools |
|---|
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.
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.
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.
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:
If you have any other general question or suggestion about Yices, you can contact us by e-mail at yices-sri@csl.sri.com.
| Home | • | Intro | • | Docs | • | Wiki | • | FAQ | • | Download | • | • | Awards | • | Status | • | FM Tools |
|---|
Last modified: Thu 24 Jan 2013 10:25 PST