repair.git
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...

17 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.`

17 years agoAdded new file.
bdemsky [Wed, 28 Jul 2004 22:11:10 +0000 (22:11 +0000)]
Added new file.

17 years agoBug fix...
bdemsky [Tue, 27 Jul 2004 19:17:15 +0000 (19:17 +0000)]
Bug fix...

17 years agoAdd updates...
bdemsky [Tue, 27 Jul 2004 05:43:06 +0000 (05:43 +0000)]
Add updates...

17 years agoUpdate to analysis.
bdemsky [Wed, 21 Jul 2004 05:00:27 +0000 (05:00 +0000)]
Update to analysis.

17 years agoAdded needed comments, reorganized some code...
bdemsky [Tue, 20 Jul 2004 19:17:27 +0000 (19:17 +0000)]
Added needed comments, reorganized some code...

17 years agoSimplify logic
bdemsky [Tue, 20 Jul 2004 05:21:09 +0000 (05:21 +0000)]
Simplify logic

17 years agoAdding readme files
bdemsky [Tue, 20 Jul 2004 02:26:11 +0000 (02:26 +0000)]
Adding readme files

17 years agoRemove old file
bdemsky [Tue, 20 Jul 2004 02:23:28 +0000 (02:23 +0000)]
Remove old file

17 years agoremove obselete file
bdemsky [Tue, 20 Jul 2004 02:22:39 +0000 (02:22 +0000)]
remove obselete file

17 years agoThis checkin eliminates cases in which the repair algorithm generates unnecessary...
bdemsky [Tue, 20 Jul 2004 02:05:07 +0000 (02:05 +0000)]
This checkin eliminates cases in which the repair algorithm generates unnecessary data structure updates to add an object to a set it is already in.

17 years agoRemove two files that were never actually used.
bdemsky [Mon, 19 Jul 2004 04:54:18 +0000 (04:54 +0000)]
Remove two files that were never actually used.

17 years agoAllows creation of subgraphs of the dependency graph for debugging purposes.
bdemsky [Mon, 19 Jul 2004 04:46:39 +0000 (04:46 +0000)]
Allows creation of subgraphs of the dependency graph for debugging purposes.

17 years agoMore checkins...
bdemsky [Sun, 18 Jul 2004 19:20:26 +0000 (19:20 +0000)]
More checkins...

17 years agoChanges:
bdemsky [Wed, 14 Jul 2004 19:37:57 +0000 (19:37 +0000)]
Changes:
1) structextract escapes '.' in fieldnames...(internal pointers were causing problems)

2) compiler no longer requires types of pointers to be declared...

17 years agoAllow list of important structs
bdemsky [Tue, 13 Jul 2004 22:31:37 +0000 (22:31 +0000)]
Allow list of important structs

17 years agoUpdate to add padding at the end of structs.
bdemsky [Tue, 13 Jul 2004 18:53:05 +0000 (18:53 +0000)]
Update to add padding at the end of structs.

17 years agofixes to size computation.
bdemsky [Tue, 13 Jul 2004 07:05:20 +0000 (07:05 +0000)]
fixes to size computation.

17 years agoFixed arrays some more...
bdemsky [Tue, 13 Jul 2004 06:46:03 +0000 (06:46 +0000)]
Fixed arrays some more...

17 years agoimproved structure layout generation
bdemsky [Tue, 13 Jul 2004 05:02:25 +0000 (05:02 +0000)]
improved structure layout generation

17 years agoAutomatic structure extraction tool...works on binaries with dwarf-2 debug informatio...
bdemsky [Sat, 10 Jul 2004 04:29:04 +0000 (04:29 +0000)]
structure extraction tool...works on binaries with dwarf-2 debug information compiled in.

17 years agoCalculate correst size for subclass subtyping.
bdemsky [Thu, 8 Jul 2004 04:06:46 +0000 (04:06 +0000)]
Calculate correst size for subclass subtyping.

17 years agoUpdates to grammar...
bdemsky [Thu, 8 Jul 2004 03:50:19 +0000 (03:50 +0000)]
Updates to grammar...