repair.git
12 years agocorrect master
bdemsky [Sat, 1 Aug 2009 01:57:17 +0000 (01:57 +0000)]
correct

12 years agochange
bdemsky [Sat, 1 Aug 2009 01:56:38 +0000 (01:56 +0000)]
change

15 years agoforgot file
bdemsky [Wed, 20 Sep 2006 20:40:09 +0000 (20:40 +0000)]
forgot file

15 years agosmall change
bdemsky [Fri, 8 Sep 2006 01:58:55 +0000 (01:58 +0000)]
small change

15 years agoreturn flag to indicate errors
bdemsky [Fri, 8 Sep 2006 01:05:42 +0000 (01:05 +0000)]
return flag to indicate errors

15 years agoModify Generators to allow multiple specs
bdemsky [Wed, 6 Sep 2006 21:36:32 +0000 (21:36 +0000)]
Modify Generators to allow multiple specs

15 years agosmall changes
bdemsky [Wed, 6 Sep 2006 15:38:49 +0000 (15:38 +0000)]
small changes

15 years agolet command line define flags optionally
bdemsky [Wed, 6 Sep 2006 13:43:53 +0000 (13:43 +0000)]
let command line define flags optionally

15 years agobuild with other copy
bdemsky [Wed, 6 Sep 2006 13:40:34 +0000 (13:40 +0000)]
build with other copy

15 years agocheck in changes to allow [this.length] into grammar
bdemsky [Wed, 30 Aug 2006 00:18:53 +0000 (00:18 +0000)]
check in changes to allow [this.length] into grammar

15 years agochange
bdemsky [Sat, 13 May 2006 00:01:07 +0000 (00:01 +0000)]
change

15 years agochange
root [Fri, 12 May 2006 23:58:38 +0000 (23:58 +0000)]
change

15 years agochange
bdemsky [Fri, 12 May 2006 23:54:30 +0000 (23:54 +0000)]
change

15 years ago*** empty log message ***
root [Fri, 12 May 2006 23:53:29 +0000 (23:53 +0000)]
*** empty log message ***

15 years agochange
root [Fri, 12 May 2006 23:50:54 +0000 (23:50 +0000)]
change

15 years agochange checked in
root [Fri, 12 May 2006 23:44:35 +0000 (23:44 +0000)]
change checked in

15 years agoRemove readme file...
root [Fri, 12 May 2006 23:22:34 +0000 (23:22 +0000)]
Remove readme file...

15 years agochecked in changes
root [Fri, 12 May 2006 23:21:22 +0000 (23:21 +0000)]
checked in changes

15 years agoCheck in logging scripts
root [Fri, 12 May 2006 23:19:36 +0000 (23:19 +0000)]
Check in logging scripts

15 years agoinitial checkin
root [Mon, 30 Jan 2006 21:34:18 +0000 (21:34 +0000)]
initial checkin

15 years agoinitial checkin
root [Mon, 30 Jan 2006 21:34:17 +0000 (21:34 +0000)]
initial checkin

16 years agoAdd option to remove conjunctions.
bdemsky [Wed, 9 Nov 2005 21:07:04 +0000 (21:07 +0000)]
Add option to remove conjunctions.

16 years agoChanges to allow unique names
bdemsky [Wed, 9 Nov 2005 16:48:14 +0000 (16:48 +0000)]
Changes to allow unique names

16 years agoHack to fix naming issues.
bdemsky [Fri, 4 Nov 2005 18:20:36 +0000 (18:20 +0000)]
Hack to fix naming issues.

16 years agoFixed 0 case I think.
bdemsky [Wed, 19 Oct 2005 19:48:33 +0000 (19:48 +0000)]
Fixed 0 case I think.

16 years agoreturn reasonable error codes
bdemsky [Mon, 17 Oct 2005 19:31:06 +0000 (19:31 +0000)]
return reasonable error codes

16 years agoHacks to allow repairs of fields used to define layouts of arrays.
bdemsky [Mon, 17 Oct 2005 00:29:51 +0000 (00:29 +0000)]
Hacks to allow repairs of fields used to define layouts of arrays.

16 years agoNew option -printrepair added. Prints updates to data structures.
bdemsky [Fri, 14 Oct 2005 18:34:28 +0000 (18:34 +0000)]
New option -printrepair added.  Prints updates to data structures.

16 years ago2 bug fixes to getRequiredConstraints
bdemsky [Wed, 12 Oct 2005 17:49:01 +0000 (17:49 +0000)]
2 bug fixes to getRequiredConstraints
added option to reject updates that change the layout of objects.

