repair.git
18 years ago*** empty log message ***
bdemsky [Mon, 1 Mar 2004 05:40:13 +0000 (05:40 +0000)]
*** empty log message ***

18 years agoCreating a runtime directory...
bdemsky [Fri, 27 Feb 2004 20:34:48 +0000 (20:34 +0000)]
Creating a runtime directory...

18 years agoDan was leaking memory via iterators... This leak is fixed now (stack allocation...
bdemsky [Fri, 27 Feb 2004 08:22:55 +0000 (08:22 +0000)]
Dan was leaking memory via iterators...  This leak is fixed now (stack allocation of iterators).

18 years agoChecking in super-optimized SimpleHash code... Good for a little performance increase...
bdemsky [Fri, 27 Feb 2004 07:41:19 +0000 (07:41 +0000)]
Checking in super-optimized SimpleHash code...  Good for a little performance increase...

18 years agoChecking in update to hashtable code...
bdemsky [Fri, 27 Feb 2004 05:52:04 +0000 (05:52 +0000)]
Checking in update to hashtable code...

18 years agoAdding test case & bug fixes to generate code for test case...
bdemsky [Thu, 26 Feb 2004 22:51:10 +0000 (22:51 +0000)]
Adding test case & bug fixes to generate code for test case...

18 years agoFixed Dan's confusion regarding alignment of fields. Modified the
bdemsky [Thu, 26 Feb 2004 20:13:49 +0000 (20:13 +0000)]
Fixed Dan's confusion regarding alignment of fields.  Modified the
OpExpr class to support more operations, and to actually perform the
operations when possible.  (I like readable code!)

Wrote code to write to data structures...Should be the last major
component..

18 years agoChecking in code that:
bdemsky [Wed, 25 Feb 2004 22:38:02 +0000 (22:38 +0000)]
Checking in code that:
1) performs consistency checks
2) doesn abstract repairs
3) calls/schedules data structure updates
4) partially data structure update code

18 years agoUpdating files...
bdemsky [Wed, 25 Feb 2004 00:06:15 +0000 (00:06 +0000)]
Updating files...

18 years agoNew runtime for repair system.
bdemsky [Tue, 17 Feb 2004 19:43:40 +0000 (19:43 +0000)]
New runtime for repair system.

18 years agoThese checking do the reconstruction of the model and invoke concrete repairs.
bdemsky [Tue, 17 Feb 2004 18:53:08 +0000 (18:53 +0000)]
These checking do the reconstruction of the model and invoke concrete repairs.

18 years agoAdding code to generate repair algorithms. Its not complete yet...
bdemsky [Thu, 12 Feb 2004 06:53:39 +0000 (06:53 +0000)]
Adding code to generate repair algorithms.  Its not complete yet...
This checkin sets defaults to repair...

18 years agoChecking in code to perform safety checks on repair dependency graph.
bdemsky [Fri, 6 Feb 2004 22:33:01 +0000 (22:33 +0000)]
Checking in code to perform safety checks on repair dependency graph.

18 years agoAdded support to printout data structure update nodes (bindings/updates)
bdemsky [Thu, 5 Feb 2004 07:18:20 +0000 (07:18 +0000)]
Added support to printout data structure update nodes (bindings/updates)
Added support to simplify updates/determine if they are self consistent
Added support to sequence updates
Improved precision of data structure update analysis

18 years agoAdding changes to cvs...
bdemsky [Wed, 4 Feb 2004 15:39:15 +0000 (15:39 +0000)]
Adding changes to cvs...

18 years agoFix some of Dan's bugs (code generation for relation quantifiers misstyped), didn...
bdemsky [Fri, 23 Jan 2004 03:58:49 +0000 (03:58 +0000)]
Fix some of Dan's bugs (code generation for relation quantifiers misstyped), didn't allow for relation quantifier in constraints, and my bugs.

18 years agoFixed lot of random bugs. Added code generate strings for expr's.
bdemsky [Sat, 10 Jan 2004 05:00:03 +0000 (05:00 +0000)]
Fixed lot of random bugs.  Added code generate strings for expr's.
More code to generate concrete updates.  Initial code for computing
interference....

