2011-11-11 |
yeom | working on the written check. |
tree | commitdiff |
2011-10-28 |
yeom | bug fix: |
tree | commitdiff |
2011-10-21 |
yeom | moves MP3Decoder codes to Benchmark directory |
tree | commitdiff |
2011-10-21 |
david | added array access inference |
tree | commitdiff |
2011-10-21 |
david | Fixed a bug, added switch statement support |
tree | commitdiff |
2011-10-21 |
david | changed treenode tag to blockstatementnode tag |
tree | commitdiff |
2011-10-21 |
david | adds global, this, and static tags for var id |
tree | commitdiff |
2011-10-03 |
yeom | bug fix. |
tree | commitdiff |
2011-09-20 |
yeom | take out the loop termination analysis from the java... |
tree | commitdiff |
2011-09-20 |
yeom | passes the flow down rule |
tree | commitdiff |
2011-09-20 |
yeom | bug fixes + annotations |
tree | commitdiff |
2011-09-17 |
yeom | 1) it passes the linear type checking 2) start annotati... |
tree | commitdiff |
2011-09-16 |
yeom | found compilation errors from david's recent commits... |
tree | commitdiff |
2011-09-07 |
david | added returnnode, loopnode, and opnode recognitino... |
tree | commitdiff |
2011-09-07 |
david | Added implicit flow for if statements |
tree | commitdiff |
2011-09-03 |
david | adding java files for inference engine |
tree | commitdiff |
2011-09-01 |
yeom | changes: 1) refactoring codes 2) forgot to implement... |
tree | commitdiff |
2011-08-31 |
yeom | it passes the definite clearance analysis. |
tree | commitdiff |
2011-08-30 |
yeom | changes. |
tree | commitdiff |
2011-08-29 |
yeom | changes: have a better way to keep the set of reading... |
tree | commitdiff |
2011-08-29 |
yeom | fixes on the definite clearance for shared locations. |
tree | commitdiff |
2011-08-29 |
yeom | changes on the definite clearance for shared locations... |
tree | commitdiff |
2011-08-27 |
yeom | it passes the definitely written analysis. |
tree | commitdiff |
2011-08-23 |
yeom | 1) changes on the definitely written analysis: it only... |
tree | commitdiff |
2011-08-23 |
yeom | bug fix |
tree | commitdiff |
2011-08-20 |
yeom | bug fix on the definitely written check: Field read... |
tree | commitdiff |
2011-08-20 |
yeom | changes. |
tree | commitdiff |
2011-08-20 |
yeom | mp3decoder passes the loop termination analysis. |
tree | commitdiff |
2011-08-19 |
yeom | changes on the loop termination analysis: associate... |
tree | commitdiff |
2011-08-18 |
yeom | more changes to pass the flow-down rule |
tree | commitdiff |
2011-08-18 |
yeom | changes. |
tree | commitdiff |
2011-08-17 |
yeom | bug fix on flow-down rule: check if all of assignments... |
tree | commitdiff |
2011-08-17 |
yeom | have linear-type-safe source codes of mp3decoder |
tree | commitdiff |
2011-08-10 |
yeom | changes. |
tree | commitdiff |
2011-08-09 |
yeom | changes: now variable ownership is in the part of the... |
tree | commitdiff |
2011-08-08 |
yeom | changes. |
tree | commitdiff |
2011-08-06 |
yeom | buildflat exposes new interface that maps from a tree... |
tree | commitdiff |
2011-08-05 |
yeom | start revising the linear type checking |
tree | commitdiff |
2011-08-03 |
yeom | changes. |
tree | commitdiff |
2011-08-03 |
yeom | changes. |
tree | commitdiff |
2011-08-02 |
yeom | changes. |
tree | commitdiff |
2011-07-28 |
yeom | fix on assigning the global location of the local... |
tree | commitdiff |
2011-07-28 |
yeom | changes. |
tree | commitdiff |
2011-07-27 |
yeom | changes: 1) generate a class lattice graph DOT file... |
tree | commitdiff |
2011-07-27 |
yeom | changes. |
tree | commitdiff |
2011-07-27 |
yeom | changes. |
tree | commitdiff |
2011-07-26 |
yeom | bug fix on callee constraint checking: previously only... |
tree | commitdiff |
2011-07-26 |
yeom | changes. |
tree | commitdiff |
2011-07-26 |
yeom | changes: LayerIDecoder and LayerIIDecoder pass the... |
tree | commitdiff |
2011-07-23 |
yeom | changes. |
tree | commitdiff |
2011-07-22 |
yeom | to get eaiser debugging, make the ssjava checking have... |
tree | commitdiff |
2011-07-22 |
yeom | changes on the flow down rule checking: 1) only check... |
tree | commitdiff |
2011-07-21 |
yeom | try to fix annotation errors |
tree | commitdiff |
2011-07-21 |
yeom | more changes. |
tree | commitdiff |
2011-07-20 |
yeom | fixes on method annoatation checking: when a method... |
tree | commitdiff |
2011-07-20 |
yeom | changes. |
tree | commitdiff |
2011-07-19 |
yeom | changes on NameNode checking |
tree | commitdiff |
2011-07-18 |
yeom | changes |
tree | commitdiff |
2011-07-16 |
yeom | changes: major revision on SynthesisFilter of mp3decode... |
tree | commitdiff |
2011-07-15 |
yeom | changes. |
tree | commitdiff |
2011-07-14 |
yeom | changes: 1) have a better error message 2) if annotatio... |
tree | commitdiff |
2011-07-13 |
yeom | fix: forgot to check swtich statements |
tree | commitdiff |
2011-07-13 |
yeom | fix: does not need to check a class that does not have... |
tree | commitdiff |
2011-07-13 |
yeom | try to make mp3decoder pass SSJava checking |
tree | commitdiff |
2011-07-13 |
yeom | bug fix: no need to check flow down rule for abstract... |
tree | commitdiff |
2011-07-12 |
yeom | bug fix: if a parent class doesn't define lattice,... |
tree | commitdiff |
2011-07-12 |
yeom | changes. |
tree | commitdiff |
2011-07-11 |
yeom | refactoring |
tree | commitdiff |
2011-07-11 |
yeom | fix a bug introducing redundant method entries for... |
tree | commitdiff |
2011-07-11 |
yeom | more changes on shared location analysis. now it works... |
tree | commitdiff |
2011-07-10 |
yeom | changes. |
tree | commitdiff |
2011-07-09 |
yeom | changes. |
tree | commitdiff |
2011-07-08 |
yeom | changes toward intraprocedural analysis |
tree | commitdiff |
2011-07-08 |
yeom | start implementing shared location analysis |
tree | commitdiff |
2011-07-07 |
yeom | bring recent changes before starting to implement defin... |
tree | commitdiff |
2011-07-02 |
yeom | bug fixes |
tree | commitdiff |
2011-07-01 |
yeom | bug fixes and refactoring to have more smooth integrati... |
tree | commitdiff |
2011-07-01 |
yeom | fix indentation |
tree | commitdiff |
2011-07-01 |
yeom | changes. |
tree | commitdiff |
2011-07-01 |
yeom | getting close to finishing the definite written analysis |
tree | commitdiff |
2011-06-30 |
yeom | start to revise definitely written analysis implementation |
tree | commitdiff |
2011-06-29 |
yeom | add ssjava debug option to have interim results if... |
tree | commitdiff |
2011-06-22 |
yeom | bug fixes + integrate loop termination analysis into... |
tree | commitdiff |
2011-06-14 |
yeom | fixes on GLB and returnloc calculation, etc. |
tree | commitdiff |
2011-06-11 |
yeom | fix bugs and changes on method checking |
tree | commitdiff |
2011-06-03 |
yeom | improves the strategy of checkings: starting from ssjav... |
tree | commitdiff |
2011-06-01 |
yeom | having a location namespace. location names appeared... |
tree | commitdiff |
2011-05-31 |
yeom | add one more checking, class inheritance: If a class... |
tree | commitdiff |
2011-05-25 |
yeom | fixes on bugs and checking of method invocation: |
tree | commitdiff |
2011-05-24 |
yeom | bug fixes and few extra things: |
tree | commitdiff |
2011-05-23 |
yeom | having a new check that verifies the single reference... |
tree | commitdiff |
2011-05-20 |
yeom | fix bugs on the flow down rule and start annotating... |
tree | commitdiff |
2011-05-19 |
yeom | changes. |
tree | commitdiff |
2011-05-18 |
yeom | more changes. |
tree | commitdiff |
2011-05-18 |
yeom | changes. |
tree | commitdiff |
2011-05-18 |
yeom | changes to reflect ssjava design changes and temporaril... |
tree | commitdiff |
2011-05-13 |
yeom | take out all of ssjava stuff from state class and start... |
tree | commitdiff |
2011-05-04 |
yeom | small changes: have a way to specify the location of... |
tree | commitdiff |
2011-05-03 |
yeom | changes. |
tree | commitdiff |
2011-04-29 |
yeom | changes: now, the annotated SSJava class library passes... |
tree | commitdiff |
next |