12
Bug reports
We are certain that there are still bugs in
Blast
. If you find one please send email to
Blast
at
blast@eecs.berkeley.edu
or to
Rupak Majumdar
or
Ranjit Jhala
.