Merge branch 'dev' into 'master'
New version of Proteo See merge request martini/malleability_benchmark!6
Codes/runTrace.sh
0 → 100644
Codes/runValgrind.sh
0 → 100644
Codes/trace.sh
0 → 100755
Exec/BashScripts/getCores.sh
0 → 100755
Exec/CheckRun.sh
100644 → 100755
Exec/Extrae/extrae.xml
0 → 100644
Exec/Extrae/trace.sh
0 → 100755
Exec/Extrae/worker_extrae.sh
0 → 100755
Please register or sign in to comment