Commit Graph

7 Commits

Author SHA1 Message Date
Ignacio
c0ad0f4d31 Merge changes from The Witness. 2015-10-28 23:53:08 -07:00
Ignacio
a083337473 Merge changes from The Witness. 2015-03-24 12:14:49 -07:00
castano
d019cd7080 Merge changes from the witness. 2014-11-04 17:49:29 +00:00
castano
3b4fcd0369 Merge changes from The Witness. 2012-07-20 16:19:03 +00:00
castano
c784e03be5 Try to increase robustness of thread pool. 2012-05-03 17:04:53 +00:00
castano
2364f539eb Porting parallel stuff to unix. 2011-09-27 18:12:32 +00:00
castano
3c0ab2d3f3 Merge changes from the witness. 2011-09-27 17:48:46 +00:00