summaryrefslogtreecommitdiff
path: root/devel/cqual/distinfo
AgeCommit message (Collapse)AuthorFilesLines
2006-07-17Fixed an internal cqual error. Improved the gcqual program. Added arillig1-2/+3
debugging option. Bumped PKGREVISION.
2006-07-02Added an explanation to patch-cd.rillig1-2/+2
2006-07-01Fixed the gcc4 warning reported in PR 33883 and another similar one. Onerillig1-3/+3
of them was a real bug (missing initialization of a structure; luckily not introduced by me), the other was a false positive.
2006-06-29Fixed gcc warnings that have been reported in PR 33859. While here, alsorillig1-2/+3
fixed the pkglint warning regarding INFO_FILES. Bumped PKGREVISION.
2006-03-02Fix build on -current. Fix PLIST.wiz1-3/+3
Bump PKGREVISION.
2006-01-19Added some patches to make Cqual build on IRIX 6.5/mips with MIPSpro. (Byrillig1-1/+4
the way, all these patches have already been reported upstream and are mostly fixed.)
2006-01-18Added the patches that are required to build CQual on SunOS 5.8/sparcrillig1-2/+15
with SunPro.
2006-01-13Added two patches. patch-ab avoids tons of #line warnings from the cpprillig1-1/+3
output, patch-ac fixes the special handling of functions called malloc(). Bumped PKGREVISION.
2006-01-11Imported cqual.rillig1-0/+6
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.