couple fixes to make sure out-of-context nodes get all the states they need, and...
[IRC.git] / Robust / src / Analysis / Disjoint / DisjointAnalysis.java
2010-03-22 jjenistacouple fixes to make sure out-of-context nodes get...
2010-03-19 yeomchanges.
2010-03-19 jjenistamaking debugging easier
2010-03-19 yeomchanges.
2010-03-19 yeomadd interface.
2010-03-17 jjenistause different graph writing options to better find...
2010-03-17 jjenistafixed issues with dot graph writing that make our debug...
2010-03-17 yeomchanges for proper handling field.
2010-03-16 jjenistaworking hard on reachability, bunch of changes, still...
2010-03-16 yeombug fix.
2010-03-16 yeomchanges for handling tasks.
2010-03-13 jjenistaa start on reachability, not fully functioning yet
2010-03-10 jjenistabig checkin, lots of call site transfer bug fixes,...
2010-03-04 jjenistabug fix, other transfer funcs invoke mutating methods...
2010-03-01 jjenistacheck in a debug mode for call site transfer I use...
2010-02-23 jjenistasystem stable, call site transform wipes out graphs...
2010-02-22 jjenistabug fix, was too aggressive with equals method for...
2010-02-19 jjenistabig update--bringing implementation of new analysis...
2010-02-11 jjenistareevaluating abstract garbage collection, for now leave...
2010-02-09 jjenistachange analysis so nodes are added on demand, and abstr...
2010-02-04 jjenistaimplementing
2010-02-02 jjenistaimplementing
2010-01-20 jjenistabug fix: do dynamic tracking when a variable's source...
2010-01-07 jjenistamore implementation
2010-01-07 jjenistamore implementation
2010-01-06 jjenistamore implementation
2010-01-04 jjenistamore implementation
2009-12-31 jjenistamore implementation
2009-12-30 jjenistaworking on new implementation
2009-12-10 jjenistaStable compile finally, but system crashing in mid...
2009-12-09 jjenistachanges
2009-12-08 jjenistachanges
2009-12-07 jjenistachanges
2009-12-07 jjenistaimplementing
2009-12-02 jjenistastart of a revised disjoint reachability analysis