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

17 years agoInvariant Value class
bdemsky [Thu, 8 Jul 2004 03:48:35 +0000 (03:48 +0000)]
Invariant Value class

17 years agoThis should make Cristian a happy person... We do the right thing if
bdemsky [Mon, 31 May 2004 15:04:59 +0000 (15:04 +0000)]
This should make Cristian a happy person...  We do the right thing if
the checkonly flag is set...

17 years ago1) Instrumentation code to count model rebuilds, etc...
bdemsky [Mon, 31 May 2004 14:19:40 +0000 (14:19 +0000)]
1) Instrumentation code to count model rebuilds, etc...

2) Don't generate code for model definition rules made to make set
constraints explicit.

3) Loop invariant hoisting.  We're not too aggressive here...

4) Mechanism to store precomputed values of exprs (for 3)

5) Improvements to Hash function - it now rehashes...

17 years agoFixed inteferes bug, improved precision of other analysis to allow
bdemsky [Wed, 19 May 2004 19:06:18 +0000 (19:06 +0000)]
Fixed inteferes bug, improved precision of other analysis to allow
specs to still work.

17 years agoWorklist items from a previous model build stay in the worklist...this causes lots...
bdemsky [Wed, 19 May 2004 05:48:34 +0000 (05:48 +0000)]
Worklist items from a previous model build stay in the worklist...this causes lots of problems.  We've added a reset method to take care of this...

17 years agoThis one is Dan's. He misparses OR's as AND's for the model definition language...
bdemsky [Wed, 19 May 2004 05:26:41 +0000 (05:26 +0000)]
This one is Dan's.  He misparses OR's as AND's for the model definition language.  Surprisingly enough, this causes the CTAS spec to have some small problems.

17 years agoBugs with generating ands and ors...ahh.
bdemsky [Tue, 18 May 2004 19:11:07 +0000 (19:11 +0000)]
Bugs with generating ands and ors...ahh.

17 years agoDebug flag bug
bdemsky [Tue, 18 May 2004 16:46:47 +0000 (16:46 +0000)]
Debug flag bug

17 years agoC interface to the instrument interface
bdemsky [Tue, 18 May 2004 16:37:34 +0000 (16:37 +0000)]
C interface to the instrument interface

17 years agoNeed {} around case statements because we define variables...C++ is lame.
bdemsky [Tue, 18 May 2004 04:37:21 +0000 (04:37 +0000)]
Need {} around case statements because we define variables...C++ is lame.

17 years agoBugs:
bdemsky [Tue, 18 May 2004 04:31:35 +0000 (04:31 +0000)]
Bugs:
1) Sources file assumed filesystem example
2) Bug where we were generating bad code for computing cheapest repair
3) Bug where we were generating if condition for typechecks when we shouldn't be.

17 years agoFreeciv spec
bdemsky [Tue, 18 May 2004 04:10:56 +0000 (04:10 +0000)]
Freeciv spec

17 years agoFilesystem benchmark
bdemsky [Tue, 18 May 2004 02:51:28 +0000 (02:51 +0000)]
Filesystem benchmark

17 years agoEnable quiet output...
bdemsky [Mon, 17 May 2004 22:04:32 +0000 (22:04 +0000)]
Enable quiet output...

17 years agogetrelation2 can return 0 in cases of a relation that maps objects to ints. This...
bdemsky [Mon, 17 May 2004 22:01:36 +0000 (22:01 +0000)]
getrelation2 can return 0 in cases of a relation that maps objects to ints.  This causes the modify update method to get called in the wrong way...Fixed the bug...

17 years agoFixed a variety of bugs...
bdemsky [Mon, 17 May 2004 21:41:38 +0000 (21:41 +0000)]
Fixed a variety of bugs...

17 years agoMore bugs...
bdemsky [Wed, 12 May 2004 21:40:03 +0000 (21:40 +0000)]
More bugs...

17 years agoMore bug fixes...and debug flags
bdemsky [Wed, 12 May 2004 19:03:33 +0000 (19:03 +0000)]
More bug fixes...and debug flags

17 years agoCode to improve search by pruning certain types of repair..
bdemsky [Tue, 11 May 2004 21:14:26 +0000 (21:14 +0000)]
Code to improve search by pruning certain types of repair..

17 years agoVarious bug fixes.
bdemsky [Tue, 11 May 2004 20:57:57 +0000 (20:57 +0000)]
Various bug fixes.

17 years agoForgot to implement this method.
bdemsky [Tue, 11 May 2004 19:33:49 +0000 (19:33 +0000)]
Forgot to implement this method.

17 years ago1) Further updates to specifications.
bdemsky [Tue, 11 May 2004 17:12:17 +0000 (17:12 +0000)]
1) Further updates to specifications.
2) Further updates to search algorith.

17 years agoImproved search....Updated filesystem model. Added -aggressivesearch option.
bdemsky [Mon, 10 May 2004 21:55:09 +0000 (21:55 +0000)]
Improved search....Updated filesystem model.  Added -aggressivesearch option.

17 years ago1) Added useDescriptor method to Expr's.
bdemsky [Sun, 9 May 2004 00:47:18 +0000 (00:47 +0000)]
1) Added useDescriptor method to Expr's.
2) Generalized analysis to determine that an update effecting a rule won't change other bindings of the same rule...

17 years agoMoved makelib
bdemsky [Thu, 6 May 2004 21:17:45 +0000 (21:17 +0000)]
Moved makelib