unrealizable spec demonstrating ctrstrategy sys violation
Added pause function to the simulator
Completed factoring out the one-step-recovery as being optional.
add in CUDD patch for OS X; add OS X section to README
Some work on robot-on-a-grid benchmarks
Improved the (still very experimental) interactive strategy simulator a bit. The MOVE command now stores the current state and gives an error message if no initial state has been set yet.
IROS fastslow version 1
putting the fastslow condition in the trans to ensure that only FS-safe transitions get included in the winning strategy
forgot the full intermediate state condition last time
newStates is simpler than before
IROS fastslow extraction
Intermediate commit during restructuring Slugs to have a Slugs Variable Manager
Revert "Intermediate commit during restructuring Slugs to have a Slugs Variable Manager"

This reverts commit 6de3cb4541b3a54070539e1f8fe15536504b9a74.
Revert "Revert "Intermediate commit during restructuring Slugs to have a Slugs Variable Manager""

This reverts commit 8ee68dad092d479655852fbef4ffff799474a121.
solved seg fault problem with fastslow for robotics semantics
Before merging with Vasu's changes
Merge Vasu's changes on Fast/Slow with mine on restructuring slugs

Conflicts:
	src/extensionIROSfastslow.hpp
	src/gr1context.hpp
First alpha-testing candidate for the Slugs Variable Manager
Added new "Structured Slugs Parser", which allows working with specification like the one in examples/water_reservoir.structuredslugs
Now supporting variable numers in the scope of the "next" operator