Next | Query returned 44 messages, browsing 41 to 50 | previous

History of commit frequency

CVS Commit History:


   2006-01-13 08:51:42 by Roland Illig | Files touched by this commit (4)
Log message:
Added two patches. patch-ab avoids tons of #line warnings from the cpp
output, patch-ac fixes the special handling of functions called
malloc().

Bumped PKGREVISION.
   2006-01-12 01:44:44 by Roland Illig | Files touched by this commit (1)
Log message:
- Perl is needed at runtime.
- Made the package work with CHECK_INTERPRETER=yes set.
- Bumped PKGREVISION.
   2006-01-11 23:50:21 by Roland Illig | Files touched by this commit (2)
Log message:
Added documentation and example files. Bumped PKGREVISION.
   2006-01-11 04:12:38 by Roland Illig | Files touched by this commit (5) | Imported package
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.


Next | Query returned 44 messages, browsing 41 to 50 | previous