projects
/
repair.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
...
[repair.git]
/
Repair
/
RepairCompiler
/
MCC
/
IR
/
RepairGenerator.java
2004-08-03
bdemsky
...
blob
|
commitdiff
|
raw
2004-08-02
bdemsky
Fixed some errors in the Repair Generator code.
blob
|
commitdiff
|
raw
|
diff to current
2004-05-31
bdemsky
This should make Cristian a happy person... We do...
blob
|
commitdiff
|
raw
|
diff to current
2004-05-31
bdemsky
1) Instrumentation code to count model rebuilds, etc...
blob
|
commitdiff
|
raw
|
diff to current
2004-05-19
bdemsky
Worklist items from a previous model build stay in...
blob
|
commitdiff
|
raw
|
diff to current
2004-05-18
bdemsky
Need {} around case statements because we define variab...
blob
|
commitdiff
|
raw
|
diff to current
2004-05-18
bdemsky
Bugs:
blob
|
commitdiff
|
raw
|
diff to current
2004-05-17
bdemsky
getrelation2 can return 0 in cases of a relation that...
blob
|
commitdiff
|
raw
|
diff to current
2004-05-17
bdemsky
Fixed a variety of bugs...
blob
|
commitdiff
|
raw
|
diff to current
2004-05-12
bdemsky
More bug fixes...and debug flags
blob
|
commitdiff
|
raw
|
diff to current
2004-05-11
bdemsky
1) Further updates to specifications.
blob
|
commitdiff
|
raw
|
diff to current
2004-05-06
bdemsky
Lots of bugfixes...
blob
|
commitdiff
|
raw
|
diff to current
2004-04-29
bdemsky
Added improvements to ImplicitSchema analysis, bug...
blob
|
commitdiff
|
raw
|
diff to current
2004-04-26
cristic
Adding functionality for printing sets.
blob
|
commitdiff
|
raw
|
diff to current
2004-04-22
bdemsky
Added code to correctly order checks...
blob
|
commitdiff
|
raw
|
diff to current
2004-04-21
bdemsky
Changes:
blob
|
commitdiff
|
raw
|
diff to current
2004-04-17
bdemsky
Added code to compute maximum sizes of sets. So we...
blob
|
commitdiff
|
raw
|
diff to current
2004-04-16
cristic
Another bug of cristians
blob
|
commitdiff
|
raw
|
diff to current
2004-04-16
cristic
Fixed cristian bug
blob
|
commitdiff
|
raw
|
diff to current
2004-04-16
cristic
More bugs fixed.
blob
|
commitdiff
|
raw
|
diff to current
2004-04-16
bdemsky
Cristian bug fixes.
blob
|
commitdiff
|
raw
|
diff to current
2004-04-15
bdemsky
Committing changes to leftsize->rightSize, more comment...
blob
|
commitdiff
|
raw
|
diff to current
2004-04-15
bdemsky
Started adding analysis for modifyrelation nodes.
blob
|
commitdiff
|
raw
|
diff to current
2004-04-15
bdemsky
Bug fixes to make Cristian happy...
blob
|
commitdiff
|
raw
|
diff to current
2004-04-06
bdemsky
Made flag work for checking only...Added support for...
blob
|
commitdiff
|
raw
|
diff to current
2004-04-02
bdemsky
Compute strongly connected components of model rules...
blob
|
commitdiff
|
raw
|
diff to current
2004-03-10
bdemsky
Fix random errors/typos...
blob
|
commitdiff
|
raw
|
diff to current
2004-03-10
bdemsky
Added:
blob
|
commitdiff
|
raw
|
diff to current
2004-03-08
bdemsky
Added support for stack allocation. Check for NULL...
blob
|
commitdiff
|
raw
|
diff to current
2004-03-07
bdemsky
Added:
blob
|
commitdiff
|
raw
|
diff to current
2004-02-27
bdemsky
Creating a runtime directory...
blob
|
commitdiff
|
raw
|
diff to current
2004-02-26
bdemsky
Adding test case & bug fixes to generate code for test...
blob
|
commitdiff
|
raw
|
diff to current
2004-02-26
bdemsky
Fixed Dan's confusion regarding alignment of fields...
blob
|
commitdiff
|
raw
|
diff to current
2004-02-25
bdemsky
Checking in code that:
blob
|
commitdiff
|
raw
|
diff to current
2004-02-25
bdemsky
Updating files...
blob
|
commitdiff
|
raw
|
diff to current
2004-02-17
bdemsky
These checking do the reconstruction of the model and...
blob
|
commitdiff
|
raw
|
diff to current
2004-02-12
bdemsky
Adding code to generate repair algorithms. Its not...
blob
|
commitdiff
|
raw
|
diff to current
projects / repair.git / history