Version française
Home     About     Download     Resources     Contact us    
Browse thread
First release of focalize, a development environment for high integrity programs.
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: David MENTRE <dmentre@l...>
Subject: Re: [Caml-list] First release of focalize, a development environment for high integrity programs.
Hello,

Thank you for the announcement. The project seems quite interesting.

On Tue, Mar 24, 2009 at 11:07, Pierre Weis <weis@deby.inria.fr> wrote:
> (1) Where to find it ?
> ----------------------
> FoCaLize home page is http://FoCaLize.inria.fr/
> FoCaLize source files can be found at
> http://FoCaLize.inria.fr/download/focalize-0.1.0.tgz

For those interested in such details, FoCaLize seems to be under a
BSD-like license (I have not made a detailed review of the code). I
would be interested to know if knowledged people (e.g. Debian
developers ;-) consider this code Free Software or not.

====LICENSE====
  Copyright (c) 2007-2009, Institut National de Recherche en
  Informatique et en Automatique (INRIA), LIP6 (Laboratoire d'Informatique de
  Paris 6)

All rights reserved.

Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions are
met:

  * Redistributions of source code must retain the above copyright notice,
    this list of conditions and the following disclaimer.

  * Redistributions in binary form must reproduce the above copyright
    notice, this list of conditions and the following disclaimer in the
    documentation and/or other materials provided with the
    distribution.

  * Neither the name of INRIA nor the names of its contributors may
    be used to endorse or promote products derived from this software
    without specific prior written permission.
[...]
====

Sincerely yours,
david