16 years ago2 bug fixes to getRequiredConstraints
bdemsky [Wed, 12 Oct 2005 17:43:10 +0000 (17:43 +0000)]
2 bug fixes to getRequiredConstraints
added option to reject updates that change the layout of objects.

16 years agodon't call the typemap with value 0
bdemsky [Mon, 10 Oct 2005 02:49:22 +0000 (02:49 +0000)]
don't call the typemap with value 0

16 years agofix typo.
bdemsky [Mon, 10 Oct 2005 02:37:23 +0000 (02:37 +0000)]
fix typo.

16 years agostupid bugs in our realloc function fixed
bdemsky [Mon, 10 Oct 2005 02:32:59 +0000 (02:32 +0000)]
stupid bugs in our realloc function fixed

16 years agofix generation of graph files
bdemsky [Thu, 6 Oct 2005 06:08:11 +0000 (06:08 +0000)]
fix generation of graph files

16 years agoAdded minimum size analysis.
bdemsky [Wed, 5 Oct 2005 10:14:29 +0000 (10:14 +0000)]
Added minimum size analysis.
Improved safe check in DotExpr.
Changed naming scheme in dumpstructures.
Fixed bug in must/cant node analysis

16 years agoQuantifier bugs.
bdemsky [Sun, 2 Oct 2005 06:20:16 +0000 (06:20 +0000)]
Quantifier bugs.

16 years agoQuantifiers use relations!!!
bdemsky [Sun, 2 Oct 2005 05:14:41 +0000 (05:14 +0000)]
Quantifiers use relations!!!

16 years agoSmall changes to allow:
bdemsky [Fri, 30 Sep 2005 06:18:48 +0000 (06:18 +0000)]
Small changes to allow:
empty structure definitions
better debugging support

16 years agoName typedefs
bdemsky [Fri, 30 Sep 2005 05:07:01 +0000 (05:07 +0000)]
Name typedefs

16 years agoRewrote safetransclosure method so its obvious it is correct.
bdemsky [Thu, 2 Jun 2005 20:26:27 +0000 (20:26 +0000)]
Rewrote safetransclosure method so its obvious it is correct.

16 years agoSmall improvement.
bdemsky [Wed, 1 Jun 2005 05:45:44 +0000 (05:45 +0000)]
Small improvement.

16 years agoFixed transitive closure computation.
bdemsky [Wed, 1 Jun 2005 05:07:52 +0000 (05:07 +0000)]
Fixed transitive closure computation.

16 years agoAdded more comments. Fixed some bugs.
bdemsky [Tue, 31 May 2005 18:10:10 +0000 (18:10 +0000)]
Added more comments.  Fixed some bugs.

16 years agoMake merging nodes an option.
bdemsky [Sun, 20 Feb 2005 20:38:05 +0000 (20:38 +0000)]
Make merging nodes an option.

16 years agoMake merging nodes an option.
bdemsky [Sun, 20 Feb 2005 20:31:28 +0000 (20:31 +0000)]
Make merging nodes an option.

16 years agoOptions to print prettier graphs...
bdemsky [Fri, 4 Feb 2005 20:15:39 +0000 (20:15 +0000)]
Options to print prettier graphs...

16 years agoCommitting pretty printer fix.
bdemsky [Mon, 24 Jan 2005 18:41:54 +0000 (18:41 +0000)]
Committing pretty printer fix.

17 years agoupdate readme
bdemsky [Thu, 9 Dec 2004 20:33:12 +0000 (20:33 +0000)]
update readme

17 years agoadd simple file benchmark for users.
bdemsky [Thu, 9 Dec 2004 20:31:41 +0000 (20:31 +0000)]
add simple file benchmark for users.

17 years ago1) Fixed some bugs in the redblack tree implementation...removing a non-present node...
bdemsky [Wed, 10 Nov 2004 05:44:43 +0000 (05:44 +0000)]
1) Fixed some bugs in the redblack tree implementation...removing a non-present node resulted in a segfault.

2) Fixed bug in constructbindings method.

17 years agoFixed some bugs...
bdemsky [Tue, 9 Nov 2004 21:32:38 +0000 (21:32 +0000)]
Fixed some bugs...

17 years agoForgot to do the replacement
bdemsky [Tue, 9 Nov 2004 20:26:57 +0000 (20:26 +0000)]
Forgot to do the replacement

17 years agoAdding Daikon related stuff.
bdemsky [Tue, 9 Nov 2004 20:23:25 +0000 (20:23 +0000)]
Adding Daikon related stuff.

17 years agoAdded support for dynamically allocated arrays.
bdemsky [Tue, 9 Nov 2004 18:58:18 +0000 (18:58 +0000)]
Added support for dynamically allocated arrays.

