Added check of user specified post conditions.
Added the flag +checkpost ot turn this on and off.

Changed to used /\ and requires instead of bufferConstraint
changed to used /\ and requires and ensures instead of bufferConstraint and ensuresConstraint

Changed to used /\ and requires instead of bufferConstraint

Runs on test suite wu-ftpd and bind without crashing or producing obvious errors.

Memory leaks do not seem to be a big problem if they still exist.

The code almost work.
it passes the test suit except for a case where it in correctly reports the originial constraint.
constraintList_addList memory leak and probably still present as well.:
CVS

Lots of changes.  Code is mostly annotated.  Still lots of breaken stuff though.
Freeing memory has caused some crashes.  I'm still running LCLint to track down problem.
More memory also needs to be freed.

Removed the unused data type environmentTable.
Got rid of references and removed .c and .h files.

EXtensive code clean up.  Almost passes LCLint.
Commiting before the removal of environmentTable

updating to make tree consistent for start at cert

Updating for cert move

Updteing for cert move

Added support for or constraints.

Simple modification to tests.

Added (limited) support for implicit annotations.

Code works on shankly with gcc28 has problems other places.

Removed some .out files.

CVS Run LCLint on the code on cleaned things up a like.

Run LCLint on the code on cleaned things up a like.

*** empty log message ***

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