AFifarek/SpeAR — pull request #7 by lgwagner (2014-12-02 17:14:18+00:00)
Title: added a new Spear layout for Counterexamples such that it is easier to s...

I've added counterexample formatting because I got tired of pouring through all of the random signals for 1.0. I did not add counterexample viewing in Eclipse yet but that is next on my list.