Platforms:
==========
Version 7_0_19 is released on Solaris 64 bits, Linux64
Bug fixes:
==========
1. bugs related to the rejection of pulses (+pulse_e and +pulse_r). Before
fixing them some pulses were not rejected when they should have
been, and some were rejected when they should not have been.
2. bug related to the elimination of empty modules leading to a
possible crash in finvc.
3. Bug related to constant propagation leading to a possible crash in
finvc.
7.0.19 Release date: 5/3/2006
7.0.18 Release date: 4/14/2006
7.0.17 Release date: 4/10/2006
7.0.16 Release date: 4/7/2006
7.0.15 Release date: 3/27/2006
7.0.14 Release date: 3/24/2006
7.0.13 Release date: 3/22/2006
7.0.12 Release date: 3/20/2006
7.0.10 Release date: 3/16/2006
7.0.9 Release date: 3/14/2006
7.0.8 Release date: 12/28/2005
7.0.7 Release date: 12/19/2005
7.0.6 Release date: 12/16/2005
7.0.5 Release date: 12/15/2005
7.0.4 Release date: 12/12/2005
7.0.0 Release date: 11/17/2005
6.2.09 Release date: 8/3/2005
6.2.06 Release date: 7/29/2005
6.2.05 Release date: 7/20/2005
6.1.04 Release date: 6/24/2005
6.1.02 Release date: 6/8/2005
6.1.1 Release date: 6/4/2005
6.1.0 Release date: 5/10/2005
6.0.12 Release date: 4/7/2005
6.0.11 Release date: 2/25/2005
6.0.10 Release date: 2/15/2005
6.0.09 Release date: 1/28/2005
6.0.08 Release date: 1/11/2005
6.0.07 Release date: 12/2/2004
6.0.06 Release date: 11/23/2004
6.0.05 Release date: 8/20/2004
6.0.04 Release date: 8/16/2004
6.0.03 Release date: 8/2/2004
6.0.02 Release date: 7/2/2004
6.0.01 Release date: 6/16/2004
6.0.00 Release date: 5/31/2004
5.0.24 Release date: 4/27/2004
5.0.23 Release date: 4/1/2004
5.0.22 Release date: 3/5/2004
5.0.21 Release date: 2/19/2004
5.0.20 Release date: 2/4/2004
5.0.19 Release date: 1/16/2004
5.0.18 Release date: 12/18/2003
5.0.17 Release date: 12/9/2003
5.0.16 Release date: 11/26/2003
5.0.15 Release date: 11/7/2003
5.0.14 Release date: 11/5/2003
5.0.13 Release date: 10/29/2003
5.0.12 Release date: 10/24/2003
5.0.11 Release date: 10/21/2003
5.0.10 Release date: 10/16/2003
5.0.09 Release date: 10/7/2003
5.0.08 Release date: 10/2/2003
5.0.07 Release date: 9/25/2003
5.0.06 Release date: 9/12/2003
5.0.05 Release date: 8/22/2003
5.0.04 Release date: 7/21/2003
5.0.03 Release date: 7/1/2003
5.0.02 Release date: 6/13/2003