[ANN] FreeBoogie 0.1

[Radu Grigore]

Dear All,

I released a new version of FreeBoogie. It is not polished and there
is a lot of work to be done, but it can now check some simple Java
files. It is packaged with bml2bpl and Z3. You can grab it from :
https://mobius.ucd.ie/trac/browser/src/freeboogie/trunk/FreeBoogie/release/freeboogie-0.1.zip?format=raw
Unzip it and look at the README.txt for some guidance.

PS: You can OPT-IN for future announcements like this one by joining:
http://groups.google.com/group/freeboogie
(This is the last time I BCC directly people who expressed some
interest in FreeBoogie. From now on I will send announcements only to
mailing lists.)