Backup of first version of benchmark packaging scripts


git-svn-id: svn+ssh://svn.cprover.org/var/lib/cvs/cprover-benchmarking@1 414c48d2-6aa5-4313-806e-6ad42db25467
backup of current linux-2.6.19-ddverify-con2 package


git-svn-id: svn+ssh://svn.cprover.org/var/lib/cvs/cprover-benchmarking@2 414c48d2-6aa5-4313-806e-6ad42db25467
backup of very outdated seq1/con1 packages


git-svn-id: svn+ssh://svn.cprover.org/var/lib/cvs/cprover-benchmarking@3 414c48d2-6aa5-4313-806e-6ad42db25467
backup new verification wrapper and current snapshot of rules file


git-svn-id: svn+ssh://svn.cprover.org/var/lib/cvs/cprover-benchmarking@4 414c48d2-6aa5-4313-806e-6ad42db25467
backup of early version of helper scripts for benchmarking


git-svn-id: svn+ssh://svn.cprover.org/var/lib/cvs/cprover-benchmarking@5 414c48d2-6aa5-4313-806e-6ad42db25467
first versions of utility scripts


git-svn-id: svn+ssh://svn.cprover.org/var/lib/cvs/cprover-benchmarking@6 414c48d2-6aa5-4313-806e-6ad42db25467
current state of scratch benchmark scripts


git-svn-id: svn+ssh://svn.cprover.org/var/lib/cvs/cprover-benchmarking@7 414c48d2-6aa5-4313-806e-6ad42db25467
various improvements and rewrites


git-svn-id: svn+ssh://svn.cprover.org/var/lib/cvs/cprover-benchmarking@8 414c48d2-6aa5-4313-806e-6ad42db25467
further refined and improved benchmarking scripts


git-svn-id: svn+ssh://svn.cprover.org/var/lib/cvs/cprover-benchmarking@9 414c48d2-6aa5-4313-806e-6ad42db25467
- ddverify/linux 2.6.19 will be replaced by completely new package
- added loopfrog benchmark suites
- updated scratch benchmarks


git-svn-id: svn+ssh://svn.cprover.org/var/lib/cvs/cprover-benchmarking@10 414c48d2-6aa5-4313-806e-6ad42db25467
- added upstream source archives (backup only)
- new linux-2.6.19-ddverify package


git-svn-id: svn+ssh://svn.cprover.org/var/lib/cvs/cprover-benchmarking@11 414c48d2-6aa5-4313-806e-6ad42db25467
Added license file and license headers

- License file from cprover CVS without 5th clause (no email required)

git-svn-id: svn+ssh://svn.cprover.org/var/lib/cvs/cprover-benchmarking@12 414c48d2-6aa5-4313-806e-6ad42db25467
Documentation of benchmark framework

- Currently only the archive management part is properly documented

git-svn-id: svn+ssh://svn.cprover.org/var/lib/cvs/cprover-benchmarking@13 414c48d2-6aa5-4313-806e-6ad42db25467
Be more verbose about recorded changes

- Also clarified error message in case of binary files found in diff

git-svn-id: svn+ssh://svn.cprover.org/var/lib/cvs/cprover-benchmarking@14 414c48d2-6aa5-4313-806e-6ad42db25467
More portable mktemp command line parameters

- Code now works on Mac OS X as well

git-svn-id: svn+ssh://svn.cprover.org/var/lib/cvs/cprover-benchmarking@15 414c48d2-6aa5-4313-806e-6ad42db25467
Updated ddverify example package

git-svn-id: svn+ssh://svn.cprover.org/var/lib/cvs/cprover-benchmarking@16 414c48d2-6aa5-4313-806e-6ad42db25467
Script to use cilly for producing code that is suitable for CPAchecker

git-svn-id: svn+ssh://svn.cprover.org/var/lib/cvs/cprover-benchmarking@17 414c48d2-6aa5-4313-806e-6ad42db25467
Further improvements and cleanup of scripts

- Moved template rules file out of update.sh for much simplified management
- Added version info in VERSION file
- list_claims.sh and verify.sh only support --cmd syntax to specify command

git-svn-id: svn+ssh://svn.cprover.org/var/lib/cvs/cprover-benchmarking@18 414c48d2-6aa5-4313-806e-6ad42db25467
Updated ddverify package

git-svn-id: svn+ssh://svn.cprover.org/var/lib/cvs/cprover-benchmarking@19 414c48d2-6aa5-4313-806e-6ad42db25467
Made scripts work with blast and cpachecker

git-svn-id: svn+ssh://svn.cprover.org/var/lib/cvs/cprover-benchmarking@20 414c48d2-6aa5-4313-806e-6ad42db25467