]> andersk Git - splint.git/history - src/transferChecks.c
Fixes after removing -unrecogcomments flag for make splintme.
[splint.git] / src / transferChecks.c
2003-04-22  evans1629Fixes after removing -unrecogcomments flag for make...
2003-04-14  evans1629Fixed all /*@i...@*/ tags (except 1).
2003-03-02  drl7xUpdated the copyright on source code files.
2002-09-07  evans1629Committed my changes (but there are several splintme...
2002-02-07  evans1629Fixed bug with FIELDASSIGN
2002-02-06  evans1629Fixed internal errors for field assignments --- this...
2002-01-09  evans1629Moved doc/lclint.1 to doc/splint.1
2002-01-06  evans1629Renamed lclintMacros.nf splintMacros.nf
2002-01-04  evans1629Added manual test cases.
2002-01-03  evans1629Changed checking of complete descruction so +strictdest...
2001-12-31  evans1629Updated copyright date.
2001-12-29  evans1629Renaming - LCLint => Splint
2001-10-06  evans1629Fixes for 3.0.0.18:
2001-08-22  evans*** empty log message ***
2001-07-30  evans*** empty log message ***
2001-07-20  evans*** empty log message ***
2001-07-13  evans*** empty log message ***
2001-07-12  evans*** empty log message ***
2001-07-06  evans*** empty log message ***
2001-07-05  evans*** empty log message ***
2001-07-05  evans*** empty log message ***
2001-07-05  evans*** empty log message ***
2001-07-05  evansDave's Updates
2001-07-03  dlarocheMerged code tree with Dave Evans's version. Many chang...
This page took 1.08474 seconds and 31 git commands to generate.