small change2006-09-08T01:58:55Zbdemskybdemskybdemskybdemsky2006-09-08T01:58:55Zhttp://plrg.eecs.uci.edu/git/?p=repair.git;a=commitdiff;h=b6433726e9c4a3633ff52daadfae3fd3872b2f58
return flag to indicate errors2006-09-08T01:05:42Zbdemskybdemskybdemskybdemsky2006-09-08T01:05:42Zhttp://plrg.eecs.uci.edu/git/?p=repair.git;a=commitdiff;h=7490e10346ba060181a5ff8072c6828a98730ec2
small changes2006-09-06T15:38:49Zbdemskybdemskybdemskybdemsky2006-09-06T15:38:49Zhttp://plrg.eecs.uci.edu/git/?p=repair.git;a=commitdiff;h=84c8d11d9ae9b0c0d1744505a689b80131596623
let command line define flags optionally2006-09-06T13:43:53Zbdemskybdemskybdemskybdemsky2006-09-06T13:43:53Zhttp://plrg.eecs.uci.edu/git/?p=repair.git;a=commitdiff;h=9df765264fbe08940e8db8146ea8097733df06cf
build with other copy2006-09-06T13:40:34Zbdemskybdemskybdemskybdemsky2006-09-06T13:40:34Zhttp://plrg.eecs.uci.edu/git/?p=repair.git;a=commitdiff;h=c46b18a40c6c6124c487b1cd47b288d65e25be6c
check in changes to allow [this.length] into grammar2006-08-30T00:18:53Zbdemskybdemskybdemskybdemsky2006-08-30T00:18:53Zhttp://plrg.eecs.uci.edu/git/?p=repair.git;a=commitdiff;h=807c1e56d4ddf91071562948235e37393c4b9bba
check in changes to allow [this.length] into grammar
Add option to remove conjunctions.2005-11-09T21:07:04Zbdemskybdemskybdemskybdemsky2005-11-09T21:07:04Zhttp://plrg.eecs.uci.edu/git/?p=repair.git;a=commitdiff;h=96c9ce9856172bd1636c70d2e05786a72fa9027e
Changes to allow unique names2005-11-09T16:48:14Zbdemskybdemskybdemskybdemsky2005-11-09T16:48:14Zhttp://plrg.eecs.uci.edu/git/?p=repair.git;a=commitdiff;h=e8e7caf9f4a4e0c49fdfe97fc529703ebd8a4d8c
Hack to fix naming issues.2005-11-04T18:20:36Zbdemskybdemskybdemskybdemsky2005-11-04T18:20:36Zhttp://plrg.eecs.uci.edu/git/?p=repair.git;a=commitdiff;h=4c6dc9d17d8ae18add3fede0f0dec1a8f250afdb
Fixed 0 case I think.2005-10-19T19:48:33Zbdemskybdemskybdemskybdemsky2005-10-19T19:48:33Zhttp://plrg.eecs.uci.edu/git/?p=repair.git;a=commitdiff;h=6d0071755eb47752e4d2d731865a5c477cb64b60
Hacks to allow repairs of fields used to define layouts of arrays.2005-10-17T00:29:51Zbdemskybdemskybdemskybdemsky2005-10-17T00:29:51Zhttp://plrg.eecs.uci.edu/git/?p=repair.git;a=commitdiff;h=b8ce029bda61ce5f768d8b1603f2ec1c9c7e2360
Hacks to allow repairs of fields used to define layouts of arrays.
New option -printrepair added. Prints updates to data structures.2005-10-14T18:34:28Zbdemskybdemskybdemskybdemsky2005-10-14T18:34:28Zhttp://plrg.eecs.uci.edu/git/?p=repair.git;a=commitdiff;h=15be88521357bb3abffcd7273d7c9779daa53f1f
New option -printrepair added. Prints updates to data structures.
2 bug fixes to getRequiredConstraints2005-10-12T17:49:01Zbdemskybdemskybdemskybdemsky2005-10-12T17:49:01Zhttp://plrg.eecs.uci.edu/git/?p=repair.git;a=commitdiff;h=87862c69c1cb47c83a858f0b6e52d9c0bc25913f
2 bug fixes to getRequiredConstraints
added option to reject updates that change the layout of objects.
2 bug fixes to getRequiredConstraints2005-10-12T17:43:10Zbdemskybdemskybdemskybdemsky2005-10-12T17:43:10Zhttp://plrg.eecs.uci.edu/git/?p=repair.git;a=commitdiff;h=721bacd23e2b11ad31084b223dc1822c1e647eca
2 bug fixes to getRequiredConstraints
added option to reject updates that change the layout of objects.