projects
/
IRC.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
changes on inference
2012-03-22
yeom
changes on inference
commit
|
commitdiff
|
tree
2012-03-22
yeom
add a new test case for inference
commit
|
commitdiff
|
tree
2012-03-21
yeom
changes and data/eval files for new evaluations
commit
|
commitdiff
|
tree
2012-03-09
yeom
raw numbers from error injection evaluations
commit
|
commitdiff
|
tree
2012-03-07
yeom
raw evaluation numbers for the mp3decoder
commit
|
commitdiff
|
tree
2012-03-06
yeom
add batch-mode script
commit
|
commitdiff
|
tree
2012-02-24
yeom
add a simplifed bh.
commit
|
commitdiff
|
tree
2012-02-17
yeom
changes.
commit
|
commitdiff
|
tree
2012-02-17
yeom
add new compilation flag -ssjavainfer for the location...
commit
|
commitdiff
|
tree
2012-02-17
yeom
setup some interfaces & skeleton codes for Adrian's...
commit
|
commitdiff
|
tree
2012-01-20
yeom
have another way to assign a THIS LOCATION to method...
commit
|
commitdiff
|
tree
2011-12-16
yeom
test case for the ownership checking
commit
|
commitdiff
|
tree
2011-12-15
yeom
Finally, all benchmarks pass the definitely written...
commit
|
commitdiff
|
tree
2011-12-15
yeom
New shared loc analysis found a shared location that...
commit
|
commitdiff
|
tree
2011-12-15
yeom
associate assignment nodes that writes to the same...
commit
|
commitdiff
|
tree
2011-12-15
yeom
fix mp3decoder: clear memory locations that are not...
commit
|
commitdiff
|
tree
2011-12-13
yeom
changes.
commit
|
commitdiff
|
tree
2011-12-12
yeom
fix another bug: callee propagated wrong write effects...
commit
|
commitdiff
|
tree
2011-12-12
yeom
more changes, but still broken with mp3decoder
commit
|
commitdiff
|
tree
2011-12-10
yeom
changes.
commit
|
commitdiff
|
tree
2011-12-09
yeom
fix a nasty bug: writes on local array elements was...
commit
|
commitdiff
|
tree
2011-12-08
yeom
fix heap path propagation and generate error msg with...
commit
|
commitdiff
|
tree
2011-12-06
yeom
changes while trying to compile MP3Decoder
commit
|
commitdiff
|
tree
2011-12-06
yeom
changes for getting the right path of static references
commit
|
commitdiff
|
tree
2011-12-06
yeom
new analysis found one shared location that is not...
commit
|
commitdiff
|
tree
2011-12-05
yeom
fixes on analyses to compile the eyetracking benchmark
commit
|
commitdiff
|
tree
2011-12-05
yeom
fixes
commit
|
commitdiff
|
tree
2011-12-03
yeom
it has passed test cases
commit
|
commitdiff
|
tree
2011-12-02
yeom
get the right cover set wrt shared location path.
commit
|
commitdiff
|
tree
2011-12-01
yeom
fix problems of shared loc extension
commit
|
commitdiff
|
tree
2011-12-01
yeom
changes.
commit
|
commitdiff
|
tree
2011-11-30
yeom
more changes.
commit
|
commitdiff
|
tree
2011-11-29
yeom
have n-to-1 mapping from location paths to a set of...
commit
|
commitdiff
|
tree
2011-11-22
yeom
working on shared loc extension: need to keep additional...
commit
|
commitdiff
|
tree
2011-11-14
yeom
working on shared loc extension
commit
|
commitdiff
|
tree
2011-11-11
yeom
working on the written check.
commit
|
commitdiff
|
tree
2011-11-05
yeom
fix: the callee can return only its owned obj
commit
|
commitdiff
|
tree
2011-11-04
yeom
add evaluation files
commit
|
commitdiff
|
tree
2011-11-04
yeom
forgot to commit
commit
|
commitdiff
|
tree
2011-10-28
yeom
update location identifier according to changes of...
commit
|
commitdiff
|
tree
2011-10-28
yeom
bug fix:
commit
|
commitdiff
|
tree
2011-10-25
yeom
add longer mp3 file for test
commit
|
commitdiff
|
tree
2011-10-21
yeom
moves MP3Decoder codes to Benchmark directory
commit
|
commitdiff
|
tree
2011-10-04
yeom
SSJava runtime support
commit
|
commitdiff
|
tree
2011-10-03
yeom
annotated version.
commit
|
commitdiff
|
tree
2011-10-03
yeom
bug fix.
commit
|
commitdiff
|
tree
2011-10-01
yeom
add input sensor data file
commit
|
commitdiff
|
tree
2011-09-30
yeom
makefile
commit
|
commitdiff
|
tree
2011-09-30
yeom
start new benchmark JavaNator.
commit
|
commitdiff
|
tree
2011-09-21
yeom
it passes all checkings.
commit
|
commitdiff
|
tree
2011-09-20
yeom
take out the loop termination analysis from the java...
commit
|
commitdiff
|
tree
2011-09-20
yeom
bug fix on the Loop terminate analysis: as long as...
commit
|
commitdiff
|
tree
2011-09-20
yeom
passes the flow down rule
commit
|
commitdiff
|
tree
2011-09-20
yeom
bug fixes + annotations
commit
|
commitdiff
|
tree
2011-09-17
yeom
1) it passes the linear type checking 2) start annotations...
commit
|
commitdiff
|
tree
2011-09-16
yeom
EyeTracking has the same result of the original Java...
commit
|
commitdiff
|
tree
2011-09-16
yeom
found compilation errors from david's recent commits...
commit
|
commitdiff
|
tree
2011-09-16
yeom
change a way to store image pixels as same as Java...
commit
|
commitdiff
|
tree
2011-09-16
yeom
more changes.
commit
|
commitdiff
|
tree
2011-09-15
yeom
changes toward compilation
commit
|
commitdiff
|
tree
2011-09-14
yeom
add eye tracking benchmark.
commit
|
commitdiff
|
tree
2011-09-01
yeom
changes: 1) refactoring codes 2) forgot to implement...
commit
|
commitdiff
|
tree
2011-08-31
yeom
it passes the definite clearance analysis.
commit
|
commitdiff
|
tree
2011-08-30
yeom
changes.
commit
|
commitdiff
|
tree
2011-08-29
yeom
changes: have a better way to keep the set of reading...
commit
|
commitdiff
|
tree
2011-08-29
yeom
fixes on the definite clearance for shared locations.
commit
|
commitdiff
|
tree
2011-08-29
yeom
changes on the definite clearance for shared locations...
commit
|
commitdiff
|
tree
2011-08-27
yeom
it passes the definitely written analysis.
commit
|
commitdiff
|
tree
2011-08-26
yeom
changes: since the inverse-MDCT uses input samples...
commit
|
commitdiff
|
tree
2011-08-23
yeom
1) changes on the definitely written analysis: it only...
commit
|
commitdiff
|
tree
2011-08-23
yeom
bug fix
commit
|
commitdiff
|
tree
2011-08-23
yeom
having new variable 'inter' in-between "reorder/antialias...
commit
|
commitdiff
|
tree
2011-08-20
yeom
bug fix on the definitely written check: Field read...
commit
|
commitdiff
|
tree
2011-08-20
yeom
changes.
commit
|
commitdiff
|
tree
2011-08-20
yeom
mp3decoder passes the loop termination analysis.
commit
|
commitdiff
|
tree
2011-08-20
yeom
bug fix on the loop termination analysis
commit
|
commitdiff
|
tree
2011-08-19
yeom
bug fix: the loop entrance node of DOWHILELOOP is the...
commit
|
commitdiff
|
tree
2011-08-19
yeom
changes on the loop termination analysis: associate...
commit
|
commitdiff
|
tree
2011-08-19
yeom
mp3decoder finally passes the flow-down rule checking.
commit
|
commitdiff
|
tree
2011-08-18
yeom
more changes to pass the flow-down rule
commit
|
commitdiff
|
tree
2011-08-18
yeom
changes.
commit
|
commitdiff
|
tree
2011-08-17
yeom
bug fix on flow-down rule: check if all of assignments...
commit
|
commitdiff
|
tree
2011-08-17
yeom
have linear-type-safe source codes of mp3decoder
commit
|
commitdiff
|
tree
2011-08-16
yeom
mp3decoder compiled by our research compiler produces...
commit
|
commitdiff
|
tree
2011-08-15
yeom
1) bug fix on nativeavailable(): forgot to get back...
commit
|
commitdiff
|
tree
2011-08-15
yeom
changes.
commit
|
commitdiff
|
tree
2011-08-15
yeom
adds 'nativeavailable()' and 'read(buf,offset,len)...
commit
|
commitdiff
|
tree
2011-08-13
yeom
1) allow to set the maximum threshold for the liveness...
commit
|
commitdiff
|
tree
2011-08-11
yeom
get rid of the stream parsing that occurs in the Layer...
commit
|
commitdiff
|
tree
2011-08-10
yeom
changes.
commit
|
commitdiff
|
tree
2011-08-09
yeom
changes: now variable ownership is in the part of the...
commit
|
commitdiff
|
tree
2011-08-09
yeom
code clean up
commit
|
commitdiff
|
tree
2011-08-09
yeom
fix a grammar to allow multiple annotations on method...
commit
|
commitdiff
|
tree
2011-08-08
yeom
changes.
commit
|
commitdiff
|
tree
2011-08-06
yeom
buildflat exposes new interface that maps from a tree...
commit
|
commitdiff
|
tree
2011-08-05
yeom
start revising the linear type checking
commit
|
commitdiff
|
tree
2011-08-03
yeom
changes.
commit
|
commitdiff
|
tree
2011-08-03
yeom
changes.
commit
|
commitdiff
|
tree
2011-08-02
yeom
changes.
commit
|
commitdiff
|
tree
2011-07-29
yeom
changes.
commit
|
commitdiff
|
tree
next