pkgsrc

kpriv/pkgsrc

Fork 0

Commit graph

Author	SHA1	Message	Date
rillig	b0ce16e6a3	Fixed an internal cqual error. Improved the gcqual program. Added a debugging option. Bumped PKGREVISION.	2006-07-17 22:16:55 +00:00
wiz	30b6dcf7f6	Fix build on -current. Fix PLIST. Bump PKGREVISION.	2006-03-02 19:56:24 +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

rillig

b0ce16e6a3

Fixed an internal cqual error. Improved the gcqual program. Added a

debugging option. Bumped PKGREVISION.

2006-07-17 22:16:55 +00:00

wiz

30b6dcf7f6

Fix build on -current. Fix PLIST.

Bump PKGREVISION.

2006-03-02 19:56:24 +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