Geoffrey Challen 25ba3efe7f Rename tag as well.

2016-02-17 10:59:30 -05:00

..

synch

Rename tag as well.

2016-02-17 10:59:30 -05:00

synchprobs

Rename tag as well.

2016-02-17 10:59:30 -05:00

threads

Rename tag as well.

2016-02-17 10:59:30 -05:00

boot.t

Make sure boot test uses multiple cores.

2016-02-17 07:54:03 -05:00