add option to graph visualization that supresses reachability subsets, for improved...
[IRC.git] / Robust / src / Analysis / OwnershipAnalysis / TokenTupleSet.java
2009-03-24 bdemskycache lots of results instead of recomputing them
2009-03-24 bdemskyspeedup
2009-03-24 bdemskyimprove performance
2009-03-20 jjenistanew parameter model and mapping procedure stable, doing...
2008-10-08 jjenistaCommitting a stable version of global sweep that works...
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-29 jjenistaIntroduced ZEROORMORE arity, something appears to be...
2008-09-23 jjenistaFirst bug fix is that the "unshadow" token conversion...
2008-09-11 jjenistaBug fix: when rewriting a token set every permutation...
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-22 jjenistasteps 1-5 of method call algorithm implemented
2008-08-21 jjenistause unionUpArity in simple rewrite scenario also
2008-08-21 jjenistamore method call stuff, still partial
2008-08-21 jjenistastable, still partial method calls
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-13 jjenistaupdated TokenTuple and TokenTupleSet, tested
2008-08-12 jjenistaMade a big change to reference edges, touched a lot...
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-27 jjenistaToken propagation for normal assignments fixed. Tokens...
2008-07-18 jjenistaWorking on allocating with reachability, mostly the...
2008-07-18 jjenistaAdded some functionality to reachability classes that...
2008-07-09 jjenistaAdded reachability classes, all of which are extensions...
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...