Subject: CVS commit: pkgsrc/devel/cqual
To: None <pkgsrc-changes@NetBSD.org>
From: Roland Illig <rillig@netbsd.org>
List: pkgsrc-changes
Date: 01/11/2006 03:12:38
Module Name: pkgsrc
Committed By: rillig
Date: Wed Jan 11 03:12:38 UTC 2006
Update of /cvsroot/pkgsrc/devel/cqual
In directory ivanova.netbsd.org:/tmp/cvs-serv19122
Log Message:
Imported cqual.
cqual is a type-based analysis tool for finding bugs in C programs. It
extends the type system of C with extra user-defined type qualifiers.
The programmer annotates their program in a few places, and cqual
performs qualifier inference to check whether the annotations are
correct.
Vendor Tag: TNF
Release Tags: pkgsrc-base
N pkgsrc/devel/cqual/Makefile
N pkgsrc/devel/cqual/PLIST
N pkgsrc/devel/cqual/distinfo
N pkgsrc/devel/cqual/DESCR
N pkgsrc/devel/cqual/patches/patch-aa
No conflicts created by this import