← Back to branch summary

~verifypn-maintainers/verifypn/emptyTracePrint

~verifypn-maintainers/verifypn/emptyTracePrint

Viewing all changes in revision 202.

Committer: Jiri Srba
Date: 2018-04-25 11:43:19 UTC
Revision ID: srba.jiri@gmail.com-20180425114319-wa859k6ggdy0tclc

added MCC18 competition scripts, qemu guide and cluster scripts

files added:
Scripts/MCC18

Scripts/MCC18/cluster-scripts

Scripts/MCC18/cluster-scripts/analyze.sh

Scripts/MCC18/cluster-scripts/beancounting.sh

Scripts/MCC18/cluster-scripts/check_bc.sh

Scripts/MCC18/cluster-scripts/run_bc.sh

Scripts/MCC18/cluster-scripts/run_benchkit.sh

Scripts/MCC18/competition-scripts

Scripts/MCC18/competition-scripts/BenchKit_head.sh

Scripts/MCC18/competition-scripts/tapaal.sh

Scripts/MCC18/qemu

Scripts/MCC18/qemu/help.txt

Scripts/MCC18/qemu/login.sh

Scripts/MCC18/qemu/run.sh

Show diffs side-by-side

added added

removed removed

Scripts/MCC18/cluster-scripts/

Scripts/MCC18/cluster-scripts/analyze.sh

Scripts/MCC18/cluster-scripts/beancounting.sh

Scripts/MCC18/cluster-scripts/check_bc.sh

Scripts/MCC18/cluster-scripts/run_bc.sh

Scripts/MCC18/cluster-scripts/run_benchkit.sh

Scripts/MCC18/competition-scripts/

Scripts/MCC18/competition-scripts/BenchKit_head.sh

Scripts/MCC18/competition-scripts/tapaal.sh

Scripts/MCC18/qemu/

Scripts/MCC18/qemu/help.txt

Scripts/MCC18/qemu/run.sh

Older »