repair.git
18 years ago1) Checking in filesystem example
bdemsky [Thu, 6 May 2004 20:41:15 +0000 (20:41 +0000)]
1) Checking in filesystem example
2) Checking in code to handle Booleans/other expressions
3) Added invariants to updatenodes...

18 years agoRandom small changes...
bdemsky [Thu, 6 May 2004 06:09:55 +0000 (06:09 +0000)]
Random small changes...

18 years agoLots of bugfixes...
bdemsky [Thu, 6 May 2004 02:05:51 +0000 (02:05 +0000)]
Lots of bugfixes...

18 years agoAdded array bounds checks...
bdemsky [Fri, 30 Apr 2004 21:01:35 +0000 (21:01 +0000)]
Added array bounds checks...

18 years agoShould do array index calculations...Wonder if it works correctly?
bdemsky [Fri, 30 Apr 2004 04:28:22 +0000 (04:28 +0000)]
Should do array index calculations...Wonder if it works correctly?

18 years agoDon't need "Did you mean literal(...)?" anymore.
cristic [Thu, 29 Apr 2004 20:05:08 +0000 (20:05 +0000)]
Don't need "Did you mean literal(...)?" anymore.

18 years ago*** empty log message ***
bdemsky [Thu, 29 Apr 2004 16:32:08 +0000 (16:32 +0000)]
*** empty log message ***

18 years agoAdded improvements to ImplicitSchema analysis, bug fixes to ImplicitSchema
bdemsky [Thu, 29 Apr 2004 04:47:36 +0000 (04:47 +0000)]
Added improvements to ImplicitSchema analysis, bug fixes to ImplicitSchema
and SetAnalysis, added edges for abstract repairs.

18 years agoBug in the analysis...oops
bdemsky [Tue, 27 Apr 2004 21:33:04 +0000 (21:33 +0000)]
Bug in the analysis...oops

18 years agoAdded array analysis (computes paths used to add elements/tuples to sets/relations.
bdemsky [Tue, 27 Apr 2004 21:06:40 +0000 (21:06 +0000)]
Added array analysis (computes paths used to add elements/tuples to sets/relations.

Added a bug fix to the graphanalysis routine (must consider nodes not involved in cycles also for removal).

18 years agoAdding functionality for printing sets.
cristic [Mon, 26 Apr 2004 20:44:56 +0000 (20:44 +0000)]
Adding functionality for printing sets.

18 years agoGrammar changes made today:
cristic [Fri, 23 Apr 2004 20:22:14 +0000 (20:22 +0000)]
Grammar changes made today:

  G1. Got rid of literal(keyword) thing.  Now we can simply use the keywords true, false, etc.
  G2. Added keywords NULL=null=0
  G3. != works

18 years agoAdded code to correctly order checks...
bdemsky [Thu, 22 Apr 2004 20:55:30 +0000 (20:55 +0000)]
Added code to correctly order checks...

Added code to search through sets for bindings of size 1.

18 years agoChanges:
bdemsky [Wed, 21 Apr 2004 21:16:15 +0000 (21:16 +0000)]
Changes:
1) Cleaned up CLI/Compiler classes that Dan provided.
2) Typecheck Constraints.
3) Repair dependence analysis (to order repair of constraints)
   A) checks for functions
4) Added class to compute exact sizes of sets (and constraints which
   establish these sizes)

18 years agoUpdate:
bdemsky [Mon, 19 Apr 2004 21:48:08 +0000 (21:48 +0000)]
Update:
1. Removes some old debugging code
2. Simplifies some complex case statements
3. Uses maxsize calculations for set additions
4. Starts to support create/search new element type bindings.

18 years agoAdded code to compute maximum sizes of sets. So we can eliminate set removes
bdemsky [Sat, 17 Apr 2004 00:30:28 +0000 (00:30 +0000)]
Added code to compute maximum sizes of sets.  So we can eliminate set removes
when they aren't necessary.

18 years agoAnother bug of cristians
cristic [Fri, 16 Apr 2004 23:14:33 +0000 (23:14 +0000)]
Another bug of cristians

18 years agoFixed cristian bug
cristic [Fri, 16 Apr 2004 23:03:42 +0000 (23:03 +0000)]
Fixed cristian bug

18 years agoMore bugs fixed.
cristic [Fri, 16 Apr 2004 22:51:51 +0000 (22:51 +0000)]
More bugs fixed.

18 years agoCristian bug fixes.
bdemsky [Fri, 16 Apr 2004 21:13:37 +0000 (21:13 +0000)]
Cristian bug fixes.

18 years agoFixed some bugs in the analysis.
bdemsky [Fri, 16 Apr 2004 03:24:53 +0000 (03:24 +0000)]
Fixed some bugs in the analysis.

