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