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.
bdemsky [Wed, 27 Oct 2004 19:30:29 +0000 (19:30 +0000)]
Bug fixes for parsing sum expressions.
bdemsky [Wed, 27 Oct 2004 19:04:55 +0000 (19:04 +0000)]
Adding support for sum expressions.
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.
bdemsky [Mon, 25 Oct 2004 00:04:42 +0000 (00:04 +0000)]
Want to zero next "next" pointer, not the one we just wrote.
bdemsky [Sun, 24 Oct 2004 21:36:36 +0000 (21:36 +0000)]
Make recursion a command line option.
bdemsky [Fri, 1 Oct 2004 03:10:29 +0000 (03:10 +0000)]
Hack grammar to add unary minus.
bdemsky [Thu, 30 Sep 2004 19:14:10 +0000 (19:14 +0000)]
Checking in various changes...
bdemsky [Tue, 17 Aug 2004 17:54:26 +0000 (17:54 +0000)]
Bug in the freeciv spec.
bdemsky [Mon, 16 Aug 2004 21:16:16 +0000 (21:16 +0000)]
Bug with time instrumentation code.
bdemsky [Mon, 16 Aug 2004 20:54:16 +0000 (20:54 +0000)]
Change to the spec...missed a consistency property. Adding timing option.
bdemsky [Mon, 16 Aug 2004 20:12:33 +0000 (20:12 +0000)]
Oops..need a cast here.
bdemsky [Mon, 16 Aug 2004 20:00:25 +0000 (20:00 +0000)]
oops...freeVars can return null.
bdemsky [Mon, 16 Aug 2004 17:23:57 +0000 (17:23 +0000)]
Record that we allocated a new object.
bdemsky [Mon, 16 Aug 2004 00:02:59 +0000 (00:02 +0000)]
Oops...forgot the grammar changes...
bdemsky [Sun, 15 Aug 2004 05:48:05 +0000 (05:48 +0000)]
Make sure we create a reasonable large array...and avoid =0 case
bdemsky [Sun, 15 Aug 2004 05:14:18 +0000 (05:14 +0000)]
Improve precision of interference analysis. Allow sizeof(v.r1.r2) expressions.
bdemsky [Sun, 15 Aug 2004 05:13:21 +0000 (05:13 +0000)]
Abiword specification
bdemsky [Sat, 14 Aug 2004 19:58:54 +0000 (19:58 +0000)]
Add additional functionality to Simplehash.
bdemsky [Sat, 14 Aug 2004 05:09:53 +0000 (05:09 +0000)]
Update virtual pointers for C++ code...Various fixes to emit extern declarations.
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.
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.
bdemsky [Tue, 10 Aug 2004 04:32:10 +0000 (04:32 +0000)]
Fixed some analysis problems...
bdemsky [Mon, 9 Aug 2004 16:47:33 +0000 (16:47 +0000)]
Removing various deprecated pieces of code...Fixed some fault checks in AbstractInteferes.
bdemsky [Wed, 4 Aug 2004 20:44:47 +0000 (20:44 +0000)]
More fixes
bdemsky [Tue, 3 Aug 2004 19:43:51 +0000 (19:43 +0000)]
...
bdemsky [Mon, 2 Aug 2004 23:47:13 +0000 (23:47 +0000)]
Fixed some errors in the Repair Generator code.
bdemsky [Mon, 2 Aug 2004 21:42:44 +0000 (21:42 +0000)]
Updates to allow discovering of partial functions
bdemsky [Thu, 29 Jul 2004 22:21:58 +0000 (22:21 +0000)]
Updates to allow repairing backpointers.
bdemsky [Thu, 29 Jul 2004 05:51:02 +0000 (05:51 +0000)]
Updating size computation class.`
bdemsky [Wed, 28 Jul 2004 22:11:10 +0000 (22:11 +0000)]
Added new file.
bdemsky [Tue, 27 Jul 2004 19:17:15 +0000 (19:17 +0000)]
Bug fix...
bdemsky [Tue, 27 Jul 2004 05:43:06 +0000 (05:43 +0000)]
Add updates...
bdemsky [Wed, 21 Jul 2004 05:00:27 +0000 (05:00 +0000)]
Update to analysis.
bdemsky [Tue, 20 Jul 2004 19:17:27 +0000 (19:17 +0000)]
Added needed comments, reorganized some code...
bdemsky [Tue, 20 Jul 2004 05:21:09 +0000 (05:21 +0000)]
Simplify logic
bdemsky [Tue, 20 Jul 2004 02:26:11 +0000 (02:26 +0000)]
Adding readme files
bdemsky [Tue, 20 Jul 2004 02:23:28 +0000 (02:23 +0000)]
Remove old file
bdemsky [Tue, 20 Jul 2004 02:22:39 +0000 (02:22 +0000)]
remove obselete file
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.
bdemsky [Mon, 19 Jul 2004 04:54:18 +0000 (04:54 +0000)]
Remove two files that were never actually used.
bdemsky [Mon, 19 Jul 2004 04:46:39 +0000 (04:46 +0000)]
Allows creation of subgraphs of the dependency graph for debugging purposes.
bdemsky [Sun, 18 Jul 2004 19:20:26 +0000 (19:20 +0000)]
More checkins...
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...
bdemsky [Tue, 13 Jul 2004 22:31:37 +0000 (22:31 +0000)]
Allow list of important structs
bdemsky [Tue, 13 Jul 2004 18:53:05 +0000 (18:53 +0000)]
Update to add padding at the end of structs.
bdemsky [Tue, 13 Jul 2004 07:05:20 +0000 (07:05 +0000)]
fixes to size computation.
bdemsky [Tue, 13 Jul 2004 06:46:03 +0000 (06:46 +0000)]
Fixed arrays some more...
bdemsky [Tue, 13 Jul 2004 05:02:25 +0000 (05:02 +0000)]
improved structure layout generation
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.
bdemsky [Thu, 8 Jul 2004 04:06:46 +0000 (04:06 +0000)]
Calculate correst size for subclass subtyping.
bdemsky [Thu, 8 Jul 2004 03:50:19 +0000 (03:50 +0000)]
Updates to grammar...
bdemsky [Thu, 8 Jul 2004 03:48:35 +0000 (03:48 +0000)]
Invariant Value class
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...
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...
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.
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...
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.
bdemsky [Tue, 18 May 2004 19:11:07 +0000 (19:11 +0000)]
Bugs with generating ands and ors...ahh.
bdemsky [Tue, 18 May 2004 16:46:47 +0000 (16:46 +0000)]
Debug flag bug
bdemsky [Tue, 18 May 2004 16:37:34 +0000 (16:37 +0000)]
C interface to the instrument interface
bdemsky [Tue, 18 May 2004 04:37:21 +0000 (04:37 +0000)]
Need {} around case statements because we define variables...C++ is lame.
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.
bdemsky [Tue, 18 May 2004 04:10:56 +0000 (04:10 +0000)]
Freeciv spec
bdemsky [Tue, 18 May 2004 02:51:28 +0000 (02:51 +0000)]
Filesystem benchmark
bdemsky [Mon, 17 May 2004 22:04:32 +0000 (22:04 +0000)]
Enable quiet output...
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...
bdemsky [Mon, 17 May 2004 21:41:38 +0000 (21:41 +0000)]
Fixed a variety of bugs...
bdemsky [Wed, 12 May 2004 21:40:03 +0000 (21:40 +0000)]
More bugs...
bdemsky [Wed, 12 May 2004 19:03:33 +0000 (19:03 +0000)]
More bug fixes...and debug flags
bdemsky [Tue, 11 May 2004 21:14:26 +0000 (21:14 +0000)]
Code to improve search by pruning certain types of repair..
bdemsky [Tue, 11 May 2004 20:57:57 +0000 (20:57 +0000)]
Various bug fixes.
bdemsky [Tue, 11 May 2004 19:33:49 +0000 (19:33 +0000)]
Forgot to implement this method.
bdemsky [Tue, 11 May 2004 17:12:17 +0000 (17:12 +0000)]
1) Further updates to specifications.
2) Further updates to search algorith.
bdemsky [Mon, 10 May 2004 21:55:09 +0000 (21:55 +0000)]
Improved search....Updated filesystem model. Added -aggressivesearch option.
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...
bdemsky [Thu, 6 May 2004 21:17:45 +0000 (21:17 +0000)]
Moved makelib
bdemsky [Thu, 6 May 2004 21:16:22 +0000 (21:16 +0000)]
Moved the interpreter
bdemsky [Thu, 6 May 2004 20:59:21 +0000 (20:59 +0000)]
Organizing
bdemsky [Thu, 6 May 2004 20:56:32 +0000 (20:56 +0000)]
Cleaning up more files
bdemsky [Thu, 6 May 2004 20:55:24 +0000 (20:55 +0000)]
Checking in specs
bdemsky [Thu, 6 May 2004 20:54:36 +0000 (20:54 +0000)]
Moving these
bdemsky [Thu, 6 May 2004 20:53:22 +0000 (20:53 +0000)]
Useless files
bdemsky [Thu, 6 May 2004 20:50:17 +0000 (20:50 +0000)]
These files aren't useful.
bdemsky [Thu, 6 May 2004 20:43:46 +0000 (20:43 +0000)]
size.h is automatically generated
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...
bdemsky [Thu, 6 May 2004 06:09:55 +0000 (06:09 +0000)]
Random small changes...
bdemsky [Thu, 6 May 2004 02:05:51 +0000 (02:05 +0000)]
Lots of bugfixes...
bdemsky [Fri, 30 Apr 2004 21:01:35 +0000 (21:01 +0000)]
Added array bounds checks...
bdemsky [Fri, 30 Apr 2004 04:28:22 +0000 (04:28 +0000)]
Should do array index calculations...Wonder if it works correctly?
cristic [Thu, 29 Apr 2004 20:05:08 +0000 (20:05 +0000)]
Don't need "Did you mean literal(...)?" anymore.
bdemsky [Thu, 29 Apr 2004 16:32:08 +0000 (16:32 +0000)]
*** empty log message ***
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.
bdemsky [Tue, 27 Apr 2004 21:33:04 +0000 (21:33 +0000)]
Bug in the analysis...oops
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).
cristic [Mon, 26 Apr 2004 20:44:56 +0000 (20:44 +0000)]
Adding functionality for printing sets.
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
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.
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)
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.
projects / repair.git / log