projects
/
IRC.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
model the allocation of string literals in heap analysis
[IRC.git]
/
Robust
/
src
/
Analysis
/
Disjoint
/
ExistPredSet.java
2011-04-27
bdemsky
switch to spaces only..
blob
|
commitdiff
|
raw
2011-04-27
bdemsky
Fix tabbing.... Please fix your editors so they do...
blob
|
commitdiff
|
raw
|
diff to current
2010-03-25
jjenista
new Canonical hash and equals, also running with assert...
blob
|
commitdiff
|
raw
|
diff to current
2010-03-25
jjenista
print preds stacked for DOT
blob
|
commitdiff
|
raw
|
diff to current
2010-03-25
jjenista
bug fixes
blob
|
commitdiff
|
raw
|
diff to current
2010-03-24
jjenista
bug fix in evaluating the various classes of out-of...
blob
|
commitdiff
|
raw
|
diff to current
2010-03-19
jjenista
make sure change sets ignore predicates hanging off...
blob
|
commitdiff
|
raw
|
diff to current
2010-03-10
jjenista
big checkin, lots of call site transfer bug fixes,...
blob
|
commitdiff
|
raw
|
diff to current
2010-03-09
jjenista
callee elements brought into caller get predicates...
blob
|
commitdiff
|
raw
|
diff to current
2010-02-23
jjenista
system stable, call site transform wipes out graphs...
blob
|
commitdiff
|
raw
|
diff to current
2010-02-22
jjenista
bug fix, was too aggressive with equals method for...
blob
|
commitdiff
|
raw
|
diff to current
2010-02-19
jjenista
squashing bugs
blob
|
commitdiff
|
raw
|
diff to current
2010-02-19
jjenista
big update--bringing implementation of new analysis...
blob
|
commitdiff
|
raw
|
diff to current
2010-02-11
jjenista
reevaluating abstract garbage collection, for now leave...
blob
|
commitdiff
|
raw
|
diff to current
2010-02-04
jjenista
implementing
blob
|
commitdiff
|
raw
|
diff to current
2010-02-02
jjenista
implementing
blob
|
commitdiff
|
raw
|
diff to current
2010-01-20
jjenista
bug fix: do dynamic tracking when a variable's source...
blob
|
commitdiff
|
raw
|
diff to current