summaryrefslogtreecommitdiff
path: root/impl/performance/run-bench.sh
AgeCommit message (Expand)Author
2012-11-27Thesis and performance testing related stuff.Carlo Zancanaro
2012-11-21Some performance stuff for the solverCarlo Zancanaro