projects
/
IRC.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
IRC.git
2012-08-10
yeom
bug fixes on the flow graph.
commit
|
commitdiff
|
tree
|
snapshot
2012-08-10
yeom
changes.
commit
|
commitdiff
|
tree
|
snapshot
2012-08-08
yeom
changes.
commit
|
commitdiff
|
tree
|
snapshot
2012-08-07
yeom
changes.
commit
|
commitdiff
|
tree
|
snapshot
2012-08-07
yeom
changes.
commit
|
commitdiff
|
tree
|
snapshot
2012-08-06
yeom
changes.
commit
|
commitdiff
|
tree
|
snapshot
2012-08-06
yeom
changes.
commit
|
commitdiff
|
tree
|
snapshot
2012-08-04
yeom
more changes.
commit
|
commitdiff
|
tree
|
snapshot
2012-08-04
yeom
changes.
commit
|
commitdiff
|
tree
|
snapshot
2012-08-02
yeom
fixed another problem of the flow-down check. If an...
commit
|
commitdiff
|
tree
|
snapshot
2012-08-02
yeom
add PCLOC annotations. all three benchmarks are type...
commit
|
commitdiff
|
tree
|
snapshot
2012-08-01
yeom
Allow to declare a composite location for the initial...
commit
|
commitdiff
|
tree
|
snapshot
2012-08-01
yeom
implemented PCLOC annotation.
commit
|
commitdiff
|
tree
|
snapshot
2012-08-01
yeom
fix.
commit
|
commitdiff
|
tree
|
snapshot
2012-08-01
yeom
changes on the inference engine.
commit
|
commitdiff
|
tree
|
snapshot
2012-07-31
yeom
add source code that does not have location annotations.
commit
|
commitdiff
|
tree
|
snapshot
2012-07-30
yeom
changes.
commit
|
commitdiff
|
tree
|
snapshot
2012-07-13
yeom
changes.
commit
|
commitdiff
|
tree
|
snapshot
2012-07-07
yeom
a bunch of fixes.
commit
|
commitdiff
|
tree
|
snapshot
2012-06-29
yeom
implemented a fixed point based interprocedural analysi...
commit
|
commitdiff
|
tree
|
snapshot
2012-06-05
jzhou
Initialize class objects first as in the staic blocks...
commit
|
commitdiff
|
tree
|
snapshot
2012-06-01
jzhou
remove Input file related stuff from the compiler and...
commit
|
commitdiff
|
tree
|
snapshot
2012-05-31
jjenista
keep a copy of my current dissertation example to inves...
commit
|
commitdiff
|
tree
|
snapshot
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
next