Filewatcher File Search File Search
Catalog
Content Search
» » » »

why_2.30+dfsg.orig.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Debian
Filename:why_2.30+dfsg.orig.tar.gz

/why-2.30/README

**************************************************************************
*                                                                        *
*  The Why platform for program certification                            *
*                                                                        *
*  Copyright (C) 2002-2011                                               *
*                        
more»

/why-2.30/tests/c/result/README

this directory is to store results of tests. There is
intentionally no file managed by SVN

/why-2.30/CHANGES

version 2.30, Oct 24, 2011
==========================

  o [Jessie and Krakatoa] manuals have been extensively updated to
    adopt the Why3 back-ends
  o [Jessie/Frama-C plugin] the default back-end is now to call Why3
    VC generator, and then the Why3 IDE. The former behavior can be
    obtained using option -jessie-atp=gui
  o [Krakatoa] new option -gen-only whichs stops after generation of

more»

/why-2.30/LICENSE

This software is distributed under the terms of the GNU Library General
Public License version 2 (in
more»

/why-2.30/atp/LICENSE.txt

IMPORTANT:  READ BEFORE DOWNLOADING, COPYING, INSTALLING OR USING.
By downloading, copying, installi
more»

/why-2.30/COPYING

The Why platform for program certification
Copyright (C) 2002-2008
  Romain BARDOU
  Jean-Fran´┐Żois C
more»

Browse inside why_2.30+dfsg.orig.tar.gz

         [DIR]why-2.30/ (30)  3 mirrors

Download why_2.30+dfsg.orig.tar.gz

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com