summaryrefslogtreecommitdiff
path: root/impl/performance/generate-long.py
AgeCommit message (Collapse)Author
2012-11-27Thesis and performance testing related stuff.Carlo Zancanaro
2012-11-21Some performance stuff for the solverCarlo Zancanaro