17 years agoUpdates to check in.
bdemsky [Tue, 9 Nov 2004 16:51:28 +0000 (16:51 +0000)]
Updates to check in.

17 years agoImproved termination analysis so that daikon generated specifications won't have...
bdemsky [Mon, 8 Nov 2004 01:48:32 +0000 (01:48 +0000)]
Improved termination analysis so that daikon generated specifications won't have problems.

17 years agoSome embarrassing erros. The DNF conversion for negation wasn't
bdemsky [Sun, 7 Nov 2004 01:19:30 +0000 (01:19 +0000)]
Some embarrassing erros.  The DNF conversion for negation wasn't
working quite right.  Printing negation a little more clearly.  Fixed
a problem with the termination analysis (it was too conservative).

17 years agoFix grammar and Sum bug.
bdemsky [Tue, 2 Nov 2004 22:59:39 +0000 (22:59 +0000)]
Fix grammar and Sum bug.

17 years agoGeneralize definition of SumExpr a little...Lets sum all elements of
bdemsky [Tue, 2 Nov 2004 21:03:20 +0000 (21:03 +0000)]
Generalize definition of SumExpr a little...Lets sum all elements of
the set S.R...

Brian

17 years agoFixed a memory leak in the runtime...Print neater text.
bdemsky [Mon, 1 Nov 2004 03:28:30 +0000 (03:28 +0000)]
Fixed a memory leak in the runtime...Print neater text.

17 years agobug..forgot to return value
bdemsky [Mon, 1 Nov 2004 02:26:53 +0000 (02:26 +0000)]
bug..forgot to return value

17 years agoVarious bug fixes related to the C switch.
bdemsky [Mon, 1 Nov 2004 01:51:23 +0000 (01:51 +0000)]
Various bug fixes related to the C switch.

17 years agoAccidentally checked this file in...removing it now.
bdemsky [Sat, 30 Oct 2004 23:04:31 +0000 (23:04 +0000)]
Accidentally checked this file in...removing it now.

17 years agoCompleted support for generating C code.
bdemsky [Sat, 30 Oct 2004 21:01:37 +0000 (21:01 +0000)]
Completed support for generating C code.

17 years ago Checking in changes that:
bdemsky [Sat, 30 Oct 2004 01:13:26 +0000 (01:13 +0000)]
Checking in changes that:
1) Generate C99 code instead of C++ code.  The code should still work with a C++ compiler.
2) PrintWrapper class to enable putting declarations at top of
functions so we can make old versions of gcc work.

17 years agorevert runtime file.
bdemsky [Thu, 28 Oct 2004 19:34:51 +0000 (19:34 +0000)]
revert runtime file.

17 years agoRevert changes.
bdemsky [Thu, 28 Oct 2004 19:33:05 +0000 (19:33 +0000)]
Revert changes.

17 years agoAccidentally checked in code.
bdemsky [Thu, 28 Oct 2004 19:30:54 +0000 (19:30 +0000)]
Accidentally checked in code.

17 years agoChecking in C runtime.
bdemsky [Thu, 28 Oct 2004 19:29:04 +0000 (19:29 +0000)]
Checking in C runtime.

17 years agoNew C Runtime.
bdemsky [Thu, 28 Oct 2004 19:26:25 +0000 (19:26 +0000)]
New C Runtime.

17 years agoGenerate code to compute the sum.
bdemsky [Wed, 27 Oct 2004 21:04:25 +0000 (21:04 +0000)]
Generate code to compute the sum.

Bug fix for adding tuples of integers to a relation.

17 years agoBug fixes for parsing sum expressions.
bdemsky [Wed, 27 Oct 2004 19:30:29 +0000 (19:30 +0000)]
Bug fixes for parsing sum expressions.

17 years agoAdding support for sum expressions.
bdemsky [Wed, 27 Oct 2004 19:04:55 +0000 (19:04 +0000)]
Adding support for sum expressions.

17 years agoHad a bug in our implementation. If the list empties when the tail is at the last...
bdemsky [Mon, 25 Oct 2004 15:52:42 +0000 (15:52 +0000)]
Had a bug in our implementation.  If the list empties when the tail is at the last position in a ListNode, the tail gets zeroed.  This should never happen.

17 years agoWant to zero next "next" pointer, not the one we just wrote.
bdemsky [Mon, 25 Oct 2004 00:04:42 +0000 (00:04 +0000)]
Want to zero next "next" pointer, not the one we just wrote.

17 years agoMake recursion a command line option.
bdemsky [Sun, 24 Oct 2004 21:36:36 +0000 (21:36 +0000)]
Make recursion a command line option.

17 years agoHack grammar to add unary minus.
bdemsky [Fri, 1 Oct 2004 03:10:29 +0000 (03:10 +0000)]
Hack grammar to add unary minus.

