Programming Languages Research Group: Git - IRC.git/history - Robust/src/Analysis/SSJava/MethodAnnotationCheck.java

2011-08-18	yeom	more changes to pass the flow-down rule	blob \| commitdiff \| raw
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

Irvine Research Compiler