]> andersk Git - splint.git/history - src/clabstract.c
Fixes after removing -unrecogcomments flag for make splintme.
[splint.git] / src / clabstract.c
2003-04-22  evans1629Fixes after removing -unrecogcomments flag for make...
2003-04-20  evans1629Added support for ISO C99 _Bool and stdbool bool/true...
2003-04-14  evans1629Fixed all /*@i...@*/ tags (except 1).
2003-04-12  drl7xFixed /*@i@*/ warning in splintme
2003-03-07  drl7xFixed bug #697722 Assert error / global
2003-03-02  drl7xUpdated the copyright on source code files.
2003-02-28  drl7xAdded missing header to get rid of splintme errors.
2002-12-18  drl7xAdded support for default buffer constraint annotations
2002-12-18  evans1629Improved tracking of state change locations. Added...
2002-10-25  drl7xFixed bug in makefile causing unnecessary remaking...
2002-09-07  evans1629Committed my changes (but there are several splintme...
2002-07-01  drl7xApparently splint does not correctly handle the case...
2002-05-31  evans1629Committed to enable merge.
2002-04-28  evans1629Fixed manual typo.
2002-03-18  evans1629Fixed anytype resolution.
2002-03-17  evans1629Added htmlfileformat flag.
2002-03-17  evans1629Fixed internal error for stray type names in structure...
2002-03-17  evans1629Fixed problem with unnamed unions within struct definit...
2002-03-13  evans1629o Make lltok an abstract type, a pointer to structure...
2002-03-02  evans1629Fixed line numbering when multi-line macro parameters...
2002-02-06  evans1629Fixed internal bug for enum lists defined in structures...
2002-01-09  evans1629Moved doc/lclint.1 to doc/splint.1
2002-01-08  evans1629Fixed up for win32 building (winconfig.h required)
2002-01-07  drl7x*** empty log message ***
2002-01-06  evans1629Renamed lclintMacros.nf splintMacros.nf
2001-12-31  evans1629Updated copyright date.
2001-12-31  evans1629Added checking for union initializers.
2001-12-29  evans1629Renaming - LCLint => Splint
2001-10-07  evans1629string literal initialization sizes
2001-08-22  evans*** empty log message ***
2001-08-20  evans*** empty log message ***
2001-08-19  evans*** empty log message ***
2001-08-01  evans*** empty log message ***
2001-07-29  evans*** empty log message ***
2001-07-27  evans*** empty log message ***
2001-07-25  evans*** empty log message ***
2001-07-24  evans*** empty log message ***
2001-07-24  evans*** empty log message ***
2001-07-20  evans*** empty log message ***
2001-07-12  evans*** empty log message ***
2001-07-06  evans*** empty log message ***
2001-07-06  evans*** empty log message ***
2001-07-05  evans*** empty log message ***
2001-07-03  dlarocheMerged code tree with Dave Evans's version. Many chang...
2001-06-19  dlarocheMerged with Dave Evans's changes.
2001-06-13  dlarocheThe code almost work.
2001-05-31  drl7xUpdteing for cert move
2001-04-29  drl7xAdded (limited) support for implicit annotations.
2001-03-03  drl7xRun LCLint on the code on cleaned things up a like.
2001-03-02  drl7xAdded files
2001-03-01  drl7xReadded files.
2001-03-01  drl7xgot rid of files in case directory.
2001-03-01  drl7xcommitng to fix cvs archive. Code works with gcc272...
2001-01-15  drl7xMaking changes to try to support loops.
2000-12-23  drl7xPrewinter break editing commit. prewinterbreak
2000-11-20  drl7xIf checking mostly works. Boolean expression are handled.
2000-08-02  drl7xFinshed basic merge. Still trying to get it through...
2000-06-13  drl7xInitial revision
This page took 0.669835 seconds and 65 git commands to generate.