The Scorpion IDP project's code base.