]>
andersk Git - splint.git/log
drl7x [Fri, 2 Mar 2001 03:47:25 +0000 (03:47 +0000)]
*** empty log message ***
drl7x [Fri, 2 Mar 2001 03:45:13 +0000 (03:45 +0000)]
Added files
drl7x [Fri, 2 Mar 2001 03:34:12 +0000 (03:34 +0000)]
Code seems to work...
drl7x [Thu, 1 Mar 2001 23:56:53 +0000 (23:56 +0000)]
Added files to the repository.
drl7x [Thu, 1 Mar 2001 23:53:33 +0000 (23:53 +0000)]
Added test to the repository.
drl7x [Thu, 1 Mar 2001 23:51:26 +0000 (23:51 +0000)]
Added some expect files.
drl7x [Thu, 1 Mar 2001 23:31:35 +0000 (23:31 +0000)]
*** empty log message ***
drl7x [Thu, 1 Mar 2001 23:22:08 +0000 (23:22 +0000)]
Readded files.
drl7x [Thu, 1 Mar 2001 22:50:26 +0000 (22:50 +0000)]
Added files
drl7x [Thu, 1 Mar 2001 22:47:12 +0000 (22:47 +0000)]
Added header files.
drl7x [Thu, 1 Mar 2001 20:12:10 +0000 (20:12 +0000)]
got rid of files in case directory.
t
drl7x [Thu, 1 Mar 2001 19:36:56 +0000 (19:36 +0000)]
commitng to fix cvs archive. Code works with gcc272 but not 295. Currently passed all test cases.
drl7x [Thu, 18 Jan 2001 07:39:25 +0000 (07:39 +0000)]
Added basic support for simple loops.
drl7x [Mon, 15 Jan 2001 02:11:38 +0000 (02:11 +0000)]
Added new tests.
drl7x [Mon, 15 Jan 2001 02:08:15 +0000 (02:08 +0000)]
Making changes to try to support loops.
Fixed numerous bug after exmining output when run on wu-ftpd.
drl7x [Thu, 4 Jan 2001 05:03:10 +0000 (05:03 +0000)]
*** empty log message ***
drl7x [Thu, 4 Jan 2001 05:01:41 +0000 (05:01 +0000)]
moved test suit from home
drl7x [Sat, 23 Dec 2000 05:23:04 +0000 (05:23 +0000)]
Added some new tests: sizeof, and bufferTest.
Turned off nullterminated test in Makefile
drl7x [Sat, 23 Dec 2000 05:17:53 +0000 (05:17 +0000)]
Prewinter break editing commit.
Code is mostly good.
Annoying bug with constraintExpr still needs to be fixed.
drl7x [Wed, 29 Nov 2000 23:38:24 +0000 (23:38 +0000)]
Handles ftpd.c in wu-ftp without crashing.
Gives lots of spurious messages though.
drl7x [Wed, 29 Nov 2000 09:51:30 +0000 (09:51 +0000)]
copy lib from lcclint-2.5q version.
drl7x [Wed, 29 Nov 2000 09:48:39 +0000 (09:48 +0000)]
Passes the standard LCLint test suite. YAAAAAAYYYY!!!!!
YAAAAAAAAAAYYYYYYYYYYYYYYYYY!!!!!!!!!!!!!!!!
drl7x [Wed, 29 Nov 2000 05:01:50 +0000 (05:01 +0000)]
We're now able to generate Maxset constraints for fixed sized arrays.
e.g. int x[3]; produces maxset(x) >= 2;
drl7x [Mon, 20 Nov 2000 22:05:53 +0000 (22:05 +0000)]
If checking mostly works. Boolean expression are handled.
Need to add > or < support. Committing to have a good back up.
drl7x [Wed, 1 Nov 2000 20:40:55 +0000 (20:40 +0000)]
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.
drl7x [Tue, 31 Oct 2000 05:04:58 +0000 (05:04 +0000)]
pre addition of functino level annotations.
if almost works
drl7x [Fri, 13 Oct 2000 00:28:00 +0000 (00:28 +0000)]
Converted to new API for constraintExpr
g++; g++; is now handled correctly.
drl7x [Tue, 3 Oct 2000 18:06:14 +0000 (18:06 +0000)]
It mostly works but it has a convolted API that needs fixxing.
drl7x [Wed, 27 Sep 2000 21:59:15 +0000 (21:59 +0000)]
*** empty log message ***
drl7x [Mon, 25 Sep 2000 23:15:51 +0000 (23:15 +0000)]
Saving version preented on 092200
drl7x [Fri, 22 Sep 2000 09:14:07 +0000 (09:14 +0000)]
Most of the constraint resolving works.
can do g[0] = '2'; g++; g[0] = 'g'; I think...
drl7x [Thu, 14 Sep 2000 05:46:50 +0000 (05:46 +0000)]
Periodic commit
drl7x [Thu, 3 Aug 2000 14:55:06 +0000 (14:55 +0000)]
*** empty log message ***
drl7x [Wed, 2 Aug 2000 21:34:05 +0000 (21:34 +0000)]
Put files created for constraint handling in the repository.
drl7x [Wed, 2 Aug 2000 21:30:14 +0000 (21:30 +0000)]
Took 2 temp files out of the repository.
drl7x [Wed, 2 Aug 2000 21:10:44 +0000 (21:10 +0000)]
Fixed stupid bug in constraintList causing a segfault.
Added files for new tests to the repository.
drl7x [Wed, 2 Aug 2000 20:19:48 +0000 (20:19 +0000)]
Finshed basic merge. Still trying to get it through the test suit.
drl7x [Tue, 4 Jul 2000 00:29:50 +0000 (00:29 +0000)]
Added the code for setBufferSize and setStringLegnth annotations.
Committing to prepare fro second merge with Evans's code.
drl7x [Thu, 22 Jun 2000 06:56:37 +0000 (06:56 +0000)]
Added in test case files. (Merge should be complete now.)
drl7x [Wed, 21 Jun 2000 19:00:22 +0000 (19:00 +0000)]
Put Nullterminated Tests in the repository.
drl7x [Wed, 21 Jun 2000 18:54:59 +0000 (18:54 +0000)]
Commiting Merge of changes made in semester and ver 2.5M
drl7x [Tue, 13 Jun 2000 02:39:09 +0000 (02:39 +0000)]
Initial revision
This page took 0.166625 seconds and 4 git commands to generate.