all changes for official testing
[IRC.git] / Robust / src / Tests / disjoint / predicateTest3 /
2010-03-22 jjenistafixed problem by differentiating between an element...
2010-03-19 jjenistamaking debugging easier
2010-03-17 jjenistause different graph writing options to better find...
2010-03-17 jjenistawas accidentally dropping param var to node edges when...
2010-03-17 jjenistaworking on reach prop, pred bugs, basic tests still...
2010-03-16 jjenistaworking hard on reachability, bunch of changes, still...
2010-03-16 jjenistaupdating the global sweep and some related code--this...
2010-03-15 jjenistamost of the missing context-rewriting code
2010-03-12 jjenistaa test that shows reachabiltiy states are broken