mainThe Ebba toolset - Summary

 
 
Membership Info
Group Admin:
1 active member

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 rss feed
Yet another Ebba Rewrite
     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.

Back to the top

Powered by Savane 3.13-f8d8.
Corresponding source code