Download SAL 2.4 (pre-release)

This pre-release is now deprecated. It was replaced by SAL 3.0, available here

• Linux (Intel) • WHATS_NEW
• Cygwin (Intel) • WHATS_NEW
• Sources
• sal-atg (the SAL automated test generator) • README • manual • method

Last modified: Wed 13 Dec 2006 10:48 PST
Maintainer: Bruno Dutertre