projects
/
IRC.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
changes.
[IRC.git]
/
Robust
/
src
/
Analysis
/
SSJava
/
MethodAnnotationCheck.java
2011-08-30
yeom
changes.
blob
|
commitdiff
|
raw
2011-08-23
yeom
1) changes on the definitely written analysis: it only...
blob
|
commitdiff
|
raw
|
diff to current
2011-08-20
yeom
changes.
blob
|
commitdiff
|
raw
|
diff to current
2011-08-19
yeom
changes on the loop termination analysis: associate...
blob
|
commitdiff
|
raw
|
diff to current
2011-08-18
yeom
more changes to pass the flow-down rule
blob
|
commitdiff
|
raw
|
diff to current
2011-08-17
yeom
bug fix on flow-down rule: check if all of assignments...
blob
|
commitdiff
|
raw
|
diff to current
2011-08-17
yeom
have linear-type-safe source codes of mp3decoder
blob
|
commitdiff
|
raw
|
diff to current
2011-08-05
yeom
start revising the linear type checking
blob
|
commitdiff
|
raw
|
diff to current
2011-08-03
yeom
changes.
blob
|
commitdiff
|
raw
|
diff to current
2011-07-21
yeom
more changes.
blob
|
commitdiff
|
raw
|
diff to current
2011-07-20
yeom
fixes on method annoatation checking: when a method...
blob
|
commitdiff
|
raw
|
diff to current
2011-07-14
yeom
changes: 1) have a better error message 2) if annotatio...
blob
|
commitdiff
|
raw
|
diff to current
2011-06-29
yeom
add ssjava debug option to have interim results if...
blob
|
commitdiff
|
raw
|
diff to current
2011-06-14
yeom
fixes on GLB and returnloc calculation, etc.
blob
|
commitdiff
|
raw
|
diff to current
2011-06-11
yeom
fix bugs and changes on method checking
blob
|
commitdiff
|
raw
|
diff to current
2011-06-03
yeom
improves the strategy of checkings: starting from ssjav...
blob
|
commitdiff
|
raw
|
diff to current