← Back to branch summary

~verifypn-maintainers/verifypn/competition2015multiplePlaceBounds

~verifypn-maintainers/verifypn/competition2015multiplePlaceBounds

Viewing all changes in revision 72.

Committer: Jiri Srba
Date: 2015-05-07 08:33:58 UTC
Revision ID: srba@cs.aau.dk-20150507083358-c0gdwr6y4bymn0a2

removed MCC15 scripts (moved to trunk instead)

files removed:
Scripts/MCC15

Scripts/MCC15/competition-scripts-linux

Scripts/MCC15/competition-scripts-linux/BenchKit_head.sh

Scripts/MCC15/competition-scripts-linux/classicMC.sh

Scripts/MCC15/competition-scripts-linux/classicSEQ.sh

Scripts/MCC15/test-scripts-mac

Scripts/MCC15/test-scripts-mac/BenchKit_head.sh

Scripts/MCC15/test-scripts-mac/README.txt

Scripts/MCC15/test-scripts-mac/check.sh

Scripts/MCC15/test-scripts-mac/classicMC.sh

Scripts/MCC15/test-scripts-mac/classicSEQ.sh

Scripts/MCC15/test-scripts-mac/run.sh

Show diffs side-by-side

added added

removed removed

Scripts/MCC15/competition-scripts-linux/

Scripts/MCC15/competition-scripts-linux/BenchKit_head.sh

Scripts/MCC15/competition-scripts-linux/classicMC.sh

Scripts/MCC15/competition-scripts-linux/classicSEQ.sh

Scripts/MCC15/test-scripts-mac/

Scripts/MCC15/test-scripts-mac/BenchKit_head.sh

Scripts/MCC15/test-scripts-mac/README.txt

Scripts/MCC15/test-scripts-mac/check.sh

Scripts/MCC15/test-scripts-mac/classicMC.sh

Scripts/MCC15/test-scripts-mac/classicSEQ.sh

Scripts/MCC15/test-scripts-mac/run.sh

Older »