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

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

2012-10-29	yeom	changes: mainly fixed problems of a tertiary node,...	blob \| commitdiff \| raw
2012-10-28	yeom	changes.	blob \| commitdiff \| raw \| diff to current
2012-10-27	yeom	changes.	blob \| commitdiff \| raw \| diff to current
2012-10-23	yeom	changes: fixes the case that a shared location appears...	blob \| commitdiff \| raw \| diff to current
2012-10-21	yeom	addressing two problems in the composite location gener...	blob \| commitdiff \| raw \| diff to current
2012-10-21	yeom	changes on the composite location generation (but still...	blob \| commitdiff \| raw \| diff to current
2012-10-20	yeom	changes on global composite assignment translation...	blob \| commitdiff \| raw \| diff to current
2012-10-19	yeom	changes.	blob \| commitdiff \| raw \| diff to current
2012-10-18	yeom	bug fixes + generating PC/RETURNLOC in a flow graph	blob \| commitdiff \| raw \| diff to current
2012-10-16	yeom	fixes on PCLOC generation, intermediate node insertion...	blob \| commitdiff \| raw \| diff to current
2012-09-16	yeom	changes: building field/method hierarchy graph + insert...	blob \| commitdiff \| raw \| diff to current
2012-08-17	yeom	changes.	blob \| commitdiff \| raw \| diff to current
2012-08-07	yeom	changes.	blob \| commitdiff \| raw \| diff to current
2012-08-02	yeom	fixed another problem of the flow-down check. If an...	blob \| commitdiff \| raw \| diff to current
2012-08-02	yeom	add PCLOC annotations. all three benchmarks are type...	blob \| commitdiff \| raw \| diff to current
2012-08-01	yeom	Allow to declare a composite location for the initial...	blob \| commitdiff \| raw \| diff to current
2012-08-01	yeom	implemented PCLOC annotation.	blob \| commitdiff \| raw \| diff to current
2012-08-01	yeom	fix.	blob \| commitdiff \| raw \| diff to current
2012-04-30	yeom	changes on the SJava inference	blob \| commitdiff \| raw \| diff to current
2012-04-20	yeom	more changes.	blob \| commitdiff \| raw \| diff to current
2012-01-20	yeom	have another way to assign a THIS LOCATION to method...	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-10-28	yeom	bug fix:	blob \| commitdiff \| raw \| diff to current
2011-10-03	yeom	bug fix.	blob \| commitdiff \| raw \| diff to current
2011-09-20	yeom	passes the flow down rule	blob \| commitdiff \| raw \| diff to current
2011-09-20	yeom	bug fixes + annotations	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-29	yeom	changes on the definite clearance for shared locations...	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-18	yeom	more changes to pass the flow-down rule	blob \| commitdiff \| raw \| diff to current
2011-08-18	yeom	changes.	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-03	yeom	changes.	blob \| commitdiff \| raw \| diff to current
2011-08-03	yeom	changes.	blob \| commitdiff \| raw \| diff to current
2011-08-02	yeom	changes.	blob \| commitdiff \| raw \| diff to current
2011-07-28	yeom	fix on assigning the global location of the local...	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-27	yeom	changes.	blob \| commitdiff \| raw \| diff to current
2011-07-27	yeom	changes.	blob \| commitdiff \| raw \| diff to current
2011-07-26	yeom	bug fix on callee constraint checking: previously only...	blob \| commitdiff \| raw \| diff to current
2011-07-26	yeom	changes.	blob \| commitdiff \| raw \| diff to current
2011-07-26	yeom	changes: LayerIDecoder and LayerIIDecoder pass the...	blob \| commitdiff \| raw \| diff to current
2011-07-23	yeom	changes.	blob \| commitdiff \| raw \| diff to current
2011-07-22	yeom	to get eaiser debugging, make the ssjava checking have...	blob \| commitdiff \| raw \| diff to current
2011-07-22	yeom	changes on the flow down rule checking: 1) only check...	blob \| commitdiff \| raw \| diff to current
2011-07-21	yeom	try to fix annotation errors	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-19	yeom	changes on NameNode checking	blob \| commitdiff \| raw \| diff to current
2011-07-18	yeom	changes	blob \| commitdiff \| raw \| diff to current
2011-07-16	yeom	changes: major revision on SynthesisFilter of mp3decode...	blob \| commitdiff \| raw \| diff to current
2011-07-15	yeom	changes.	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-07-13	yeom	fix: forgot to check swtich statements	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-13	yeom	try to make mp3decoder pass SSJava checking	blob \| commitdiff \| raw \| diff to current
2011-07-13	yeom	bug fix: no need to check flow down rule for abstract...	blob \| commitdiff \| raw \| diff to current
2011-07-12	yeom	bug fix: if a parent class doesn't define lattice,...	blob \| commitdiff \| raw \| diff to current
2011-07-08	yeom	changes toward intraprocedural analysis	blob \| commitdiff \| raw \| diff to current
2011-07-07	yeom	bring recent changes before starting to implement defin...	blob \| commitdiff \| raw \| diff to current
2011-07-02	yeom	bug fixes	blob \| commitdiff \| raw \| diff to current
2011-07-01	yeom	getting close to finishing the definite written analysis	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-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
2011-06-01	yeom	having a location namespace. location names appeared...	blob \| commitdiff \| raw \| diff to current
2011-05-31	yeom	add one more checking, class inheritance: If a class...	blob \| commitdiff \| raw \| diff to current
2011-05-25	yeom	fixes on bugs and checking of method invocation:	blob \| commitdiff \| raw \| diff to current
2011-05-24	yeom	bug fixes and few extra things:	blob \| commitdiff \| raw \| diff to current
2011-05-20	yeom	fix bugs on the flow down rule and start annotating...	blob \| commitdiff \| raw \| diff to current
2011-05-19	yeom	changes.	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-05-04	yeom	small changes: have a way to specify the location of...	blob \| commitdiff \| raw \| diff to current
2011-05-03	yeom	changes.	blob \| commitdiff \| raw \| diff to current
2011-04-29	yeom	changes: now, the annotated SSJava class library passes...	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-27	bdemsky	switch to spaces only..	blob \| commitdiff \| raw \| diff to current
2011-04-27	bdemsky	Fix tabbing.... Please fix your editors so they do...	blob \| commitdiff \| raw \| diff to current
2011-04-23	yeom	interim changes: ssjava will have its own class library...	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-19	yeom	changes.	blob \| commitdiff \| raw \| diff to current
2011-04-18	yeom	handle the missing case in the flow down analysis:...	blob \| commitdiff \| raw \| diff to current
2011-04-15	yeom	changes.	blob \| commitdiff \| raw \| diff to current
2011-04-14	yeom	extends the grammar to have a way to define a new type...	blob \| commitdiff \| raw \| diff to current
2011-04-13	yeom	changes.	blob \| commitdiff \| raw \| diff to current
2011-04-12	yeom	changes.	blob \| commitdiff \| raw \| diff to current
2011-04-11	yeom	changes.	blob \| commitdiff \| raw \| diff to current
2011-03-26	yeom	changes.	blob \| commitdiff \| raw \| diff to current
2011-03-24	yeom	changes on ssjava.	blob \| commitdiff \| raw \| diff to current
2011-03-22	yeom	bug fix on the glb function of the lattice + working...	blob \| commitdiff \| raw \| diff to current
2011-03-19	yeom	changes.	blob \| commitdiff \| raw \| diff to current
2011-03-17	yeom	keep the current snapshot before making further 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