Project : vasy
Software Dissemination and Internet Visibility
We prepared and distributed 21 successive beta-versions (2002-x, ..., 2002-z, 2003-a, ..., 2003-r) of Cadp.
The number of license contracts signed for Cadp increased from 307 to 330.
We were requested to grant Cadp licenses for 679 different computers in the world.
The distribution of the Traian compiler continued and a new version 2.4 of Traian (see § 6.2.3) was released on June 8, 2004.
The Traian compiler was downloaded by 76 different sites.
The VasyWeb site was regularly updated with scientific contents, announcements, publications, etc. Most notably, the following contents were produced in 2004:
The CadpWeb site was entirely redesigned. More readable and better structured, the new Web site also features Cadp latest news and enhancements (see http://www.inrialpes.fr/vasy/cadp).
The CadpFrequently Asked Questions page was enriched with 18 new entries (see http://www.inrialpes.fr/vasy/cadp/faq.html).