Limiting Boogie to report just one error.
Corral is now our default verifier.
Switching to using Corral as our default verifier.
Merged CDE packaging script Monty wrote.
Updated packaging script.
Updated our license to include a blurb about software packaged into our binary.
Merge branch 'develop' of https://github.com/smackers/smack into develop
Copy license file into our binary package.
Merge branch 'develop' into svcomp2015