The Ebba toolset - Summary
Group identification
Id: 1716
System Name: ebba
Name: The Ebba toolset
Group Type: non-GNU software and documentation
This group is not part of the GNU Project.
The Ebba toolset is a free implementation of (a variant) of the B formal method for software development.
Registration Date: Wed 27 Mar 2002 09:26:24 PM UTC
License: GNU General Public License v2 or later
Development Status: 2 - Pre-Alpha
Latest News 
Yet another Ebba Rewrite
posted by ibid, Tue 30 Dec 2003 09:47:14 AM UTC
posted by ibid, Tue 30 Dec 2003 09:47:14 AM UTC
A rewrite of Ebba H. is now being started. This event was marked by the creation of a "src" directory in the ebba-h repository. This directory will host a new version of Ebba - with usable bits salvaged from the previous version.
The new version takes advantage of the hierarchical modules extension of GHC 6. The new version will also take a slightly different approach to the problem.
Group HomepageDevelopment Tools
Powered by Savane 3.14-f13d.
Corresponding source code