compiler options for call map debugging
[IRC.git] / Robust / src / Analysis / OwnershipAnalysis / OwnershipAnalysis.java
2009-10-16 jjenistacompiler options for call map debugging
2009-10-14 jjenistaupdating graph display options
2009-10-08 jjenistaAllow some disjointness improvements to be turned off...
2009-10-08 yeomdisjoint analysis with a set of flagged allocation...
2009-10-03 yeomadd analyzing SESE effects. generate read&write set...
2009-10-02 jjenistaadd option to graph visualization that supresses reacha...
2009-09-29 yeomAdd a running flag 'methodeffects' for new analysis.
2009-09-28 yeominitial commit for maintaining reference edges with...
2009-09-25 yeomfixes to handle non-static method properly.
2009-09-25 yeommove method effects analysis into disjoint analysis.
2009-09-24 yeominitial commit for method effects analysis.
2009-09-23 jjenistanew parameter decomposition, can't chain results yet
2009-09-18 jjenistaan interface for supporting decomposition of disjointne...
2009-09-17 jjenistaexplicit null heap region changes rolled back
2009-09-15 jjenistaadded support for null heap region, doesn't work perfec...
2009-09-14 jjenistafix for x = y.f statements copying by type and ignoring...
2009-04-09 jjenistastable introduction of mlp analysis, infrastructure...
2009-04-06 jjenistaMove mlp and sese stuff into a separate compiler pass
2009-03-24 jjenistaedge matching bug fix and add alpha source states back
2009-03-24 jjenistafix bug when mapping callee edges into caller, gotta...
2009-03-24 jjenistaimprove strong update conditions for store, add strong...
2009-03-23 jjenistafix edge propagation to union effects
2009-03-23 jjenistadon't add immutable or primitive parameters to alias...
2009-03-22 jjenistajust leave commented becuase it is a useful little...
2009-03-19 jjenistaStable, partially functional implementation of new...
2009-03-17 jjenistaBuild aliased parameter models--still a partial impleme...
2009-03-16 jjenistapartway to new parameter model
2009-03-16 jjenistaStable capture while moving towards typed heap regions...
2009-03-13 jjenistaBe more precise about enqueing dependent method context...
2009-03-13 jjenistaBug fixes:
2009-03-12 jjenistaimprove report and debug for analysis interface
2009-03-10 jjenistachanged analysis public interface to report a set of...
2009-03-09 jjenistaBug fix, was not growing the mapping of descriptors...
2009-03-06 jjenistaSupport cast nodes
2009-03-06 jjenistaFix bug where element access fields have wrong type...
2009-03-05 jjenistafiddling with debug util
2009-03-05 jjenistafix bug in alias reporting for Java programs
2009-03-04 jjenistaTopological sort actually helps some benchmarks quite...
2009-03-04 jjenistatopological sort has little impact in overall analysis...
2009-03-04 jjenistaTopologically sort callee leaves to front of analysis...
2009-03-03 jjenistaBug fix: report aliases between allocated objects in...
2009-02-11 jjenistafixed a bug, not an analysis bug, just a bug that write...
2009-02-05 jjenistaeliminate null disjoint tags when printing and use...
2009-02-04 jjenistaHandle multi-dimensional arrays in disjointness analysis
2009-02-02 jjenistadisjointness for Java has all planned features
2009-02-02 jjenistaworking support for disjointness on Java, still needs...
2009-01-31 jjenistaAdded disjoint analysis for Java
2009-01-13 jjenistajust a little change to print the full names of methods...
2008-11-12 jjenistatrim outputs for benchmarking
2008-11-11 jjenistaadded concept of method context
2008-10-03 jzhouadd profile codes for multicore version
2008-10-01 jjenistaFixed up another canonical misuse, changed wording...
2008-10-01 jjenistaTighten up use of canonical objects and halt system...
2008-09-18 jjenistapull in class files that already exist in library
2008-09-18 jjenistatest for immutable instead of primitive to decide if...
2008-09-17 jjenistahelpful progress reporting
2008-09-11 jjenistaBug fix: when rewriting a token set every permutation...
2008-09-09 jjenistabig fix for tracking latest ownership graph associated...
2008-09-09 jjenistafix dumb bug in test case, add graphing option
2008-09-09 jjenistacapture some debugging code
2008-09-04 jjenistaadd allocation depth to alias output file
2008-09-03 jjenistaadded ownership options
2008-09-03 jjenistaforgot to make tabbing
2008-09-03 jjenistaminor bug fixes and support for matching classes to...
2008-09-02 jjenistaonly analyze flat method node to allocate parameter...
2008-09-02 jjenistabeen forgetting to make tabbing
2008-09-01 jjenistaChanged the top-level procedure for resolving a method...
2008-08-30 jjenistaPut the rest of the top-level interface together
2008-08-30 jjenistaalias query for param to alloc site
2008-08-30 jjenistastep toward repairing top-level alias query interface
2008-08-29 jjenistaadded support for array element nodes
2008-08-27 jjenistaupdate for methods and renaming of assignments for...
2008-08-27 jjenistawrite-to-graph changes
2008-08-26 jjenistabug fix: when calculating methods dependent on a new...
2008-08-25 jjenistamethod call stably implemented as a first pass, results...
2008-08-22 jjenistamethod call first draft almost finished. Need to go...
2008-08-19 bdemskyChange tabbing for everything....
2008-08-18 jjenistaChanged allocation depth to default to minimum possible...
2008-08-18 jjenistaHeap regions with no reachability token need to have...
2008-08-15 jjenistaRetooled edges and basic stuff is working again (finall...
2008-08-12 jjenistaMade a big change to reference edges, touched a lot...
2008-08-11 jjenistaequals() and hashCode() methods are bunk
2008-08-07 jjenistaBug fix that param2id tables need to initialized for...
2008-08-05 jjenistaBreak aging into smaller procedures and improve graphin...
2008-07-27 jjenistaReachability bug fixes. Tokens propagate and age in...
2008-07-15 jjenistaAdded reachability to simple edge cases.
2008-07-09 jjenistaAdded reachability classes, all of which are extensions...
2008-04-16 jjenistaProperly use transitive closure of allocation sites...
2008-04-08 jjenistaA little code cleanup and support for different options...
2008-03-31 jjenistaAltered ownership graph to dot file by removing label...
2008-03-26 jjenistaStable capture of work on method call resolution, speci...
2008-03-25 jjenistaGot clarification on how to resolve method calls, intro...
2008-03-21 jjenistaCollect merge of FlatReturn ownership graphs for use...
2008-03-13 jjenistaStable state capture.
2008-03-10 jjenistaMost up-to-date allocation site algorithm implemented...
2008-03-03 jjenistaCapture stable state.
2008-02-29 jjenistaMethod scheduling handles recursion and dependency.
2008-02-27 jjenistaCapturing stable state.
2008-02-22 jjenistaCapture stable point.
2008-02-20 jjenistaChanged integration of ownership analysis into Main...
next