Space Invader 1.0 unleashed

Breaking news folks!
Space Invader version described in the paper

Scalable Shape Analysis for Systems Code (CAV 2008)

has been finally released. Get it from www.eastlondonmassive.org

Enjoy it!