Added Makefile

Added files for test case.

Add one last file?

Add test files to repository.

Added test to repository

*** empty log message ***

*** empty log message ***

*** empty log message ***

Added files

Code seems to work...

Added files to the repository.

Added test to the repository.

Added some expect files.

*** empty log message ***

Readded files.

Added files

Added header files.

got rid of files in case directory.
t

commitng to fix cvs archive.  Code works with gcc272 but not 295.  Currently passed all test cases.

Added basic support for simple loops.

Added new tests.

Making changes to try to support loops.
Fixed numerous bug after exmining output when run on wu-ftpd.

*** empty log message ***

moved test suit from home

Added some new tests: sizeof, and bufferTest.
Turned off nullterminated test in Makefile

Prewinter break editing commit.
Code is mostly good.
Annoying bug with constraintExpr still needs to be fixed.

Handles ftpd.c in wu-ftp without crashing.
Gives lots of spurious messages though.

copy lib from lcclint-2.5q version.

Passes the standard LCLint test suite.  YAAAAAAYYYY!!!!!
YAAAAAAAAAAYYYYYYYYYYYYYYYYY!!!!!!!!!!!!!!!!

We're now able to generate Maxset constraints for fixed sized arrays.
e.g. int x[3]; produces maxset(x) >= 2;

If checking mostly works.  Boolean expression are handled.
Need to add > or < support.  Committing to have a good back up.

Fixed stupid bug in constraintGeneration.c
Should've done it before last version
Also modified cgrammar.y to attempt (so far unsuccesfully) to get function level anotations working.

pre addition of functino level annotations.
if almost works

Converted to new API for constraintExpr
g++; g++; is now handled correctly.

It mostly works but it has a convolted API that needs fixxing.

*** empty log message ***

Saving version preented on 092200

Most of the constraint resolving works.
can do g[0] = '2'; g++; g[0] = 'g';  I think...

Periodic commit

*** empty log message ***

Put files created for constraint handling in the repository.

Took 2 temp files out of the repository.

Fixed stupid bug in constraintList causing a segfault.
Added files for new tests to the repository.

Finshed basic merge.  Still trying to get it through the test suit.

Added the code for setBufferSize and setStringLegnth annotations.
Committing to prepare fro second merge with Evans's code.

Added in test case files.  (Merge should be complete now.)

Put Nullterminated Tests in the repository.

Commiting Merge of changes made in semester and ver 2.5M

Initial revision