]>
andersk Git - splint.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
evans [Thu, 5 Jul 2001 21:58:16 +0000 (21:58 +0000)]
*** empty log message ***
drl7x [Thu, 5 Jul 2001 21:32:46 +0000 (21:32 +0000)]
Added some additional tests fixed error in the maxset test
drl7x [Thu, 5 Jul 2001 21:31:36 +0000 (21:31 +0000)]
Added basic support for switch statements
Also added support the simplifications rules like:
x < y => x - 2 < y
This is useful for resolving constraints.
evans [Thu, 5 Jul 2001 21:13:18 +0000 (21:13 +0000)]
*** empty log message ***
evans [Thu, 5 Jul 2001 20:17:17 +0000 (20:17 +0000)]
*** empty log message ***
evans [Thu, 5 Jul 2001 20:17:14 +0000 (20:17 +0000)]
*** empty log message ***
evans [Thu, 5 Jul 2001 14:55:25 +0000 (14:55 +0000)]
Dave's Updates
drl7x [Wed, 4 Jul 2001 15:34:29 +0000 (15:34 +0000)]
*** empty log message ***
drl7x [Wed, 4 Jul 2001 15:32:45 +0000 (15:32 +0000)]
Fixed bug caused by free the null terminated stuff (bbufinfo) in uvinfo_free
dlaroche [Tue, 3 Jul 2001 19:08:34 +0000 (19:08 +0000)]
Fixed Makefile
dlaroche [Tue, 3 Jul 2001 19:03:19 +0000 (19:03 +0000)]
added some files to repository
dlaroche [Tue, 3 Jul 2001 18:49:13 +0000 (18:49 +0000)]
Added some new test cases also merged with Dave Evans's tests.
dlaroche [Tue, 3 Jul 2001 18:46:40 +0000 (18:46 +0000)]
Merged code tree with Dave Evans's version. Many changes to numberous to list....
dlaroche [Tue, 3 Jul 2001 18:45:51 +0000 (18:45 +0000)]
Updating to use the LEnsures and LRequires instead of the ensures requires so
that it won;t conficlt with other use of ensures and requires.
dlaroche [Mon, 25 Jun 2001 18:28:53 +0000 (18:28 +0000)]
Fixed library dump support so that buffer constraint annotations are read and written to the dump files.
dlaroche [Tue, 19 Jun 2001 16:45:41 +0000 (16:45 +0000)]
Fixed make file so that pristine gets rid of more generated files.
Removed some generated files from cvs tree.
dlaroche [Tue, 19 Jun 2001 15:03:47 +0000 (15:03 +0000)]
Merged with Dave Evans's changes.
Things says version 3.0 instead of 2.5
dlaroche [Tue, 19 Jun 2001 15:02:36 +0000 (15:02 +0000)]
Merged with Dave Evans's changes.
dlaroche [Mon, 18 Jun 2001 18:35:52 +0000 (18:35 +0000)]
Added check of user specified post conditions.
Added the flag +checkpost ot turn this on and off.
dlaroche [Mon, 18 Jun 2001 13:18:11 +0000 (13:18 +0000)]
Changed to used /\ and requires instead of bufferConstraint
changed to used /\ and requires and ensures instead of bufferConstraint and ensuresConstraint
dlaroche [Mon, 18 Jun 2001 13:16:57 +0000 (13:16 +0000)]
Changed to used /\ and requires instead of bufferConstraint
dlaroche [Fri, 15 Jun 2001 18:59:10 +0000 (18:59 +0000)]
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.
dlaroche [Wed, 13 Jun 2001 21:27:52 +0000 (21:27 +0000)]
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
dlaroche [Fri, 8 Jun 2001 21:23:06 +0000 (21:23 +0000)]
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.
dlaroche [Wed, 6 Jun 2001 17:37:32 +0000 (17:37 +0000)]
Removed the unused data type environmentTable.
Got rid of references and removed .c and .h files.
dlaroche [Wed, 6 Jun 2001 17:22:56 +0000 (17:22 +0000)]
EXtensive code clean up. Almost passes LCLint.
Commiting before the removal of environmentTable
dlaroche [Tue, 5 Jun 2001 13:29:08 +0000 (13:29 +0000)]
updating to make tree consistent for start at cert
drl7x [Thu, 31 May 2001 02:44:42 +0000 (02:44 +0000)]
Updating for cert move
drl7x [Thu, 31 May 2001 02:44:09 +0000 (02:44 +0000)]
Updteing for cert move
drl7x [Fri, 4 May 2001 06:35:16 +0000 (06:35 +0000)]
Added support for or constraints.
drl7x [Sun, 29 Apr 2001 20:19:14 +0000 (20:19 +0000)]
Simple modification to tests.
drl7x [Sun, 29 Apr 2001 20:17:42 +0000 (20:17 +0000)]
Added (limited) support for implicit annotations.
Code works on shankly with gcc28 has problems other places.
drl7x [Sat, 3 Mar 2001 21:59:33 +0000 (21:59 +0000)]
Removed some .out files.
drl7x [Sat, 3 Mar 2001 21:58:25 +0000 (21:58 +0000)]
CVS Run LCLint on the code on cleaned things up a like.
drl7x [Sat, 3 Mar 2001 21:57:29 +0000 (21:57 +0000)]
Run LCLint on the code on cleaned things up a like.
drl7x [Fri, 2 Mar 2001 05:01:21 +0000 (05:01 +0000)]
*** empty log message ***
drl7x [Fri, 2 Mar 2001 04:58:45 +0000 (04:58 +0000)]
Added Makefile
drl7x [Fri, 2 Mar 2001 04:55:12 +0000 (04:55 +0000)]
Added files for test case.
drl7x [Fri, 2 Mar 2001 04:47:17 +0000 (04:47 +0000)]
Add one last file?
drl7x [Fri, 2 Mar 2001 04:45:38 +0000 (04:45 +0000)]
Add test files to repository.
drl7x [Fri, 2 Mar 2001 04:37:29 +0000 (04:37 +0000)]
Added test to repository
drl7x [Fri, 2 Mar 2001 04:36:33 +0000 (04:36 +0000)]
*** empty log message ***
drl7x [Fri, 2 Mar 2001 04:03:54 +0000 (04:03 +0000)]
*** empty log message ***
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.083373 seconds and 4 git commands to generate.