--- layout: fc_discuss_archives title: Message 29 from Frama-C-discuss on August 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Simplifying branches



Hi,
Le 31/08/2011 11:09, Daniel Sheridan a ?crit :
> Would it be possible to access the Frama-C Subversion so that I can try
> this out?

Short answer: this is possible through a specific licence contract 
adapted to your needs.
We will send you a private email to explain the various options.

Thanks for your interest in Frama-C.
-- 
| Benjamin Monate         | mailto:benjamin.monate at cea.fr     |
| Head of Software Safety Lab.  CEA-LIST/DRT/DILS/LSL         |