ispc/ispc — pull request #638 by ifilippov (2013-10-18 15:53:23+00:00)
Title: time in alloy

Adding time support in alloy.