projects
/
IRC.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
IRC.git
2012-03-22
yeom
changes on inference
commit
|
commitdiff
|
tree
|
snapshot
2012-03-22
yeom
add a new test case for inference
commit
|
commitdiff
|
tree
|
snapshot
2012-03-21
yeom
changes and data/eval files for new evaluations
commit
|
commitdiff
|
tree
|
snapshot
2012-03-21
jzhou
Implement Thread.getThreadLocals() and Thread.currentTh...
commit
|
commitdiff
|
tree
|
snapshot
2012-03-09
yeom
raw numbers from error injection evaluations
commit
|
commitdiff
|
tree
|
snapshot
2012-03-07
yeom
raw evaluation numbers for the mp3decoder
commit
|
commitdiff
|
tree
|
snapshot
2012-03-06
yeom
add batch-mode script
commit
|
commitdiff
|
tree
|
snapshot
2012-02-24
bdemsky
change example for now...
commit
|
commitdiff
|
tree
|
snapshot
2012-02-24
yeom
add a simplifed bh.
commit
|
commitdiff
|
tree
|
snapshot
2012-02-17
yeom
changes.
commit
|
commitdiff
|
tree
|
snapshot
2012-02-17
yeom
add new compilation flag -ssjavainfer for the location...
commit
|
commitdiff
|
tree
|
snapshot
2012-02-17
yeom
setup some interfaces & skeleton codes for Adrian's...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-27
jjenista
new version of experiments
commit
|
commitdiff
|
tree
|
snapshot
2012-01-27
jjenista
my laptop is a billion versions of bash ahead of the...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-27
jjenista
little twiddles for kmeans investigation
commit
|
commitdiff
|
tree
|
snapshot
2012-01-25
jjenista
set up to count graph elements over every final graph...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-25
jjenista
line numbers for allocation sites not propagating to...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-24
jjenista
didnt get what I wanted before
commit
|
commitdiff
|
tree
|
snapshot
2012-01-24
jjenista
bits to help investigate node count changing
commit
|
commitdiff
|
tree
|
snapshot
2012-01-20
jzhou
changes to MGC classlibrary
commit
|
commitdiff
|
tree
|
snapshot
2012-01-20
jjenista
running new experiments
commit
|
commitdiff
|
tree
|
snapshot
2012-01-20
yeom
have another way to assign a THIS LOCATION to method...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-18
jzhou
changes to MGC class library
commit
|
commitdiff
|
tree
|
snapshot
2012-01-17
jjenista
predicates are not feasible to flip on and off. The...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-17
jjenista
fix up summarize-per-class mode
commit
|
commitdiff
|
tree
|
snapshot
2012-01-17
jjenista
get set up for experiment: test impact of disabling...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-09
jjenista
defreach experiment
commit
|
commitdiff
|
tree
|
snapshot
2012-01-09
jjenista
convergence test for defreach
commit
|
commitdiff
|
tree
|
snapshot
2012-01-06
jjenista
this little example only parallelizes for oooj with...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-06
jzhou
add System.nanoTimes() support in MGC version
commit
|
commitdiff
|
tree
|
snapshot
2012-01-06
jjenista
get this dir too
commit
|
commitdiff
|
tree
|
snapshot
2012-01-06
jjenista
not working out like I wanted
commit
|
commitdiff
|
tree
|
snapshot
2012-01-06
jjenista
a useful example that needs defreach
commit
|
commitdiff
|
tree
|
snapshot
2012-01-06
jjenista
tweaks for running definite reach
commit
|
commitdiff
|
tree
|
snapshot
2012-01-05
jzhou
remove the '$' in the C code as tilera does not allow it
commit
|
commitdiff
|
tree
|
snapshot
2012-01-04
jzhou
remove the '$' in the C code as tilera does not allow it
commit
|
commitdiff
|
tree
|
snapshot
2011-12-30
jzhou
accidentally changed this makefile, roll it back
commit
|
commitdiff
|
tree
|
snapshot
2011-12-30
jzhou
changes to classes
commit
|
commitdiff
|
tree
|
snapshot
2011-12-28
jzhou
changes to MGC class library
commit
|
commitdiff
|
tree
|
snapshot
2011-12-21
jzhou
Another bug fix for inner class code: when trying to...
commit
|
commitdiff
|
tree
|
snapshot
2011-12-20
jzhou
Fix some inner class related bugs: 1) whenever a class...
commit
|
commitdiff
|
tree
|
snapshot
2011-12-16
yeom
test case for the ownership checking
commit
|
commitdiff
|
tree
|
snapshot
2011-12-16
jzhou
changes to MGC class library
commit
|
commitdiff
|
tree
|
snapshot
2011-12-15
yeom
Finally, all benchmarks pass the definitely written...
commit
|
commitdiff
|
tree
|
snapshot
2011-12-15
yeom
New shared loc analysis found a shared location that...
commit
|
commitdiff
|
tree
|
snapshot
2011-12-15
jzhou
changes to MGC class library
commit
|
commitdiff
|
tree
|
snapshot
2011-12-15
yeom
associate assignment nodes that writes to the same...
commit
|
commitdiff
|
tree
|
snapshot
2011-12-15
yeom
fix mp3decoder: clear memory locations that are not...
commit
|
commitdiff
|
tree
|
snapshot
2011-12-14
jzhou
changes to MGC class library
commit
|
commitdiff
|
tree
|
snapshot
2011-12-13
yeom
changes.
commit
|
commitdiff
|
tree
|
snapshot
2011-12-13
jzhou
Changes to MGC class library and some missing unit...
commit
|
commitdiff
|
tree
|
snapshot
2011-12-12
yeom
fix another bug: callee propagated wrong write effects...
commit
|
commitdiff
|
tree
|
snapshot
2011-12-12
yeom
more changes, but still broken with mp3decoder
commit
|
commitdiff
|
tree
|
snapshot
2011-12-10
jzhou
Changes to MGC class library and fix a bug regarding...
commit
|
commitdiff
|
tree
|
snapshot
2011-12-10
yeom
changes.
commit
|
commitdiff
|
tree
|
snapshot
2011-12-09
yeom
fix a nasty bug: writes on local array elements was...
commit
|
commitdiff
|
tree
|
snapshot
2011-12-08
yeom
fix heap path propagation and generate error msg with...
commit
|
commitdiff
|
tree
|
snapshot
2011-12-07
jzhou
changes to MGC class library
commit
|
commitdiff
|
tree
|
snapshot
2011-12-06
yeom
changes while trying to compile MP3Decoder
commit
|
commitdiff
|
tree
|
snapshot
2011-12-06
yeom
changes for getting the right path of static references
commit
|
commitdiff
|
tree
|
snapshot
2011-12-06
yeom
new analysis found one shared location that is not...
commit
|
commitdiff
|
tree
|
snapshot
2011-12-05
yeom
fixes on analyses to compile the eyetracking benchmark
commit
|
commitdiff
|
tree
|
snapshot
2011-12-05
yeom
fixes
commit
|
commitdiff
|
tree
|
snapshot
2011-12-03
yeom
it has passed test cases
commit
|
commitdiff
|
tree
|
snapshot
2011-12-03
jzhou
Fix another inner class bug: every inner class along...
commit
|
commitdiff
|
tree
|
snapshot
2011-12-02
yeom
get the right cover set wrt shared location path.
commit
|
commitdiff
|
tree
|
snapshot
2011-12-01
yeom
fix problems of shared loc extension
commit
|
commitdiff
|
tree
|
snapshot
2011-12-01
yeom
changes.
commit
|
commitdiff
|
tree
|
snapshot
2011-11-30
jzhou
According to Brian's comments, check the lside of assig...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-30
yeom
more changes.
commit
|
commitdiff
|
tree
|
snapshot
2011-11-29
jzhou
Array field initialization was accidentally broken...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-29
yeom
have n-to-1 mapping from location paths to a set of...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-29
jzhou
Fix a small bug about enumaration type: it should be...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-24
jzhou
changes
commit
|
commitdiff
|
tree
|
snapshot
2011-11-23
jzhou
Fix another inner class bug: an inner class which is...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-22
yeom
working on shared loc extension: need to keep additiona...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-19
jzhou
fix some MGC classes
commit
|
commitdiff
|
tree
|
snapshot
2011-11-18
jjenista
vector resize isn't a problem, even without definite...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-18
jzhou
class library changes
commit
|
commitdiff
|
tree
|
snapshot
2011-11-18
jjenista
fixed double negate bug, 3rd case of def reach works now
commit
|
commitdiff
|
tree
|
snapshot
2011-11-17
jjenista
case 3 of definite reach, all coded but has bugs becaus...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-15
jzhou
a missing check
commit
|
commitdiff
|
tree
|
snapshot
2011-11-15
jzhou
Bug fix of inner class: only add LIVE local variables...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-15
jzhou
Add a new feature for inner class: an anonymous inner...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-14
yeom
working on shared loc extension
commit
|
commitdiff
|
tree
|
snapshot
2011-11-12
jzhou
Need a new inner class feature: let the anonymous inner...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-11
jzhou
Make the compiler to support super.X/L.super.X which...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-11
yeom
working on the written check.
commit
|
commitdiff
|
tree
|
snapshot
2011-11-11
jjenista
got 2nd case of def reach up and running, one to go
commit
|
commitdiff
|
tree
|
snapshot
2011-11-11
jzhou
Fix inner class implementation. Now code like inner...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-10
bdemsky
change the email list...stop spamming people
commit
|
commitdiff
|
tree
|
snapshot
2011-11-10
jzhou
Change back the inner class test case
commit
|
commitdiff
|
tree
|
snapshot
2011-11-10
jzhou
Fix inner class bug: the inner class cannot correctly...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-10
jjenista
working on the second case where definite reach can...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-10
jjenista
AWESOME. Used just the R relation of definite reach...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-10
jjenista
successfully keep def reach info just for the store...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-10
jjenista
bug fix: retrieve by full key returned empty set, now...
commit
|
commitdiff
|
tree
|
snapshot
2011-11-09
spikeuci
Updating the test case files
commit
|
commitdiff
|
tree
|
snapshot
2011-11-09
spikeuci
Handling the case NAME DOT THIS for inner classes
commit
|
commitdiff
|
tree
|
snapshot
2011-11-09
jjenista
def reach has to use PointerMethod to detect CFG edges...
commit
|
commitdiff
|
tree
|
snapshot
next