← Back to branch summary

~verifypn-maintainers/verifypn/competition2015reachabilityBounds

~verifypn-maintainers/verifypn/competition2015reachabilityBounds

Viewing all changes in revision 64.

Committer: Jiri Srba
Date: 2015-05-07 08:34:53 UTC
Revision ID: srba@cs.aau.dk-20150507083453-boey5vn7bz5012me

removed competition scripts - moved to trunk

files removed:
Scripts/MCC15

Scripts/MCC15/BenchKit_head.sh

Scripts/MCC15/README.txt

Scripts/MCC15/check.sh

Scripts/MCC15/classicMC.sh

Scripts/MCC15/classicSEQ.sh

Scripts/MCC15/run.sh

Show diffs side-by-side

added added

removed removed

Scripts/MCC15/BenchKit_head.sh

Scripts/MCC15/README.txt

Scripts/MCC15/check.sh

Scripts/MCC15/classicMC.sh

Scripts/MCC15/classicSEQ.sh

Scripts/MCC15/run.sh

Older »