summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
bdemsky [Thu, 26 Feb 2004 22:51:10 +0000 (22:51 +0000)]
Adding test case & bug fixes to generate code for test case...
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..
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
bdemsky [Wed, 25 Feb 2004 00:06:15 +0000 (00:06 +0000)]
Updating files...
bdemsky [Tue, 17 Feb 2004 19:43:40 +0000 (19:43 +0000)]
New runtime for repair system.
bdemsky [Tue, 17 Feb 2004 18:53:08 +0000 (18:53 +0000)]
These checking do the reconstruction of the model and invoke concrete repairs.
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...
bdemsky [Fri, 6 Feb 2004 22:33:01 +0000 (22:33 +0000)]
Checking in code to perform safety checks on repair dependency graph.
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
bdemsky [Wed, 4 Feb 2004 15:39:15 +0000 (15:39 +0000)]
Adding changes to cvs...
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.
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....
bdemsky [Tue, 6 Jan 2004 03:24:20 +0000 (03:24 +0000)]
More changes
bdemsky [Mon, 5 Jan 2004 20:05:16 +0000 (20:05 +0000)]
Random typos.
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...
bdemsky [Mon, 22 Dec 2003 01:30:22 +0000 (01:30 +0000)]
Adding files
bdemsky [Mon, 22 Dec 2003 01:28:34 +0000 (01:28 +0000)]
updates
bdemsky [Thu, 18 Dec 2003 19:24:35 +0000 (19:24 +0000)]
Grammar updates, etc...
bdemsky [Thu, 18 Dec 2003 19:23:26 +0000 (19:23 +0000)]
Updates
droy [Wed, 26 Nov 2003 16:12:31 +0000 (16:12 +0000)]
heh
droy [Tue, 25 Nov 2003 15:04:31 +0000 (15:04 +0000)]
missing files
droy [Sat, 20 Sep 2003 20:49:15 +0000 (20:49 +0000)]
optimized works
droy [Fri, 19 Sep 2003 17:19:58 +0000 (17:19 +0000)]
worklist version
droy [Wed, 17 Sep 2003 19:16:38 +0000 (19:16 +0000)]
before paper
droy [Wed, 6 Aug 2003 14:34:31 +0000 (14:34 +0000)]
test
droy [Wed, 9 Jul 2003 18:16:13 +0000 (18:16 +0000)]
changes for benchmark
droy [Wed, 9 Jul 2003 17:43:23 +0000 (17:43 +0000)]
sizeofpredi
droy [Wed, 9 Jul 2003 16:19:54 +0000 (16:19 +0000)]
typesafe
droy [Wed, 9 Jul 2003 03:28:50 +0000 (03:28 +0000)]
model and checks
droy [Mon, 7 Jul 2003 19:11:51 +0000 (19:11 +0000)]
fixed problems with CDL.cup
droy [Mon, 7 Jul 2003 19:03:52 +0000 (19:03 +0000)]
fixed problems with CDL.cup
droy [Mon, 7 Jul 2003 16:14:57 +0000 (16:14 +0000)]
IR
droy [Mon, 7 Jul 2003 16:13:33 +0000 (16:13 +0000)]
MCC files
droy [Mon, 7 Jul 2003 16:10:58 +0000 (16:10 +0000)]
runtime
droy [Mon, 7 Jul 2003 16:09:46 +0000 (16:09 +0000)]
javacup adding
droy [Mon, 7 Jul 2003 16:05:29 +0000 (16:05 +0000)]
adding jlex
droy [Mon, 7 Jul 2003 16:03:55 +0000 (16:03 +0000)]
blah
bdemsky [Fri, 21 Feb 2003 16:13:54 +0000 (16:13 +0000)]
Adding c files for repair system.
cananian [Thu, 20 Feb 2003 18:10:53 +0000 (18:10 +0000)]
Created directory structure
projects / repair.git / log