projects
/
repair.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Checking in changes that:
[repair.git]
/
Repair
/
RepairCompiler
/
MCC
/
IR
/
2004-10-30
bdemsky
Checking in changes that:
tree
|
commitdiff
2004-10-27
bdemsky
Generate code to compute the sum.
tree
|
commitdiff
2004-10-27
bdemsky
Bug fixes for parsing sum expressions.
tree
|
commitdiff
2004-10-27
bdemsky
Adding support for sum expressions.
tree
|
commitdiff
2004-09-30
bdemsky
Checking in various changes...
tree
|
commitdiff
2004-08-16
bdemsky
Bug with time instrumentation code.
tree
|
commitdiff
2004-08-16
bdemsky
Change to the spec...missed a consistency property...
tree
|
commitdiff
2004-08-16
bdemsky
Oops..need a cast here.
tree
|
commitdiff
2004-08-16
bdemsky
oops...freeVars can return null.
tree
|
commitdiff
2004-08-16
bdemsky
Record that we allocated a new object.
tree
|
commitdiff
2004-08-15
bdemsky
Improve precision of interference analysis. Allow...
tree
|
commitdiff
2004-08-14
bdemsky
Update virtual pointers for C++ code...Various fixes...
tree
|
commitdiff
2004-08-13
bdemsky
Adding the -cplusplus option. This option writes virua...
tree
|
commitdiff
2004-08-12
bdemsky
Improved precision of computation of maximum set sizes...
tree
|
commitdiff
2004-08-10
bdemsky
Fixed some analysis problems...
tree
|
commitdiff
2004-08-09
bdemsky
Removing various deprecated pieces of code...Fixed...
tree
|
commitdiff
2004-08-04
bdemsky
More fixes
tree
|
commitdiff
2004-08-03
bdemsky
...
tree
|
commitdiff
2004-08-02
bdemsky
Fixed some errors in the Repair Generator code.
tree
|
commitdiff
2004-08-02
bdemsky
Updates to allow discovering of partial functions
tree
|
commitdiff
2004-07-29
bdemsky
Updates to allow repairing backpointers.
tree
|
commitdiff
2004-07-29
bdemsky
Updating size computation class.`
tree
|
commitdiff
2004-07-28
bdemsky
Added new file.
tree
|
commitdiff
2004-07-27
bdemsky
Bug fix...
tree
|
commitdiff
2004-07-27
bdemsky
Add updates...
tree
|
commitdiff
2004-07-21
bdemsky
Update to analysis.
tree
|
commitdiff
2004-07-20
bdemsky
Added needed comments, reorganized some code...
tree
|
commitdiff
2004-07-20
bdemsky
Simplify logic
tree
|
commitdiff
2004-07-20
bdemsky
This checkin eliminates cases in which the repair algor...
tree
|
commitdiff
2004-07-19
bdemsky
Remove two files that were never actually used.
tree
|
commitdiff
2004-07-19
bdemsky
Allows creation of subgraphs of the dependency graph...
tree
|
commitdiff
2004-07-18
bdemsky
More checkins...
tree
|
commitdiff
2004-07-14
bdemsky
Changes:
tree
|
commitdiff
2004-07-08
bdemsky
Calculate correst size for subclass subtyping.
tree
|
commitdiff
2004-07-08
bdemsky
Updates to grammar...
tree
|
commitdiff
2004-07-08
bdemsky
Invariant Value class
tree
|
commitdiff
2004-05-31
bdemsky
This should make Cristian a happy person... We do...
tree
|
commitdiff
2004-05-31
bdemsky
1) Instrumentation code to count model rebuilds, etc...
tree
|
commitdiff
2004-05-19
bdemsky
Fixed inteferes bug, improved precision of other analys...
tree
|
commitdiff
2004-05-19
bdemsky
Worklist items from a previous model build stay in...
tree
|
commitdiff
2004-05-18
bdemsky
Bugs with generating ands and ors...ahh.
tree
|
commitdiff
2004-05-18
bdemsky
Need {} around case statements because we define variab...
tree
|
commitdiff
2004-05-18
bdemsky
Bugs:
tree
|
commitdiff
2004-05-17
bdemsky
getrelation2 can return 0 in cases of a relation that...
tree
|
commitdiff
2004-05-17
bdemsky
Fixed a variety of bugs...
tree
|
commitdiff
2004-05-12
bdemsky
More bugs...
tree
|
commitdiff
2004-05-12
bdemsky
More bug fixes...and debug flags
tree
|
commitdiff
2004-05-11
bdemsky
Code to improve search by pruning certain types of...
tree
|
commitdiff
2004-05-11
bdemsky
1) Further updates to specifications.
tree
|
commitdiff
2004-05-10
bdemsky
Improved search....Updated filesystem model. Added...
tree
|
commitdiff
2004-05-09
bdemsky
1) Added useDescriptor method to Expr's.
tree
|
commitdiff
2004-05-06
bdemsky
1) Checking in filesystem example
tree
|
commitdiff
2004-05-06
bdemsky
Random small changes...
tree
|
commitdiff
2004-05-06
bdemsky
Lots of bugfixes...
tree
|
commitdiff
2004-04-30
bdemsky
Added array bounds checks...
tree
|
commitdiff
2004-04-30
bdemsky
Should do array index calculations...Wonder if it works...
tree
|
commitdiff
2004-04-29
bdemsky
*** empty log message ***
tree
|
commitdiff
2004-04-29
bdemsky
Added improvements to ImplicitSchema analysis, bug...
tree
|
commitdiff
2004-04-27
bdemsky
Bug in the analysis...oops
tree
|
commitdiff
2004-04-27
bdemsky
Added array analysis (computes paths used to add elemen...
tree
|
commitdiff
2004-04-26
cristic
Adding functionality for printing sets.
tree
|
commitdiff
2004-04-22
bdemsky
Added code to correctly order checks...
tree
|
commitdiff
2004-04-21
bdemsky
Changes:
tree
|
commitdiff
2004-04-19
bdemsky
Update:
tree
|
commitdiff
2004-04-17
bdemsky
Added code to compute maximum sizes of sets. So we...
tree
|
commitdiff
2004-04-16
cristic
Another bug of cristians
tree
|
commitdiff
2004-04-16
cristic
Fixed cristian bug
tree
|
commitdiff
2004-04-16
cristic
More bugs fixed.
tree
|
commitdiff
2004-04-16
bdemsky
Cristian bug fixes.
tree
|
commitdiff
2004-04-16
bdemsky
Fixed some bugs in the analysis.
tree
|
commitdiff
2004-04-16
bdemsky
Additional enhancements to compute mustremove and cantr...
tree
|
commitdiff
2004-04-15
cristic
Nicer semantic error messages, removed duplicates.
tree
|
commitdiff
2004-04-15
bdemsky
Checking in some checks...
tree
|
commitdiff
2004-04-15
bdemsky
Committing changes to leftsize->rightSize, more comment...
tree
|
commitdiff
2004-04-15
bdemsky
Started adding analysis for modifyrelation nodes.
tree
|
commitdiff
2004-04-15
bdemsky
Bug fixes to make Cristian happy...
tree
|
commitdiff
2004-04-14
bdemsky
We don't obey this constraint...
tree
|
commitdiff
2004-04-14
cristic
Some modifications to allow to print the name of the...
tree
|
commitdiff
2004-04-06
bdemsky
Made flag work for checking only...Added support for...
tree
|
commitdiff
2004-04-02
bdemsky
Compute strongly connected components of model rules...
tree
|
commitdiff
2004-04-01
bdemsky
Replaced findcycles method with something more efficien...
tree
|
commitdiff
2004-04-01
bdemsky
Added Strongly Connected Component support into GraphNodes.
tree
|
commitdiff
2004-03-10
bdemsky
Fix random errors/typos...
tree
|
commitdiff
2004-03-10
bdemsky
Added:
tree
|
commitdiff
2004-03-08
bdemsky
Added support for stack allocation. Check for NULL...
tree
|
commitdiff
2004-03-07
bdemsky
Added:
tree
|
commitdiff
2004-03-01
bdemsky
Mistake in interface assumptions...
tree
|
commitdiff
2004-03-01
bdemsky
*** empty log message ***
tree
|
commitdiff
2004-02-27
bdemsky
Creating a runtime directory...
tree
|
commitdiff
2004-02-27
bdemsky
Dan was leaking memory via iterators... This leak...
tree
|
commitdiff
2004-02-27
bdemsky
Checking in super-optimized SimpleHash code... Good...
tree
|
commitdiff
2004-02-26
bdemsky
Adding test case & bug fixes to generate code for test...
tree
|
commitdiff
2004-02-26
bdemsky
Fixed Dan's confusion regarding alignment of fields...
tree
|
commitdiff
2004-02-25
bdemsky
Checking in code that:
tree
|
commitdiff
2004-02-25
bdemsky
Updating files...
tree
|
commitdiff
2004-02-17
bdemsky
These checking do the reconstruction of the model and...
tree
|
commitdiff
2004-02-12
bdemsky
Adding code to generate repair algorithms. Its not...
tree
|
commitdiff
2004-02-06
bdemsky
Checking in code to perform safety checks on repair...
tree
|
commitdiff
2004-02-05
bdemsky
Added support to printout data structure update nodes...
tree
|
commitdiff
2004-02-04
bdemsky
Adding changes to cvs...
tree
|
commitdiff
next