18 years agoMore changes
bdemsky [Tue, 6 Jan 2004 03:24:20 +0000 (03:24 +0000)]
More changes

18 years agoRandom typos.
bdemsky [Mon, 5 Jan 2004 20:05:16 +0000 (20:05 +0000)]
Random typos.

18 years agoStill adding code to construct termination graph, abstract repair actions, concrete...
bdemsky [Mon, 5 Jan 2004 19:02:34 +0000 (19:02 +0000)]
Still adding code to construct termination graph, abstract repair actions, concrete repair actions, edge, etc...

18 years agoAdding files
bdemsky [Mon, 22 Dec 2003 01:30:22 +0000 (01:30 +0000)]
Adding files

18 years agoupdates
bdemsky [Mon, 22 Dec 2003 01:28:34 +0000 (01:28 +0000)]
updates

18 years agoGrammar updates, etc...
bdemsky [Thu, 18 Dec 2003 19:24:35 +0000 (19:24 +0000)]
Grammar updates, etc...

18 years agoUpdates
bdemsky [Thu, 18 Dec 2003 19:23:26 +0000 (19:23 +0000)]
Updates

18 years agoheh
droy [Wed, 26 Nov 2003 16:12:31 +0000 (16:12 +0000)]
heh

18 years agomissing files
droy [Tue, 25 Nov 2003 15:04:31 +0000 (15:04 +0000)]
missing files

18 years agooptimized works
droy [Sat, 20 Sep 2003 20:49:15 +0000 (20:49 +0000)]
optimized works

18 years agoworklist version
droy [Fri, 19 Sep 2003 17:19:58 +0000 (17:19 +0000)]
worklist version

18 years agobefore paper
droy [Wed, 17 Sep 2003 19:16:38 +0000 (19:16 +0000)]
before paper

18 years agotest
droy [Wed, 6 Aug 2003 14:34:31 +0000 (14:34 +0000)]
test

18 years agochanges for benchmark
droy [Wed, 9 Jul 2003 18:16:13 +0000 (18:16 +0000)]
changes for benchmark

18 years agosizeofpredi
droy [Wed, 9 Jul 2003 17:43:23 +0000 (17:43 +0000)]
sizeofpredi

18 years agotypesafe
droy [Wed, 9 Jul 2003 16:19:54 +0000 (16:19 +0000)]
typesafe

18 years agomodel and checks
droy [Wed, 9 Jul 2003 03:28:50 +0000 (03:28 +0000)]
model and checks

18 years agofixed problems with CDL.cup
droy [Mon, 7 Jul 2003 19:11:51 +0000 (19:11 +0000)]
fixed problems with CDL.cup

18 years agofixed problems with CDL.cup
droy [Mon, 7 Jul 2003 19:03:52 +0000 (19:03 +0000)]
fixed problems with CDL.cup

18 years agoIR
droy [Mon, 7 Jul 2003 16:14:57 +0000 (16:14 +0000)]
IR

18 years agoMCC files
droy [Mon, 7 Jul 2003 16:13:33 +0000 (16:13 +0000)]
MCC files

18 years agoruntime
droy [Mon, 7 Jul 2003 16:10:58 +0000 (16:10 +0000)]
runtime

18 years agojavacup adding
droy [Mon, 7 Jul 2003 16:09:46 +0000 (16:09 +0000)]
javacup adding

18 years agoadding jlex
droy [Mon, 7 Jul 2003 16:05:29 +0000 (16:05 +0000)]
adding jlex

18 years agoblah
droy [Mon, 7 Jul 2003 16:03:55 +0000 (16:03 +0000)]
blah

19 years agoAdding c files for repair system.
bdemsky [Fri, 21 Feb 2003 16:13:54 +0000 (16:13 +0000)]
Adding c files for repair system.

19 years agoCreated directory structure start
cananian [Thu, 20 Feb 2003 18:10:53 +0000 (18:10 +0000)]
Created directory structure