Introduced ZEROORMORE arity, something appears to be broken so another change is...
[IRC.git] / Robust / src / Analysis / OwnershipAnalysis / ReachabilitySet.java
2008-09-29 jjenistaIntroduced ZEROORMORE arity, something appears to be...
2008-09-22 jjenistarewriting of callee tokens into caller tokens was incorrect
2008-09-18 jjenistaexhaustive arity improves for benchmarks with ad=1
2008-09-17 jjenistahelpful progress reporting
2008-08-30 jjenistastep toward repairing top-level alias query interface
2008-08-27 jjenistawrite-to-graph changes
2008-08-25 jjenistamethod call stably implemented as a first pass, results...
2008-08-25 jjenistafor method calls, all reachability sets brought into...
2008-08-21 jjenistamore method call stuff, still partial
2008-08-21 jjenistaStable, partial implementation of method calls
2008-08-19 bdemskyChange tabbing for everything....
2008-08-13 jjenistatoken classes combed over and tested thoroughly
2008-08-11 jjenistaequals() and hashCode() methods are bunk
2008-08-07 jjenistaBug fix that param2id tables need to initialized for...
2008-08-06 jjenistaAdded fields to ReferenceEdgeProperties and combed...
2008-08-04 jjenistax.f = y now prunes new edge's beta by alpha at x
2008-07-27 jjenistaReachability bug fixes. Tokens propagate and age in...
2008-07-18 jjenistaWorking on allocating with reachability, mostly the...
2008-07-18 jjenistaAdded some functionality to reachability classes that...
2008-07-17 jjenistaFixed propagation, different change sets for the x...
2008-07-16 jjenistaFixed a few minor bugs in token propagation, and major...
2008-07-15 jjenistaToken propagation implemented, stable but incorrect...
2008-07-09 jjenistaAdded reachability classes, all of which are extensions...
2008-07-02 jjenistaStarting to integrate reachability classes into ownership.
2008-07-01 jjenistaspecial union of reachability sets works correctly now
2008-07-01 jjenistaMore reachability set functionality, but not all there yet
2008-06-27 jjenistaBroadening implementation for reachability in ownership...
2008-06-26 jjenistaStraightened out TokenTuple equality and hash codes...
2008-06-24 jjenistaSome initial implementation of reachability for ownersh...