Design by Contract for C. Generate Design by Contract code and documentation from tags embedded in C comments. Runtime checking of Preconditions, Postconditions and Invariants. Create Doxygen documentation from contracts.


Registered: 2004-09-01 15:35
Activity Percentile: 0%
View project activity statistics.
Developer Info
Project Admins:
Sebastian Hunt
Charles Mills
Developers:
2 [View Members]
 

 

Latest File Releases
Package Version Date Notes / Monitor Download
dbcdbc-2.0.0 May 10, 2005 Release Notes - Monitor this package Download
 

Public Areas
Home Page Project Home Page
TrackerTracker

 - Bugs ( 2 open /12 total )
Bug Tracking System

 - Support Requests ( 0 open /0 total )
Tech Support Tracking System

 - Patches ( 0 open /0 total )
Patch Tracking System

 - Feature Requests ( 6 open /7 total )
Feature Request Tracking System

Forums Public Forums ( 27 messages in 2 forums )
Docs DocManager: Project Documentation
Lists Mailing Lists ( 1 public mailing lists)
Tasks Task Manager
There are no public subprojects available
Surveys Surveys ( 0 surveys )
SCM SCM Repository (CVS: 434 commits, 134 adds)
 

  
Latest News
Version 1.3.0 released.
    Charles Mills - 2004-12-02 23:56
Version 1.2.1 Available
    Charles Mills - 2004-11-05 21:23
Version 1.1.2 Available
    Charles Mills - 2004-11-03 02:38
Ruby Gem now Available!
    Charles Mills - 2004-10-29 20:14
Version 1.1.0 Available
    Charles Mills - 2004-10-29 17:50
DBC for C has Wiki
    Charles Mills - 2004-10-28 23:55