[Bug 555162] Review Request: blast - Berkeley Lazy Abstraction Software Verification Tool

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


https://bugzilla.redhat.com/show_bug.cgi?id=555162

--- Comment #8 from David A. Wheeler <dwheeler at dwheeler.com> 2010-02-26 11:26:44 EST ---
Good news!  On Thu, 25 Feb 2010 14:45:56 -0800, Rupak Majumdar ( rupak /at/ 
CS, dot, UCLA , dot, EDU send to me this email:

=============
David,
I am the original developer of Blast (the only other tool I know that used
Vampyre and is available) and we have gotten rid of vampyre dependencies.

The latest version of Blast (not depending on vampyre) is at
http://www.cs.ucla.edu/~rupak/b2/

I will also relicense vampyre, but will only get to it next week.
=============


This "latest version of BLAST" is really a follow-on project, with a new
project name "B2".  It's released under the Apache 2.0 license, which is
uncontroversially FLOSS.  If you package B2, I suggest opening a different
review request... it's a different name, different developer, etc.

Once vampyre is released as FLOSS, you can continue with the BLAST packaging.
I still think it's great to get vampyre released as FLOSS, even if you decide
to not package BLAST itself and just package B2 or something else instead.  As
we package other stuff, I suspect we'll find other vampyre users :-).

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.