projects / IRC.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
adding a test case
[IRC.git] / Robust / src / Analysis / SSJava / SSJavaAnalysis.java
2013-03-05 Yong hun eomremove unnecessary annotations to calculate evalution... commit | commitdiff
2013-03-05 Yong hun eomchanges. commit | commitdiff
2013-02-20 yeomchanges. commit | commitdiff
2012-12-07 yeomnow it works fine with three benchmarks commit | commitdiff
2012-12-04 yeomchanges. commit | commitdiff
2012-11-20 yeomimplementing inheritance check + missing features. commit | commitdiff
2012-11-03 yeomchanges: 1) fixes problems in the original EyeTracking... commit | commitdiff
2012-10-28 yeomchanges. commit | commitdiff
2012-10-16 yeomfixes on PCLOC generation, intermediate node insertion... commit | commitdiff
2012-09-22 yeomchanges. commit | commitdiff
2012-08-15 yeomgenerate annotated source code again but it's still... commit | commitdiff
2012-08-15 yeomchanges. commit | commitdiff
2012-08-13 yeomchanges + annotation generation commit | commitdiff
2012-08-06 yeomchanges. commit | commitdiff
2012-08-01 yeomAllow to declare a composite location for the initial... commit | commitdiff
2012-08-01 yeomimplemented PCLOC annotation. commit | commitdiff
2012-08-01 yeomchanges on the inference engine. commit | commitdiff
2012-07-07 yeoma bunch of fixes. commit | commitdiff
2012-06-29 yeomimplemented a fixed point based interprocedural analysi... commit | commitdiff
2012-05-07 yeommore implementation for the inference: propagating... commit | commitdiff
2012-04-30 yeomchanges on the SJava inference commit | commitdiff
2012-03-22 yeomchanges on inference commit | commitdiff
2012-03-21 yeomchanges and data/eval files for new evaluations commit | commitdiff
2012-02-17 yeomadd new compilation flag -ssjavainfer for the location... commit | commitdiff
2012-02-17 yeomsetup some interfaces & skeleton codes for Adrian's... commit | commitdiff
2011-12-15 yeomassociate assignment nodes that writes to the same... commit | commitdiff
2011-12-05 yeomfixes on analyses to compile the eyetracking benchmark commit | commitdiff
2011-09-20 yeomtake out the loop termination analysis from the java... commit | commitdiff
2011-09-17 yeom1) it passes the linear type checking 2) start annotati... commit | commitdiff
2011-09-03 davidadding java files for inference engine commit | commitdiff
2011-09-01 yeomchanges: 1) refactoring codes 2) forgot to implement... commit | commitdiff
2011-08-27 yeomit passes the definitely written analysis. commit | commitdiff
2011-08-23 yeom1) changes on the definitely written analysis: it only... commit | commitdiff
2011-08-20 yeomchanges. commit | commitdiff
2011-08-20 yeommp3decoder passes the loop termination analysis. commit | commitdiff
2011-08-19 yeomchanges on the loop termination analysis: associate... commit | commitdiff
2011-08-17 yeombug fix on flow-down rule: check if all of assignments... commit | commitdiff
2011-08-17 yeomhave linear-type-safe source codes of mp3decoder commit | commitdiff
2011-08-08 yeomchanges. commit | commitdiff
2011-08-06 yeombuildflat exposes new interface that maps from a tree... commit | commitdiff
2011-08-05 yeomstart revising the linear type checking commit | commitdiff
2011-07-28 yeomchanges. commit | commitdiff
2011-07-27 yeomchanges: 1) generate a class lattice graph DOT file... commit | commitdiff
2011-07-23 yeomchanges. commit | commitdiff
2011-07-20 yeomfixes on method annoatation checking: when a method... commit | commitdiff
2011-07-19 yeomchanges on NameNode checking commit | commitdiff
2011-07-13 yeomfix: does not need to check a class that does not have... commit | commitdiff
2011-07-12 yeomchanges. commit | commitdiff
2011-07-08 yeomchanges toward intraprocedural analysis commit | commitdiff
2011-07-08 yeomstart implementing shared location analysis commit | commitdiff
2011-07-01 yeombug fixes and refactoring to have more smooth integrati... commit | commitdiff
2011-06-30 yeomstart to revise definitely written analysis implementation commit | commitdiff
2011-06-29 yeomadd ssjava debug option to have interim results if... commit | commitdiff
2011-06-22 yeombug fixes + integrate loop termination analysis into... commit | commitdiff
2011-06-14 yeomfixes on GLB and returnloc calculation, etc. commit | commitdiff
2011-06-03 yeomimproves the strategy of checkings: starting from ssjav... commit | commitdiff
2011-05-23 yeomhaving a new check that verifies the single reference... commit | commitdiff
2011-05-18 yeommore changes. commit | commitdiff
2011-05-18 yeomchanges. commit | commitdiff
2011-05-18 yeomchanges to reflect ssjava design changes and temporaril... commit | commitdiff
2011-05-13 yeomtake out all of ssjava stuff from state class and start... commit | commitdiff
2011-04-27 yeomchanges to get the tiny class library for ssjava commit | commitdiff
2011-04-22 yeomchanges: make location an extension of type descriptor... commit | commitdiff
2011-04-18 yeomreorganize. commit | commitdiff
2011-04-15 yeomchanges. commit | commitdiff
2011-03-15 yeomrefactoring the lattice implementation / having a way... commit | commitdiff
2011-03-05 yeomintroduce new flag -ssjava for enabling SSJava feature... commit | commitdiff
Irvine Research Compiler