17 years agoChecking in various changes...
bdemsky [Thu, 30 Sep 2004 19:14:10 +0000 (19:14 +0000)]
Checking in various changes...

17 years agoBug in the freeciv spec.
bdemsky [Tue, 17 Aug 2004 17:54:26 +0000 (17:54 +0000)]
Bug in the freeciv spec.

17 years agoBug with time instrumentation code.
bdemsky [Mon, 16 Aug 2004 21:16:16 +0000 (21:16 +0000)]
Bug with time instrumentation code.

17 years agoChange to the spec...missed a consistency property. Adding timing option.
bdemsky [Mon, 16 Aug 2004 20:54:16 +0000 (20:54 +0000)]
Change to the spec...missed a consistency property.  Adding timing option.

17 years agoOops..need a cast here.
bdemsky [Mon, 16 Aug 2004 20:12:33 +0000 (20:12 +0000)]
Oops..need a cast here.

17 years agooops...freeVars can return null.
bdemsky [Mon, 16 Aug 2004 20:00:25 +0000 (20:00 +0000)]
oops...freeVars can return null.

17 years agoRecord that we allocated a new object.
bdemsky [Mon, 16 Aug 2004 17:23:57 +0000 (17:23 +0000)]
Record that we allocated a new object.

17 years agoOops...forgot the grammar changes...
bdemsky [Mon, 16 Aug 2004 00:02:59 +0000 (00:02 +0000)]
Oops...forgot the grammar changes...

17 years agoMake sure we create a reasonable large array...and avoid =0 case
bdemsky [Sun, 15 Aug 2004 05:48:05 +0000 (05:48 +0000)]
Make sure we create a reasonable large array...and avoid =0 case

17 years agoImprove precision of interference analysis. Allow sizeof(v.r1.r2) expressions.
bdemsky [Sun, 15 Aug 2004 05:14:18 +0000 (05:14 +0000)]
Improve precision of interference analysis.  Allow sizeof(v.r1.r2) expressions.

17 years agoAbiword specification
bdemsky [Sun, 15 Aug 2004 05:13:21 +0000 (05:13 +0000)]
Abiword specification

17 years agoAdd additional functionality to Simplehash.
bdemsky [Sat, 14 Aug 2004 19:58:54 +0000 (19:58 +0000)]
Add additional functionality to Simplehash.

17 years agoUpdate virtual pointers for C++ code...Various fixes to emit extern declarations.
bdemsky [Sat, 14 Aug 2004 05:09:53 +0000 (05:09 +0000)]
Update virtual pointers for C++ code...Various fixes to emit extern declarations.

17 years agoAdding the -cplusplus option. This option writes virual table pointers into allocate...
bdemsky [Fri, 13 Aug 2004 19:22:50 +0000 (19:22 +0000)]
Adding the -cplusplus option.  This option writes virual table pointers into allocated objects.

17 years agoImproved precision of computation of maximum set sizes. Removed generation of
bdemsky [Thu, 12 Aug 2004 21:41:40 +0000 (21:41 +0000)]
Improved precision of computation of maximum set sizes. Removed generation of
redundant rules by implicitschema.

17 years agoFixed some analysis problems...
bdemsky [Tue, 10 Aug 2004 04:32:10 +0000 (04:32 +0000)]
Fixed some analysis problems...

17 years agoRemoving various deprecated pieces of code...Fixed some fault checks in AbstractIntef...
bdemsky [Mon, 9 Aug 2004 16:47:33 +0000 (16:47 +0000)]
Removing various deprecated pieces of code...Fixed some fault checks in AbstractInteferes.

17 years agoMore fixes
bdemsky [Wed, 4 Aug 2004 20:44:47 +0000 (20:44 +0000)]
More fixes

17 years ago...
bdemsky [Tue, 3 Aug 2004 19:43:51 +0000 (19:43 +0000)]
...

17 years agoFixed some errors in the Repair Generator code.
bdemsky [Mon, 2 Aug 2004 23:47:13 +0000 (23:47 +0000)]
Fixed some errors in the Repair Generator code.

17 years agoUpdates to allow discovering of partial functions
bdemsky [Mon, 2 Aug 2004 21:42:44 +0000 (21:42 +0000)]
Updates to allow discovering of partial functions

17 years agoUpdates to allow repairing backpointers.
bdemsky [Thu, 29 Jul 2004 22:21:58 +0000 (22:21 +0000)]
Updates to allow repairing backpointers.

17 years agoUpdating size computation class.`
bdemsky [Thu, 29 Jul 2004 05:51:02 +0000 (05:51 +0000)]
Updating size computation class.`