Todd Wallentine
The Bandera team announces the hibernation of the project after the 1.0a4 release. We have been working very hard to provide the 1.0 final release before moving on to other things but have been unsuccessful. The time and effort that the team has available are being shifted to other projects that are more critical to the labs priorities (Cadena and Bogor). Because of this, the code base will be tagged and frozen until the resources are available to thaw and start again.
So if you have the time or resources, we would love to hear from you so that our vision of Bandera can be brought to reality. Until those resources appear, that vision will remain just that.
A note about the alpha/beta/candidate/final distiction. We feel that until we can finalize the Tool API
and other crucial cogs in the framework, it should remain an alpha release. If/when we finalize those, we envision several releases of beta-quality software so that we could get a wider audience and more feedback. After those we would likely have several release candidates leading up the the final 1.0 release. All of this to say we know this last release is alpha and we could easily have just named it 1.0. But we wanted to make clear that it is not a stable, reliable platform for usage or integration. But we have a clear idea of what it would likely take (in abstract terms since a great deal of this is still research ... or rather an unknown quantity).
 Discussions |
|
