torch/cutorch — pull request #83 by dominikgrewe (2014-11-19 17:09:00+00:00)
Title: Reset RNG state after device reset.

A device reset destroys the state of the RNG, so we have to re-initialize
it after each reset.