projects
/
IRC.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
IRC.git
2012-05-31
jzhou
Fix bugs: 1) reorder the initialization of static field...
commit
|
commitdiff
|
tree
|
snapshot
2012-05-19
jzhou
Bug fix, the compressed version of input files can...
commit
|
commitdiff
|
tree
|
snapshot
2012-05-18
jzhou
Add compressed version of input files, still have bugs
commit
|
commitdiff
|
tree
|
snapshot
2012-05-17
jzhou
Enable the nextDoublt() call for reading input files
commit
|
commitdiff
|
tree
|
snapshot
2012-05-15
jzhou
Changes for reading input files in MGC version
commit
|
commitdiff
|
tree
|
snapshot
2012-05-10
jzhou
changes for reading input files
commit
|
commitdiff
|
tree
|
snapshot
2012-05-09
jzhou
changes for reading input files
commit
|
commitdiff
|
tree
|
snapshot
2012-05-08
jzhou
Changes for reading input files in MGC version
commit
|
commitdiff
|
tree
|
snapshot
2012-05-07
yeom
more implementation for the inference: propagating...
commit
|
commitdiff
|
tree
|
snapshot
2012-05-04
yeom
run-doj-validation-test.sh: a single script that perfor...
commit
|
commitdiff
|
tree
|
snapshot
2012-05-03
yeom
Fix the bug in the variable analysis: When we define...
commit
|
commitdiff
|
tree
|
snapshot
2012-05-03
jzhou
Fix the thread safe problem
commit
|
commitdiff
|
tree
|
snapshot
2012-05-03
jzhou
Fix the thread safe problem
commit
|
commitdiff
|
tree
|
snapshot
2012-05-03
jzhou
Changes for galois
commit
|
commitdiff
|
tree
|
snapshot
2012-05-03
yeom
Fix: need to keep the number of allocation site for...
commit
|
commitdiff
|
tree
|
snapshot
2012-05-02
yeom
fixes to remove compilation warnings. now DOJ works...
commit
|
commitdiff
|
tree
|
snapshot
2012-05-02
yeom
fix: the return value declarations were missing in...
commit
|
commitdiff
|
tree
|
snapshot
2012-05-02
yeom
bug fix: The result of the pointer analysis is broken...
commit
|
commitdiff
|
tree
|
snapshot
2012-04-30
yeom
changes on the SJava inference
commit
|
commitdiff
|
tree
|
snapshot
2012-04-20
yeom
more changes.
commit
|
commitdiff
|
tree
|
snapshot
2012-04-19
yeom
changes.
commit
|
commitdiff
|
tree
|
snapshot
2012-04-16
yeom
changes.
commit
|
commitdiff
|
tree
|
snapshot
2012-04-10
yeom
start implementing basic approach
commit
|
commitdiff
|
tree
|
snapshot
2012-03-26
jjenista
the parallel implementation doesn't achieve much becaus...
commit
|
commitdiff
|
tree
|
snapshot
2012-03-23
jzhou
changes for galois
commit
|
commitdiff
|
tree
|
snapshot
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
next