uwcms/FinalStateAnalysis — pull request #249 by mverzett (2013-07-19 12:59:41+00:00)
Title: Ok, it's a while that I don't commit

Many changes. I might also have messed up a bit up with git (I forgot to rebase). Merge with caution