]> andersk Git - splint.git/history - lib/posixstrict.lcd
Put manual in CVS
[splint.git] / lib / posixstrict.lcd
2002-01-07  evans1629Put manual in CVS
2002-01-06  evans1629Cleaned up flags to generate manual help.
2002-01-02  evans1629Fixed state clauses. Added obvious loop exec checking.
2001-12-31  evans1629Updated copyright date.
2001-12-31  evans1629Added checking for union initializers.
2001-12-30  evans1629Fixed branch state bug with definitely null values...
2001-12-29  evans1629Renaming - LCLint => Splint
2001-11-29  drl7xFixed double requires clauses in posix.h
2001-11-27  drl7xTried to fix some problems with the configuration system.
2001-10-16  evans1629Added doc/ directory
2001-10-14  evans1629Updated build to use automake files created by Tim...
2001-09-24  drl7xUpdated library headers to include some missing functions.
2001-09-24  drl7xUpdated specifications in the unix library. Added...
2001-08-27  evans*** empty log message ***
2001-08-19  evans*** empty log message ***
2001-08-15  drl7x*** empty log message ***
2001-07-30  evans*** empty log message ***
2001-07-28  evans*** empty log message ***
2001-07-25  evans*** empty log message ***
2001-07-24  evans*** empty log message ***
2001-07-20  evans*** empty log message ***
2001-07-16  drl7xmade strncat use size_t
2001-07-12  evans*** empty log message ***
2001-07-10  evans*** empty log message ***
2001-07-05  evans*** empty log message ***
2001-07-03  dlarocheUpdating to use the LEnsures and LRequires instead...
2001-06-25  dlarocheFixed library dump support so that buffer constraint...
2000-11-29  drl7xcopy lib from lcclint-2.5q version.
2000-06-13  drl7xInitial revision
This page took 0.256975 seconds and 36 git commands to generate.