sliver v5.1

Changes since v5.0

• SLiVER: Fixed a bug with CBMC counterexample parsing
• LAbS: Updated/improved bundled examples

Additional instructions

After unpacking the zip archive, follow the instructions in README.txt.