2009-03-20 |
jjenista | new parameter model and mapping procedure stable, doing... |
blob | commitdiff | raw |
2009-03-20 |
jjenista | more progress toward new parameter model |
blob | commitdiff | raw | diff to current |
2009-03-19 |
jjenista | Stable, partially functional implementation of new... |
blob | commitdiff | raw | diff to current |
2009-03-17 |
jjenista | Partial, stable update that builds param index mappings... |
blob | commitdiff | raw | diff to current |
2009-03-17 |
jjenista | Build aliased parameter models--still a partial impleme... |
blob | commitdiff | raw | diff to current |
2009-03-16 |
jjenista | partway to new parameter model |
blob | commitdiff | raw | diff to current |
2009-03-16 |
jjenista | Stable capture while moving towards typed heap regions... |
blob | commitdiff | raw | diff to current |
2009-03-13 |
jjenista | Bug fixes: |
blob | commitdiff | raw | diff to current |
2009-03-12 |
jjenista | Rewrote global sweep to match paper, keeping ugly debug... |
blob | commitdiff | raw | diff to current |
2009-03-10 |
jjenista | changed analysis public interface to report a set of... |
blob | commitdiff | raw | diff to current |
2009-03-09 |
jjenista | Bug fix, field matching for fields that model array... |
blob | commitdiff | raw | diff to current |
2009-03-06 |
jjenista | Support cast nodes |
blob | commitdiff | raw | diff to current |
2009-03-05 |
jjenista | Alter token propagation from store so that computed... |
blob | commitdiff | raw | diff to current |
2009-03-05 |
jjenista | fix bug in alias reporting for Java programs |
blob | commitdiff | raw | diff to current |
2009-03-04 |
jjenista | during token propagation for store, change to, don... |
blob | commitdiff | raw | diff to current |
2009-03-04 |
jjenista | change global sweep to shrink reachability sets rather... |
blob | commitdiff | raw | diff to current |
2009-03-03 |
jjenista | Bug fix: report aliases between allocated objects in... |
blob | commitdiff | raw | diff to current |
2009-02-11 |
jjenista | fixed a bug, not an analysis bug, just a bug that write... |
blob | commitdiff | raw | diff to current |
2009-02-02 |
jjenista | disjointness for Java has all planned features |
blob | commitdiff | raw | diff to current |
2009-02-02 |
jjenista | working support for disjointness on Java, still needs... |
blob | commitdiff | raw | diff to current |
2009-01-31 |
jjenista | Added disjoint analysis for Java |
blob | commitdiff | raw | diff to current |
2008-11-11 |
jjenista | added concept of method context |
blob | commitdiff | raw | diff to current |
2008-11-10 |
jjenista | eliminate two erroneous statements in callee->caller... |
blob | commitdiff | raw | diff to current |
2008-11-09 |
jjenista | make sure strong updates do not affect benchmark result... |
blob | commitdiff | raw | diff to current |
2008-10-27 |
jjenista | realized strong updates has incorrect conditions, made... |
blob | commitdiff | raw | diff to current |
2008-10-08 |
jjenista | Global sweep added |
blob | commitdiff | raw | diff to current |
2008-10-08 |
jjenista | Committing a stable version of global sweep that works... |
blob | commitdiff | raw | diff to current |
2008-10-06 |
jjenista | Added hooks for global sweep and made sure that strong... |
blob | commitdiff | raw | diff to current |
2008-10-03 |
jjenista | Fixed a hack that was bugging me with a proper solution. |
blob | commitdiff | raw | diff to current |
2008-10-03 |
jzhou | add profile codes for multicore version |
blob | commitdiff | raw | diff to current |
2008-10-01 |
jjenista | Tighten up use of canonical objects and halt system... |
blob | commitdiff | raw | diff to current |
2008-09-29 |
jjenista | Introduced ZEROORMORE arity, something appears to be... |
blob | commitdiff | raw | diff to current |
2008-09-25 |
jjenista | Fix implementation to use little d when possible, and... |
blob | commitdiff | raw | diff to current |
2008-09-24 |
jjenista | Bug fix where two isolated heap regions with empty... |
blob | commitdiff | raw | diff to current |
2008-09-23 |
jjenista | First bug fix is that the "unshadow" token conversion... |
blob | commitdiff | raw | diff to current |
2008-09-22 |
jjenista | rewriting of callee tokens into caller tokens was incorrect |
blob | commitdiff | raw | diff to current |
2008-09-18 |
jjenista | exhaustive arity improves for benchmarks with ad=1 |
blob | commitdiff | raw | diff to current |
2008-09-18 |
jjenista | test for immutable instead of primitive to decide if... |
blob | commitdiff | raw | diff to current |
2008-09-17 |
jjenista | helpful progress reporting |
blob | commitdiff | raw | diff to current |
2008-09-11 |
jjenista | Bug fix: when rewriting a token set every permutation... |
blob | commitdiff | raw | diff to current |
2008-09-09 |
jjenista | fix dumb bug in test case, add graphing option |
blob | commitdiff | raw | diff to current |
2008-09-03 |
jjenista | forgot to make tabbing |
blob | commitdiff | raw | diff to current |
2008-09-03 |
jjenista | minor bug fixes and support for matching classes to... |
blob | commitdiff | raw | diff to current |
2008-09-02 |
jjenista | only analyze flat method node to allocate parameter... |
blob | commitdiff | raw | diff to current |
2008-09-02 |
jjenista | been forgetting to make tabbing |
blob | commitdiff | raw | diff to current |
2008-09-01 |
jjenista | Changed the top-level procedure for resolving a method... |
blob | commitdiff | raw | diff to current |
2008-08-30 |
jjenista | Put the rest of the top-level interface together |
blob | commitdiff | raw | diff to current |
2008-08-30 |
jjenista | alias query for param to alloc site |
blob | commitdiff | raw | diff to current |
2008-08-30 |
jjenista | step toward repairing top-level alias query interface |
blob | commitdiff | raw | diff to current |
2008-08-29 |
jjenista | Prune edges by field name and type when mapping from... |
blob | commitdiff | raw | diff to current |
2008-08-29 |
jjenista | added support for array element nodes |
blob | commitdiff | raw | diff to current |
2008-08-27 |
jjenista | update for methods and renaming of assignments for... |
blob | commitdiff | raw | diff to current |
2008-08-27 |
jjenista | write-to-graph changes |
blob | commitdiff | raw | diff to current |
2008-08-25 |
jjenista | bug fix, alpha and beta for allocated callee nodes... |
blob | commitdiff | raw | diff to current |
2008-08-25 |
jjenista | method call stably implemented as a first pass, results... |
blob | commitdiff | raw | diff to current |
2008-08-25 |
jjenista | for method calls, all reachability sets brought into... |
blob | commitdiff | raw | diff to current |
2008-08-22 |
jjenista | method call first draft almost finished. Need to go... |
blob | commitdiff | raw | diff to current |
2008-08-22 |
jjenista | steps 1-5 of method call algorithm implemented |
blob | commitdiff | raw | diff to current |
2008-08-21 |
jjenista | more method call stuff, still partial |
blob | commitdiff | raw | diff to current |
2008-08-21 |
jjenista | stable, still partial method calls |
blob | commitdiff | raw | diff to current |
2008-08-21 |
jjenista | Stable, partial implementation of method calls |
blob | commitdiff | raw | diff to current |
2008-08-19 |
bdemsky | Change tabbing for everything.... |
blob | commitdiff | raw | diff to current |
2008-08-18 |
jjenista | Changed allocation depth to default to minimum possible... |
blob | commitdiff | raw | diff to current |
2008-08-18 |
jjenista | Heap regions with no reachability token need to have... |
blob | commitdiff | raw | diff to current |
2008-08-15 |
jjenista | strong updates, everything ready to do method calls |
blob | commitdiff | raw | diff to current |
2008-08-15 |
jjenista | HeapRegionNode and ReferenceEdge both have had the... |
blob | commitdiff | raw | diff to current |
2008-08-15 |
jjenista | Retooled edges and basic stuff is working again (finall... |
blob | commitdiff | raw | diff to current |
2008-08-12 |
jjenista | Bug fix and makefile update |
blob | commitdiff | raw | diff to current |
2008-08-12 |
jjenista | Made a big change to reference edges, touched a lot... |
blob | commitdiff | raw | diff to current |
2008-08-11 |
jjenista | equals() and hashCode() methods are bunk |
blob | commitdiff | raw | diff to current |
2008-08-07 |
jjenista | I erroneously added this sanity check and wondered... |
blob | commitdiff | raw | diff to current |
2008-08-07 |
jjenista | Bug fix that param2id tables need to initialized for... |
blob | commitdiff | raw | diff to current |
2008-08-06 |
jjenista | Added fields to ReferenceEdgeProperties and combed... |
blob | commitdiff | raw | diff to current |
2008-08-05 |
jjenista | Break aging into smaller procedures and improve graphin... |
blob | commitdiff | raw | diff to current |
2008-08-05 |
jjenista | Prune change sets during token prop by beta info only... |
blob | commitdiff | raw | diff to current |
2008-08-04 |
jjenista | x.f = y now prunes new edge's beta by alpha at x |
blob | commitdiff | raw | diff to current |
2008-08-04 |
jjenista | Fixed x.f = y operation |
blob | commitdiff | raw | diff to current |
2008-07-27 |
jjenista | Reachability bug fixes. Tokens propagate and age in... |
blob | commitdiff | raw | diff to current |
2008-07-27 |
jjenista | Token propagation for normal assignments fixed. Tokens... |
blob | commitdiff | raw | diff to current |
2008-07-18 |
jjenista | Working on allocating with reachability, mostly the... |
blob | commitdiff | raw | diff to current |
2008-07-18 |
jjenista | Added some functionality to reachability classes that... |
blob | commitdiff | raw | diff to current |
2008-07-17 |
jjenista | Fixed propagation, different change sets for the x... |
blob | commitdiff | raw | diff to current |
2008-07-16 |
jjenista | Fixed a few minor bugs in token propagation, and major... |
blob | commitdiff | raw | diff to current |
2008-07-15 |
jjenista | Token propagation implemented, stable but incorrect... |
blob | commitdiff | raw | diff to current |
2008-07-15 |
jjenista | More reachability implementation, no token propagation... |
blob | commitdiff | raw | diff to current |
2008-07-15 |
jjenista | Added reachability to simple edge cases. |
blob | commitdiff | raw | diff to current |
2008-07-09 |
jjenista | Added reachability classes, all of which are extensions... |
blob | commitdiff | raw | diff to current |
2008-07-02 |
jjenista | Starting to integrate reachability classes into ownership. |
blob | commitdiff | raw | diff to current |
2008-06-24 |
jjenista | Some initial implementation of reachability for ownersh... |
blob | commitdiff | raw | diff to current |
2008-04-16 |
jjenista | Properly use transitive closure of allocation sites... |
blob | commitdiff | raw | diff to current |
2008-04-08 |
jjenista | A little code cleanup and support for different options... |
blob | commitdiff | raw | diff to current |
2008-04-08 |
jjenista | Fixed a bug in assigning temp to new allocation. Clear... |
blob | commitdiff | raw | diff to current |
2008-03-31 |
jjenista | Altered ownership graph to dot file by removing label... |
blob | commitdiff | raw | diff to current |
2008-03-28 |
jjenista | Retain properties of edges that are mapped from callee... |
blob | commitdiff | raw | diff to current |
2008-03-28 |
jjenista | When performing the operations: |
blob | commitdiff | raw | diff to current |
2008-03-27 |
jjenista | Stable capture. |
blob | commitdiff | raw | diff to current |
2008-03-26 |
jjenista | Stable capture of work on method call resolution, speci... |
blob | commitdiff | raw | diff to current |
2008-03-25 |
jjenista | Got clarification on how to resolve method calls, intro... |
blob | commitdiff | raw | diff to current |
2008-03-21 |
jjenista | Collect merge of FlatReturn ownership graphs for use... |
blob | commitdiff | raw | diff to current |
2008-03-13 |
jjenista | Stable state capture. |
blob | commitdiff | raw | diff to current |
next |