summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
cristic [Fri, 16 Apr 2004 23:14:33 +0000 (23:14 +0000)]
Another bug of cristians
cristic [Fri, 16 Apr 2004 23:03:42 +0000 (23:03 +0000)]
Fixed cristian bug
cristic [Fri, 16 Apr 2004 22:51:51 +0000 (22:51 +0000)]
More bugs fixed.
bdemsky [Fri, 16 Apr 2004 21:13:37 +0000 (21:13 +0000)]
Cristian bug fixes.
bdemsky [Fri, 16 Apr 2004 03:24:53 +0000 (03:24 +0000)]
Fixed some bugs in the analysis.
bdemsky [Fri, 16 Apr 2004 00:19:44 +0000 (00:19 +0000)]
Additional enhancements to compute mustremove and cantremove sets for
node elimination.
cristic [Thu, 15 Apr 2004 23:01:22 +0000 (23:01 +0000)]
*** empty log message ***
cristic [Thu, 15 Apr 2004 22:11:48 +0000 (22:11 +0000)]
Nicer semantic error messages, removed duplicates.
bdemsky [Thu, 15 Apr 2004 22:05:22 +0000 (22:05 +0000)]
Checking in some checks...
cristic [Thu, 15 Apr 2004 21:18:06 +0000 (21:18 +0000)]
OK, the parser now looks more decent.
Still have to work on the semantics errors.
cristic [Thu, 15 Apr 2004 20:20:48 +0000 (20:20 +0000)]
Added the name of the file to the error report.
Changed some error msgs.
bdemsky [Thu, 15 Apr 2004 20:05:54 +0000 (20:05 +0000)]
Committing changes to leftsize->rightSize, more comments, and handling
of MODIFYRELATION.
bdemsky [Thu, 15 Apr 2004 05:42:07 +0000 (05:42 +0000)]
Started adding analysis for modifyrelation nodes.
Added check flag.
bdemsky [Thu, 15 Apr 2004 00:53:00 +0000 (00:53 +0000)]
Bug fixes to make Cristian happy...
bdemsky [Wed, 14 Apr 2004 21:39:30 +0000 (21:39 +0000)]
We don't obey this constraint...
cristic [Wed, 14 Apr 2004 21:08:30 +0000 (21:08 +0000)]
Some modifications to allow to print the name of the file when a syntax error is reported.
cristic [Wed, 14 Apr 2004 19:16:27 +0000 (19:16 +0000)]
The steps necessary to run the compiler on a new set of specs.
bdemsky [Tue, 6 Apr 2004 20:12:45 +0000 (20:12 +0000)]
Example program.
cristic [Tue, 6 Apr 2004 20:02:51 +0000 (20:02 +0000)]
Strange formatting issues changed...
bdemsky [Tue, 6 Apr 2004 19:57:17 +0000 (19:57 +0000)]
Checking in redblack sources
cristic [Tue, 6 Apr 2004 19:49:26 +0000 (19:49 +0000)]
Forgot this file.
cristic [Tue, 6 Apr 2004 19:42:05 +0000 (19:42 +0000)]
...
bdemsky [Tue, 6 Apr 2004 02:48:30 +0000 (02:48 +0000)]
Made flag work for checking only...Added support for modify relation updates.
bdemsky [Fri, 2 Apr 2004 19:56:07 +0000 (19:56 +0000)]
Changed iterator behavior...It only iterates over the items in the set
at the iterators creation time.
bdemsky [Fri, 2 Apr 2004 19:31:11 +0000 (19:31 +0000)]
Compute strongly connected components of model rules, and do computations the correct way...
bdemsky [Fri, 2 Apr 2004 19:29:48 +0000 (19:29 +0000)]
Fixed random bugs in the runtime.
bdemsky [Thu, 1 Apr 2004 18:45:12 +0000 (18:45 +0000)]
Replaced findcycles method with something more efficient based on SCC computation.
bdemsky [Thu, 1 Apr 2004 16:23:06 +0000 (16:23 +0000)]
Added Strongly Connected Component support into GraphNodes.
bdemsky [Wed, 10 Mar 2004 06:49:50 +0000 (06:49 +0000)]
Fix random errors/typos...
bdemsky [Wed, 10 Mar 2004 06:15:03 +0000 (06:15 +0000)]
Added:
Concrete Interference rule that falsify a rule that quantifies over a set can't
remove the last element of the set.
Concrete Interference rule that updates that definitely falsify a rule can't modify
the inclusion condition causing a possible addition.
Intelligence in the GraphAnalysis package that computes must & cant remove sets.
Search through only unique combinations.
bdemsky [Mon, 8 Mar 2004 00:28:36 +0000 (00:28 +0000)]
Added support for stack allocation. Check for NULL before calling memory checker.
bdemsky [Mon, 8 Mar 2004 00:27:52 +0000 (00:27 +0000)]
Added support for stack allocation...
bdemsky [Sun, 7 Mar 2004 22:02:43 +0000 (22:02 +0000)]
Still buggy, but getting closer...
bdemsky [Sun, 7 Mar 2004 22:00:14 +0000 (22:00 +0000)]
Added:
3 value logic for Expr's...This will break dan's stuff, but arguably
it is the first step in fixing his stuff...
Runtime support for checking type sanity/etc...
bdemsky [Fri, 5 Mar 2004 05:26:51 +0000 (05:26 +0000)]
Runtime for checker...
bdemsky [Mon, 1 Mar 2004 17:29:14 +0000 (17:29 +0000)]
Mistake in interface assumptions...
bdemsky [Mon, 1 Mar 2004 05:40:13 +0000 (05:40 +0000)]
*** empty log message ***
bdemsky [Fri, 27 Feb 2004 20:34:48 +0000 (20:34 +0000)]
Creating a runtime directory...
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).
bdemsky [Fri, 27 Feb 2004 07:41:19 +0000 (07:41 +0000)]
Checking in super-optimized SimpleHash code... Good for a little performance increase...
bdemsky [Fri, 27 Feb 2004 05:52:04 +0000 (05:52 +0000)]
Checking in update to hashtable code...
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