1. 2006-10-24 [3] [Soot-list] line number soot-list Toth.Gabriell 2. 2006-10-23 [1] [Soot-list] coffi bug, suggested fix inside.. soot-list mbatch 3. 2006-10-19 [4] [Soot-list] source linenumber from jimple soot-list mbatch 4. 2006-10-11 [1] [Soot-list] instruction scheduling soot-list Hiroshi Yamau 5. 2006-10-11 [3] [Soot-list] What does this method return? soot-list Ondrej Lhotak 6. 2006-10-10 [3] [Soot-list] Thread.holdsLock(Object) soot-list Eric Bodden 7. 2006-10-07 [6] [Soot-list] soot soot-list mbatch 8. 2006-10-06 [3] [Soot-list] soot Eclipse plug-in getting errors on ol soot-list Niko Matsakis 9. 2006-10-06 [3] [Soot-list] restricting the scope of SPARK soot-list Niko Matsakis 10. 2006-10-05 [1] [Soot-list] (no subject) soot-list Peng Li 11. 2006-10-05 [1] [Soot-list] soot (line number) soot-list mbatch 12. 2006-10-03 [1] [Soot-list] can't find sun.misc.Version soot-list William G.J. 13. 2006-10-02 [2] [Soot-list] Numberable soot-list Ondrej Lhotak 14. 2006-10-02 [3] [Soot-list] Forcing reachability soot-list Ondrej Lhotak