some work on the new TD solver
work on TD solver
allow user input for osek analysis
split xml into more files
xml output
work in progress
top-down
top-down 2.0
slr3
solver comparison, fast-address set extension, work on solvers
New version of sLR3.ml

This should be integrated into sLR.ml, so that we have a single
code base for the sLR family of algorithms.
Add benchmark suite to test localization (esp. localized widening)
Comment out debugging instructions
update to slr*
simp
more dead-code output
deadlock
more deadlocks
_
_