pexforfun.com: IntelliSense, High Score List, Publishing, Dynamic Ranking, Live Feed

Today, the Pex team is thrilled to announce a great makeover for pexforfun.com, adding several new features: IntelliSense That’s right, when you hit the ‘.’ after a name in the code editor, you get code completion, in your browser. Just as in Visual Studio! Well, almost. It currently only works for a subset of C#,…

1

Sign in on pexforfun.com, start earning medals

Using Windows Live™ ID, you can now sign in to pexforfun.com and get a personalized experience. After signing in, the Pex for fun website will track how many Coding Duels you tried to win, eventually won, and which ones you created yourself. Pex for fun also remembers the last program text you wrote for any…

5

Coding Duels on www.pexforfun.com

When we showed an earlier version of www.pexforfun.com to our long-term collaborator Tao Xie, Associate Professor at NCSU, he wondered whether the website could be more interactive, by making the user figure out and type in an entire implementation of an algorithm, instead of just guessing which values are interesting for a given implementation. And…

0

Share more puzzles on www.pexforfun.com

A few days ago we announced our new website, www.pexforfun.com. We had a tremendous response, and tens of thousands of visitors asking Pex to solve puzzles. Thanks to everyone for trying it out! Puzzle Sharing Made Easy We have just added a big new Permalink This Puzzle button, which allows you create a unique URL…

0

Announcing www.pexforfun.com

Today, the Pex team is thrilled to announce www.pexforfun.com, a web site that brings code to life. It analyzes small code snippets, and produces a table of interesting input and output values, often uncovering surprising corner cases. The code can be written in C#, Visual Basic, or F#. You do not need to install anything;…

5

SPUR: A Trace-Based JIT Compiler for CIL

Besides working on Pex, for the last year I have been driving forward a new research project, SPUR. SPUR is a “Trace-based JIT Compiler for CIL”, and it works especially well for dynamic languages, in particular JavaScript. Now, what does “Trace-based JIT Compiler for CIL” mean anyway? In a nutshell, it translates .NET code to…

0

Pex and Moles become Visual Studio 2010 Power Tools

After more than a year of community feedback on DevLabs, Pex and Moles have taken the next step and have become Visual Studio 2010 Power Tools. To reflect this step forward, we have increased the version number to 0.90. Pex and Moles still come with a Pre-Release license, which will not change until Visual Studio…

1

Moles – Replace any .NET method with a delegate

I just shot a short video giving a short demo of Moles, a new framework that allows replacing any .NET method with a delegate. In the context of unit testing, one can use Moles to isolate from environment dependencies (such as time, file system, database, etc…) even when those dependencies are hard-coded through static method or sealed…

2