bdemsky [Fri, 4 Nov 2005 18:20:36 +0000 (18:20 +0000)]
Hack to fix naming issues.
bdemsky [Wed, 19 Oct 2005 19:48:33 +0000 (19:48 +0000)]
Fixed 0 case I think.
bdemsky [Mon, 17 Oct 2005 19:31:06 +0000 (19:31 +0000)]
return reasonable error codes
bdemsky [Mon, 17 Oct 2005 00:29:51 +0000 (00:29 +0000)]
Hacks to allow repairs of fields used to define layouts of arrays.
bdemsky [Fri, 14 Oct 2005 18:34:28 +0000 (18:34 +0000)]
New option -printrepair added. Prints updates to data structures.
bdemsky [Wed, 12 Oct 2005 17:49:01 +0000 (17:49 +0000)]
2 bug fixes to getRequiredConstraints
added option to reject updates that change the layout of objects.
bdemsky [Wed, 12 Oct 2005 17:43:10 +0000 (17:43 +0000)]
2 bug fixes to getRequiredConstraints
added option to reject updates that change the layout of objects.
bdemsky [Mon, 10 Oct 2005 02:49:22 +0000 (02:49 +0000)]
don't call the typemap with value 0
bdemsky [Mon, 10 Oct 2005 02:37:23 +0000 (02:37 +0000)]
fix typo.
bdemsky [Mon, 10 Oct 2005 02:32:59 +0000 (02:32 +0000)]
stupid bugs in our realloc function fixed
bdemsky [Thu, 6 Oct 2005 06:08:11 +0000 (06:08 +0000)]
fix generation of graph files
bdemsky [Wed, 5 Oct 2005 10:14:29 +0000 (10:14 +0000)]
Added minimum size analysis.
Improved safe check in DotExpr.
Changed naming scheme in dumpstructures.
Fixed bug in must/cant node analysis
bdemsky [Sun, 2 Oct 2005 06:20:16 +0000 (06:20 +0000)]
Quantifier bugs.
bdemsky [Sun, 2 Oct 2005 05:14:41 +0000 (05:14 +0000)]
Quantifiers use relations!!!
bdemsky [Fri, 30 Sep 2005 06:18:48 +0000 (06:18 +0000)]
Small changes to allow:
empty structure definitions
better debugging support
bdemsky [Fri, 30 Sep 2005 05:07:01 +0000 (05:07 +0000)]
Name typedefs
bdemsky [Thu, 2 Jun 2005 20:26:27 +0000 (20:26 +0000)]
Rewrote safetransclosure method so its obvious it is correct.
bdemsky [Wed, 1 Jun 2005 05:45:44 +0000 (05:45 +0000)]
Small improvement.
bdemsky [Wed, 1 Jun 2005 05:07:52 +0000 (05:07 +0000)]
Fixed transitive closure computation.
bdemsky [Tue, 31 May 2005 18:10:10 +0000 (18:10 +0000)]
Added more comments. Fixed some bugs.
bdemsky [Sun, 20 Feb 2005 20:38:05 +0000 (20:38 +0000)]
Make merging nodes an option.
bdemsky [Sun, 20 Feb 2005 20:31:28 +0000 (20:31 +0000)]
Make merging nodes an option.
bdemsky [Fri, 4 Feb 2005 20:15:39 +0000 (20:15 +0000)]
Options to print prettier graphs...
bdemsky [Mon, 24 Jan 2005 18:41:54 +0000 (18:41 +0000)]
Committing pretty printer fix.
bdemsky [Thu, 9 Dec 2004 20:33:12 +0000 (20:33 +0000)]
update readme
bdemsky [Thu, 9 Dec 2004 20:31:41 +0000 (20:31 +0000)]
add simple file benchmark for users.
bdemsky [Wed, 10 Nov 2004 05:44:43 +0000 (05:44 +0000)]
1) Fixed some bugs in the redblack tree implementation...removing a non-present node resulted in a segfault.
2) Fixed bug in constructbindings method.
bdemsky [Tue, 9 Nov 2004 21:32:38 +0000 (21:32 +0000)]
Fixed some bugs...
bdemsky [Tue, 9 Nov 2004 20:26:57 +0000 (20:26 +0000)]
Forgot to do the replacement
bdemsky [Tue, 9 Nov 2004 20:23:25 +0000 (20:23 +0000)]
Adding Daikon related stuff.
bdemsky [Tue, 9 Nov 2004 18:58:18 +0000 (18:58 +0000)]
Added support for dynamically allocated arrays.
bdemsky [Tue, 9 Nov 2004 16:51:28 +0000 (16:51 +0000)]
Updates to check in.
bdemsky [Mon, 8 Nov 2004 01:48:32 +0000 (01:48 +0000)]
Improved termination analysis so that daikon generated specifications won't have problems.
bdemsky [Sun, 7 Nov 2004 01:19:30 +0000 (01:19 +0000)]
Some embarrassing erros. The DNF conversion for negation wasn't
working quite right. Printing negation a little more clearly. Fixed
a problem with the termination analysis (it was too conservative).
bdemsky [Tue, 2 Nov 2004 22:59:39 +0000 (22:59 +0000)]
Fix grammar and Sum bug.
bdemsky [Tue, 2 Nov 2004 21:03:20 +0000 (21:03 +0000)]
Generalize definition of SumExpr a little...Lets sum all elements of
the set S.R...
Brian
bdemsky [Mon, 1 Nov 2004 03:28:30 +0000 (03:28 +0000)]
Fixed a memory leak in the runtime...Print neater text.
bdemsky [Mon, 1 Nov 2004 02:26:53 +0000 (02:26 +0000)]
bug..forgot to return value
bdemsky [Mon, 1 Nov 2004 01:51:23 +0000 (01:51 +0000)]
Various bug fixes related to the C switch.
bdemsky [Sat, 30 Oct 2004 23:04:31 +0000 (23:04 +0000)]
Accidentally checked this file in...removing it now.
bdemsky [Sat, 30 Oct 2004 21:01:37 +0000 (21:01 +0000)]
Completed support for generating C code.
bdemsky [Sat, 30 Oct 2004 01:13:26 +0000 (01:13 +0000)]
Checking in changes that:
1) Generate C99 code instead of C++ code. The code should still work with a C++ compiler.
2) PrintWrapper class to enable putting declarations at top of
functions so we can make old versions of gcc work.
bdemsky [Thu, 28 Oct 2004 19:34:51 +0000 (19:34 +0000)]
revert runtime file.
bdemsky [Thu, 28 Oct 2004 19:33:05 +0000 (19:33 +0000)]
Revert changes.
bdemsky [Thu, 28 Oct 2004 19:30:54 +0000 (19:30 +0000)]
Accidentally checked in code.
bdemsky [Thu, 28 Oct 2004 19:29:04 +0000 (19:29 +0000)]
Checking in C runtime.
bdemsky [Thu, 28 Oct 2004 19:26:25 +0000 (19:26 +0000)]
New C Runtime.
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
projects / repair.git / log