aboutsummaryrefslogtreecommitdiff
path: root/test-suite/success/paralleltac.v
AgeCommit message (Expand)Author
2016-06-17par: like all: but in parallelEnrico Tassi
2014-08-05STM: new "par:" goal selector, like "all:" but in parallelEnrico Tassi