Merge branch 'RMA-Distributions' into 'dev'
RMA functionality and refactor of many of the codes See merge request martini/malleability_benchmark!4
Exec/generalRun.sh
100644 → 100755
Exec/generalRunCostum.sh
0 → 100755
Exec/multipleRuns.sh
0 → 100755
Exec/runAll.sh
100644 → 100755
Exec/runTrace.sh
deleted
100644 → 0
Exec/singleRun.sh
100644 → 100755
Exec/singleRunCostum.sh
0 → 100755
Manual.pdf
0 → 100644
File added
Please register or sign in to comment