projects
/
IRC.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
run ooojava and rcrpointer that print out effects and annotate them with the source...
[IRC.git]
/
Robust
/
src
/
Analysis
/
Disjoint
/
HeapRegionNode.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-05-26
jjenista
porting effects analysis to new disjoint analysis
blob
|
commitdiff
|
raw
|
diff to current
2010-04-02
jjenista
working on bugs, sharing file output updates
blob
|
commitdiff
|
raw
|
diff to current
2010-03-25
jjenista
fixing the heap region descriptions not a pressing...
blob
|
commitdiff
|
raw
|
diff to current
2010-03-25
jjenista
print preds stacked for DOT
blob
|
commitdiff
|
raw
|
diff to current
2010-03-22
jjenista
fix bug that a hrn ID integer and a boolean out-of...
blob
|
commitdiff
|
raw
|
diff to current
2010-03-22
jjenista
bug fixes: if an out-of-context edge in callee has...
blob
|
commitdiff
|
raw
|
diff to current
2010-03-15
jjenista
lots of untested code, but compiles, for attaching...
blob
|
commitdiff
|
raw
|
diff to current
2010-03-10
jjenista
out-of-context edges prevent convergence...
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-02-22
jjenista
bug fix, was too aggressive with equals method for...
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-04
jjenista
implementing
blob
|
commitdiff
|
raw
|
diff to current
2010-02-02
jjenista
implementing
blob
|
commitdiff
|
raw
|
diff to current
2010-01-07
jjenista
more implementation
blob
|
commitdiff
|
raw
|
diff to current
2010-01-06
jjenista
more implementation
blob
|
commitdiff
|
raw
|
diff to current
2010-01-06
jjenista
more implementation
blob
|
commitdiff
|
raw
|
diff to current
2009-12-10
jjenista
Stable compile finally, but system crashing in mid...
blob
|
commitdiff
|
raw
|
diff to current
2009-12-09
jjenista
changes
blob
|
commitdiff
|
raw
|
diff to current
2009-12-02
jjenista
start of a revised disjoint reachability analysis
blob
|
commitdiff
|
raw
|
diff to current
projects / IRC.git / history