Geoffrey Challen 3bab32f407 Still fixing synch naming.

2016-02-17 11:07:06 -05:00

..

synch

Rename tag as well.

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

synchprobs

Still fixing synch naming.

2016-02-17 11:07:06 -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