Nikolai Tillmann's Blog

Nikolai works at Microsoft Research on TouchDevelop, Pex, and Spur

September, 2008

  • Nikolai Tillmann's Blog

    Pex 0.7 Released

    We just published Pex 0.7 . This update is mainly a maintenance release. We have been working on fixing bugs, those reported by our users, as well as many others we found while using Pex internally. There are a few breaking changes (mainly renamings)...
Page 1 of 1 (1 items)