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

[IRC.git] / Robust / src / Analysis / SSJava / SSJavaAnalysis.java

2012-08-01	yeom	implemented PCLOC annotation.	blob \| commitdiff \| raw
2012-08-01	yeom	changes on the inference engine.	blob \| commitdiff \| raw \| diff to current
2012-07-07	yeom	a bunch of fixes.	blob \| commitdiff \| raw \| diff to current
2012-06-29	yeom	implemented a fixed point based interprocedural analysi...	blob \| commitdiff \| raw \| diff to current
2012-05-07	yeom	more implementation for the inference: propagating...	blob \| commitdiff \| raw \| diff to current
2012-04-30	yeom	changes on the SJava inference	blob \| commitdiff \| raw \| diff to current
2012-03-22	yeom	changes on inference	blob \| commitdiff \| raw \| diff to current
2012-03-21	yeom	changes and data/eval files for new evaluations	blob \| commitdiff \| raw \| diff to current
2012-02-17	yeom	add new compilation flag -ssjavainfer for the location...	blob \| commitdiff \| raw \| diff to current
2012-02-17	yeom	setup some interfaces & skeleton codes for Adrian's...	blob \| commitdiff \| raw \| diff to current
2011-12-15	yeom	associate assignment nodes that writes to the same...	blob \| commitdiff \| raw \| diff to current
2011-12-05	yeom	fixes on analyses to compile the eyetracking benchmark	blob \| commitdiff \| raw \| diff to current
2011-09-20	yeom	take out the loop termination analysis from the java...	blob \| commitdiff \| raw \| diff to current
2011-09-17	yeom	1) it passes the linear type checking 2) start annotati...	blob \| commitdiff \| raw \| diff to current
2011-09-03	david	adding java files for inference engine	blob \| commitdiff \| raw \| diff to current
2011-09-01	yeom	changes: 1) refactoring codes 2) forgot to implement...	blob \| commitdiff \| raw \| diff to current
2011-08-27	yeom	it passes the definitely written analysis.	blob \| commitdiff \| raw \| diff to current
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-20	yeom	mp3decoder passes the loop termination analysis.	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-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-08	yeom	changes.	blob \| commitdiff \| raw \| diff to current
2011-08-06	yeom	buildflat exposes new interface that maps from a tree...	blob \| commitdiff \| raw \| diff to current
2011-08-05	yeom	start revising the linear type checking	blob \| commitdiff \| raw \| diff to current
2011-07-28	yeom	changes.	blob \| commitdiff \| raw \| diff to current
2011-07-27	yeom	changes: 1) generate a class lattice graph DOT file...	blob \| commitdiff \| raw \| diff to current
2011-07-23	yeom	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-19	yeom	changes on NameNode checking	blob \| commitdiff \| raw \| diff to current
2011-07-13	yeom	fix: does not need to check a class that does not have...	blob \| commitdiff \| raw \| diff to current
2011-07-12	yeom	changes.	blob \| commitdiff \| raw \| diff to current
2011-07-08	yeom	changes toward intraprocedural analysis	blob \| commitdiff \| raw \| diff to current
2011-07-08	yeom	start implementing shared location analysis	blob \| commitdiff \| raw \| diff to current
2011-07-01	yeom	bug fixes and refactoring to have more smooth integrati...	blob \| commitdiff \| raw \| diff to current
2011-06-30	yeom	start to revise definitely written analysis implementation	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-22	yeom	bug fixes + integrate loop termination analysis into...	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-03	yeom	improves the strategy of checkings: starting from ssjav...	blob \| commitdiff \| raw \| diff to current
2011-05-23	yeom	having a new check that verifies the single reference...	blob \| commitdiff \| raw \| diff to current
2011-05-18	yeom	more changes.	blob \| commitdiff \| raw \| diff to current
2011-05-18	yeom	changes.	blob \| commitdiff \| raw \| diff to current
2011-05-18	yeom	changes to reflect ssjava design changes and temporaril...	blob \| commitdiff \| raw \| diff to current
2011-05-13	yeom	take out all of ssjava stuff from state class and start...	blob \| commitdiff \| raw \| diff to current
2011-04-27	yeom	changes to get the tiny class library for ssjava	blob \| commitdiff \| raw \| diff to current
2011-04-22	yeom	changes: make location an extension of type descriptor...	blob \| commitdiff \| raw \| diff to current
2011-04-18	yeom	reorganize.	blob \| commitdiff \| raw \| diff to current
2011-04-15	yeom	changes.	blob \| commitdiff \| raw \| diff to current
2011-03-15	yeom	refactoring the lattice implementation / having a way...	blob \| commitdiff \| raw \| diff to current
2011-03-05	yeom	introduce new flag -ssjava for enabling SSJava feature...	blob \| commitdiff \| raw \| diff to current

Irvine Research Compiler

RSS Atom