mainThe Ebba toolset - Summary

Membership Info
Project Admin:
1 active member

Group identification
Id: #1716
System Name: ebba
Name: The Ebba toolset
Group Type: non-GNU software and documentation

Search in this Group


This project 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 - 0 replies

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.

[Submit News]
[1 news in archive]

Back to the top

Powered by Savane 3.3