[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-ANNOUNCE] SAL 3.0



SAL is now open-source.

The latest release (version 3.0) is available at http://sal.csl.sri.com,
where you can download the source code, and precompiled binaries for several
platforms.

There is also an associated Wiki: http://sal-wiki.csl.sri.com.

We look forward to your feedback and contributions and we hope
you enjoy this new release.

Bruno