pkgsrc

kpriv/pkgsrc

Fork 0

Commit graph

Author	SHA1	Message	Date
wiz	30b6dcf7f6	Fix build on -current. Fix PLIST. Bump PKGREVISION.	2006-03-02 19:56:24 +00:00
rillig	f100c2fd07	Added documentation and example files. Bumped PKGREVISION.	2006-01-11 22:50:21 +00:00
rillig	f6ae07692d	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.	2006-01-11 03:12:38 +00:00

Author

SHA1

Message

Date

wiz

30b6dcf7f6

Fix build on -current. Fix PLIST.

Bump PKGREVISION.

2006-03-02 19:56:24 +00:00

rillig

f100c2fd07

Added documentation and example files. Bumped PKGREVISION.

2006-01-11 22:50:21 +00:00

rillig

f6ae07692d

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.

2006-01-11 03:12:38 +00:00

3 commits