Hello,
On Wed, Mar 25, 2009 at 10:02, Damien Doligez wrote:
> For example, I don't understand why you
> would need a detailed review of the code in order to notice that the
> licence (which you quoted) is an exact copy of the new BSD licence
> (straight from www.opensource.org, IIRC).
I already
On 2009-03-24, at 11:55, David MENTRE wrote:
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 no
> Are there any examples / tutorials? I skimmed the reference manual
> and it has to be said I found it fairly baffling.
furthermore (i /am/ trying to get time to read the docs on the site
:-), how does it compare to other things which i /ass/ume are in a
similar 'space' e.g. SPARKAda etc. thanks
On Tue, Mar 24, 2009 at 11:07:29AM +0100, Pierre Weis wrote:
> (0) What is it ?
>
>
> FoCaLize is an integrated development environment to write high integrity
> programs and systems. It provides a purely functional language to formally
> express specifications, describe the desig
On Tue, Mar 24, 2009 at 11:55:52AM +0100, David MENTRE wrote:
> 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 cod
Hello Martin,
On Tue, Mar 24, 2009 at 12:08, Martin Jambon wrote:
> David MENTRE wrote:
>> 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
>>
David MENTRE wrote:
> 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.
I am not a Debia
David MENTRE wrote:
> 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.
Let me take the b
Hello,
Thank you for the announcement. The project seems quite interesting.
On Tue, Mar 24, 2009 at 11:07, Pierre Weis 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/dow
Hi to all of you careful bug hunters and happy hackers reading this message!
It is my pleasure to announce the first public release for FoCaLize, a purely
functional language and environment to express and formally prove algorithms
and their implementation.
(0) What is it ?
FoCa
10 matches
Mail list logo
