projects / IRC.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
associate assignment nodes that writes to the same height location with corresponding...
[IRC.git] / Robust / src / Analysis / SSJava /
2011-12-15 yeomassociate assignment nodes that writes to the same... tree | commitdiff
2011-12-13 yeomchanges. tree | commitdiff
2011-12-12 yeomfix another bug: callee propagated wrong write effects... tree | commitdiff
2011-12-12 yeommore changes, but still broken with mp3decoder tree | commitdiff
2011-12-10 yeomchanges. tree | commitdiff
2011-12-09 yeomfix a nasty bug: writes on local array elements was... tree | commitdiff
2011-12-08 yeomfix heap path propagation and generate error msg with... tree | commitdiff
2011-12-06 yeomchanges while trying to compile MP3Decoder tree | commitdiff
2011-12-06 yeomchanges for getting the right path of static references tree | commitdiff
2011-12-05 yeomfixes on analyses to compile the eyetracking benchmark tree | commitdiff
2011-12-05 yeomfixes tree | commitdiff
2011-12-03 yeomit has passed test cases tree | commitdiff
2011-12-02 yeomget the right cover set wrt shared location path. tree | commitdiff
2011-12-01 yeomfix problems of shared loc extension tree | commitdiff
2011-12-01 yeomchanges. tree | commitdiff
2011-11-30 yeommore changes. tree | commitdiff
2011-11-29 yeomhave n-to-1 mapping from location paths to a set of... tree | commitdiff
2011-11-22 yeomworking on shared loc extension: need to keep additiona... tree | commitdiff
2011-11-14 yeomworking on shared loc extension tree | commitdiff
2011-11-11 yeomworking on the written check. tree | commitdiff
2011-10-28 yeombug fix: tree | commitdiff
2011-10-21 yeommoves MP3Decoder codes to Benchmark directory tree | commitdiff
2011-10-21 davidadded array access inference tree | commitdiff
2011-10-21 davidFixed a bug, added switch statement support tree | commitdiff
2011-10-21 davidchanged treenode tag to blockstatementnode tag tree | commitdiff
2011-10-21 davidadds global, this, and static tags for var id tree | commitdiff
2011-10-03 yeombug fix. tree | commitdiff
2011-09-20 yeomtake out the loop termination analysis from the java... tree | commitdiff
2011-09-20 yeompasses the flow down rule tree | commitdiff
2011-09-20 yeombug fixes + annotations tree | commitdiff
2011-09-17 yeom1) it passes the linear type checking 2) start annotati... tree | commitdiff
2011-09-16 yeomfound compilation errors from david's recent commits... tree | commitdiff
2011-09-07 davidadded returnnode, loopnode, and opnode recognitino... tree | commitdiff
2011-09-07 davidAdded implicit flow for if statements tree | commitdiff
2011-09-03 davidadding java files for inference engine tree | commitdiff
2011-09-01 yeomchanges: 1) refactoring codes 2) forgot to implement... tree | commitdiff
2011-08-31 yeomit passes the definite clearance analysis. tree | commitdiff
2011-08-30 yeomchanges. tree | commitdiff
2011-08-29 yeomchanges: have a better way to keep the set of reading... tree | commitdiff
2011-08-29 yeomfixes on the definite clearance for shared locations. tree | commitdiff
2011-08-29 yeomchanges on the definite clearance for shared locations... tree | commitdiff
2011-08-27 yeomit passes the definitely written analysis. tree | commitdiff
2011-08-23 yeom1) changes on the definitely written analysis: it only... tree | commitdiff
2011-08-23 yeombug fix tree | commitdiff
2011-08-20 yeombug fix on the definitely written check: Field read... tree | commitdiff
2011-08-20 yeomchanges. tree | commitdiff
2011-08-20 yeommp3decoder passes the loop termination analysis. tree | commitdiff
2011-08-19 yeomchanges on the loop termination analysis: associate... tree | commitdiff
2011-08-18 yeommore changes to pass the flow-down rule tree | commitdiff
2011-08-18 yeomchanges. tree | commitdiff
2011-08-17 yeombug fix on flow-down rule: check if all of assignments... tree | commitdiff
2011-08-17 yeomhave linear-type-safe source codes of mp3decoder tree | commitdiff
2011-08-10 yeomchanges. tree | commitdiff
2011-08-09 yeomchanges: now variable ownership is in the part of the... tree | commitdiff
2011-08-08 yeomchanges. tree | commitdiff
2011-08-06 yeombuildflat exposes new interface that maps from a tree... tree | commitdiff
2011-08-05 yeomstart revising the linear type checking tree | commitdiff
2011-08-03 yeomchanges. tree | commitdiff
2011-08-03 yeomchanges. tree | commitdiff
2011-08-02 yeomchanges. tree | commitdiff
2011-07-28 yeomfix on assigning the global location of the local... tree | commitdiff
2011-07-28 yeomchanges. tree | commitdiff
2011-07-27 yeomchanges: 1) generate a class lattice graph DOT file... tree | commitdiff
2011-07-27 yeomchanges. tree | commitdiff
2011-07-27 yeomchanges. tree | commitdiff
2011-07-26 yeombug fix on callee constraint checking: previously only... tree | commitdiff
2011-07-26 yeomchanges. tree | commitdiff
2011-07-26 yeomchanges: LayerIDecoder and LayerIIDecoder pass the... tree | commitdiff
2011-07-23 yeomchanges. tree | commitdiff
2011-07-22 yeomto get eaiser debugging, make the ssjava checking have... tree | commitdiff
2011-07-22 yeomchanges on the flow down rule checking: 1) only check... tree | commitdiff
2011-07-21 yeomtry to fix annotation errors tree | commitdiff
2011-07-21 yeommore changes. tree | commitdiff
2011-07-20 yeomfixes on method annoatation checking: when a method... tree | commitdiff
2011-07-20 yeomchanges. tree | commitdiff
2011-07-19 yeomchanges on NameNode checking tree | commitdiff
2011-07-18 yeomchanges tree | commitdiff
2011-07-16 yeomchanges: major revision on SynthesisFilter of mp3decode... tree | commitdiff
2011-07-15 yeomchanges. tree | commitdiff
2011-07-14 yeomchanges: 1) have a better error message 2) if annotatio... tree | commitdiff
2011-07-13 yeomfix: forgot to check swtich statements tree | commitdiff
2011-07-13 yeomfix: does not need to check a class that does not have... tree | commitdiff
2011-07-13 yeomtry to make mp3decoder pass SSJava checking tree | commitdiff
2011-07-13 yeombug fix: no need to check flow down rule for abstract... tree | commitdiff
2011-07-12 yeombug fix: if a parent class doesn't define lattice,... tree | commitdiff
2011-07-12 yeomchanges. tree | commitdiff
2011-07-11 yeomrefactoring tree | commitdiff
2011-07-11 yeomfix a bug introducing redundant method entries for... tree | commitdiff
2011-07-11 yeommore changes on shared location analysis. now it works... tree | commitdiff
2011-07-10 yeomchanges. tree | commitdiff
2011-07-09 yeomchanges. tree | commitdiff
2011-07-08 yeomchanges toward intraprocedural analysis tree | commitdiff
2011-07-08 yeomstart implementing shared location analysis tree | commitdiff
2011-07-07 yeombring recent changes before starting to implement defin... tree | commitdiff
2011-07-02 yeombug fixes tree | commitdiff
2011-07-01 yeombug fixes and refactoring to have more smooth integrati... tree | commitdiff
2011-07-01 yeomfix indentation tree | commitdiff
2011-07-01 yeomchanges. tree | commitdiff
2011-07-01 yeomgetting close to finishing the definite written analysis tree | commitdiff
2011-06-30 yeomstart to revise definitely written analysis implementation tree | commitdiff
next
Irvine Research Compiler