18 years agoAdditional enhancements to compute mustremove and cantremove sets for
bdemsky [Fri, 16 Apr 2004 00:19:44 +0000 (00:19 +0000)]
Additional enhancements to compute mustremove and cantremove sets for
node elimination.

18 years ago*** empty log message ***
cristic [Thu, 15 Apr 2004 23:01:22 +0000 (23:01 +0000)]
*** empty log message ***

18 years agoNicer semantic error messages, removed duplicates.
cristic [Thu, 15 Apr 2004 22:11:48 +0000 (22:11 +0000)]
Nicer semantic error messages, removed duplicates.

18 years agoChecking in some checks...
bdemsky [Thu, 15 Apr 2004 22:05:22 +0000 (22:05 +0000)]
Checking in some checks...

18 years agoOK, the parser now looks more decent.
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.

18 years agoAdded the name of the file to the error report.
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.

18 years agoCommitting changes to leftsize->rightSize, more comments, and handling
bdemsky [Thu, 15 Apr 2004 20:05:54 +0000 (20:05 +0000)]
Committing changes to leftsize->rightSize, more comments, and handling
of MODIFYRELATION.

18 years agoStarted adding analysis for modifyrelation nodes.
bdemsky [Thu, 15 Apr 2004 05:42:07 +0000 (05:42 +0000)]
Started adding analysis for modifyrelation nodes.
Added check flag.

18 years agoBug fixes to make Cristian happy...
bdemsky [Thu, 15 Apr 2004 00:53:00 +0000 (00:53 +0000)]
Bug fixes to make Cristian happy...

18 years agoWe don't obey this constraint...
bdemsky [Wed, 14 Apr 2004 21:39:30 +0000 (21:39 +0000)]
We don't obey this constraint...

18 years agoSome modifications to allow to print the name of the file when a syntax error is...
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.

18 years agoThe steps necessary to run the compiler on a new set of specs.
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.

18 years agoExample program.
bdemsky [Tue, 6 Apr 2004 20:12:45 +0000 (20:12 +0000)]
Example program.

18 years agoStrange formatting issues changed...
cristic [Tue, 6 Apr 2004 20:02:51 +0000 (20:02 +0000)]
Strange formatting issues changed...

18 years agoChecking in redblack sources
bdemsky [Tue, 6 Apr 2004 19:57:17 +0000 (19:57 +0000)]
Checking in redblack sources

18 years agoForgot this file.
cristic [Tue, 6 Apr 2004 19:49:26 +0000 (19:49 +0000)]
Forgot this file.

18 years ago...
cristic [Tue, 6 Apr 2004 19:42:05 +0000 (19:42 +0000)]
...

18 years agoMade flag work for checking only...Added support for modify relation updates.
bdemsky [Tue, 6 Apr 2004 02:48:30 +0000 (02:48 +0000)]
Made flag work for checking only...Added support for modify relation updates.

18 years agoChanged iterator behavior...It only iterates over the items in the set
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.

18 years agoCompute strongly connected components of model rules, and do computations the correct...
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...

18 years agoFixed random bugs in the runtime.
bdemsky [Fri, 2 Apr 2004 19:29:48 +0000 (19:29 +0000)]
Fixed random bugs in the runtime.

18 years agoReplaced findcycles method with something more efficient based on SCC computation.
bdemsky [Thu, 1 Apr 2004 18:45:12 +0000 (18:45 +0000)]
Replaced findcycles method with something more efficient based on SCC computation.

18 years agoAdded Strongly Connected Component support into GraphNodes.
bdemsky [Thu, 1 Apr 2004 16:23:06 +0000 (16:23 +0000)]
Added Strongly Connected Component support into GraphNodes.

18 years agoFix random errors/typos...
bdemsky [Wed, 10 Mar 2004 06:49:50 +0000 (06:49 +0000)]
Fix random errors/typos...

18 years agoAdded:
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.

18 years agoAdded support for stack allocation. Check for NULL before calling memory checker.
bdemsky [Mon, 8 Mar 2004 00:28:36 +0000 (00:28 +0000)]
Added support for stack allocation.  Check for NULL before calling memory checker.

18 years agoAdded support for stack allocation...
bdemsky [Mon, 8 Mar 2004 00:27:52 +0000 (00:27 +0000)]
Added support for stack allocation...

18 years agoStill buggy, but getting closer...
bdemsky [Sun, 7 Mar 2004 22:02:43 +0000 (22:02 +0000)]
Still buggy, but getting closer...

18 years agoAdded:
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...

18 years agoRuntime for checker...
bdemsky [Fri, 5 Mar 2004 05:26:51 +0000 (05:26 +0000)]
Runtime for checker...

18 years agoMistake in interface assumptions...
bdemsky [Mon, 1 Mar 2004 17:29:14 +0000 (17:29 +0000)]
Mistake in interface assumptions...

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

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

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

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

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

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

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

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

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

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

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

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

19 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