bdemsky [Wed, 20 Sep 2006 20:40:09 +0000 (20:40 +0000)]
forgot file
bdemsky [Fri, 8 Sep 2006 01:58:55 +0000 (01:58 +0000)]
small change
bdemsky [Fri, 8 Sep 2006 01:05:42 +0000 (01:05 +0000)]
return flag to indicate errors
bdemsky [Wed, 6 Sep 2006 21:36:32 +0000 (21:36 +0000)]
Modify Generators to allow multiple specs
bdemsky [Wed, 6 Sep 2006 15:38:49 +0000 (15:38 +0000)]
small changes
bdemsky [Wed, 6 Sep 2006 13:43:53 +0000 (13:43 +0000)]
let command line define flags optionally
bdemsky [Wed, 6 Sep 2006 13:40:34 +0000 (13:40 +0000)]
build with other copy
bdemsky [Wed, 30 Aug 2006 00:18:53 +0000 (00:18 +0000)]
check in changes to allow [this.length] into grammar
bdemsky [Sat, 13 May 2006 00:01:07 +0000 (00:01 +0000)]
change
root [Fri, 12 May 2006 23:58:38 +0000 (23:58 +0000)]
change
bdemsky [Fri, 12 May 2006 23:54:30 +0000 (23:54 +0000)]
change
root [Fri, 12 May 2006 23:53:29 +0000 (23:53 +0000)]
*** empty log message ***
root [Fri, 12 May 2006 23:50:54 +0000 (23:50 +0000)]
change
root [Fri, 12 May 2006 23:44:35 +0000 (23:44 +0000)]
change checked in
root [Fri, 12 May 2006 23:22:34 +0000 (23:22 +0000)]
Remove readme file...
root [Fri, 12 May 2006 23:21:22 +0000 (23:21 +0000)]
checked in changes
root [Fri, 12 May 2006 23:19:36 +0000 (23:19 +0000)]
Check in logging scripts
root [Mon, 30 Jan 2006 21:34:18 +0000 (21:34 +0000)]
initial checkin
root [Mon, 30 Jan 2006 21:34:17 +0000 (21:34 +0000)]
initial checkin
bdemsky [Wed, 9 Nov 2005 21:07:04 +0000 (21:07 +0000)]
Add option to remove conjunctions.
bdemsky [Wed, 9 Nov 2005 16:48:14 +0000 (16:48 +0000)]
Changes to allow unique names
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...
projects / repair.git / log