[Caml-list] announce: Focal version 0.2beta

[Caml-list] announce: Focal version 0.2beta

[Damien Doligez]

We are pleased to announce the release of Focal version 0.2beta.

Focal (formerly known as FoC) is a language for software-proof codesign.

In Focal, code, specifications, and proofs are developped together
in the same source files, using a novel object-oriented module system.
The compiler analyses the dependencies in order to ensure the
consistency of the source, then translates the code to Objective Caml,
and the proofs to Coq.

This is a beta release: there may be some bugs, and the documentation
needs (lots of) work.

This release contains the source code of the following:
- the focal compiler (focc)
- a library of Computer Algebra algorithms
- an automatic theorem prover (zenon)
- a documentation tool (focdoc)
- an emacs mode, etc.

It is available at < http://modulogic.inria.fr/focal/download/ >.

-- the Focal team

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] announce: Focal version 0.2beta

[David MENTRE]

Hello Damien,

Damien Doligez <damien.doligez@inria.fr> writes:

> We are pleased to announce the release of Focal version 0.2beta.

I have updated the list I try to maintain on free software tools for
formal developments: http://gulliver.eu.org/ateliers/fv-tools/index.html

Let me know if you have any addition/fix/...

Does the code in Focal 0.2beta contain all the code available in
previous releases of FoC?

BTW, many thanks for the BSD-like license. I think a real free software
license like the one you have chosen is a requirement for the wide use
of formal tools.

Yours,
david
-- 
pub  1024D/A3AD7A2A 2004-10-03 David MENTRE <dmentre@linux-france.org>
 5996 CC46 4612 9CA4 3562  D7AC 6C67 9E96 A3AD 7A2A

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners