summaryrefslogtreecommitdiffstats
path: root/scripts/simple_prove.sh
Commit message (Expand)AuthorAgeFilesLines
* pyabc: add additional scripts for HWMCC11 competitionBaruch Sterin2011-10-241-0/+14