added robot waiter example and shopping with atm example
added runtime verification to the slugs branch
added LTL2LineNo in specCompiler and added IROS2013 paper example
show region bit representations in speceditor
modify to use TRUE, FALSE as environment and system propositions
in progress of adding the learning algorithm with RV. finishing up the first stage (only current inputs)
added three cases to modify the safety assumptions. working on removal of liveness guarantees for failure in all three cases
added removed system guarantees functionality
added appedning system liveness guarantees back to the ltl file
finished version of safety assumption addition (will terminate if env liveness assumptions are needed
trying to fix the value changing problem due to addition of printing. Still don't know why that is happening
added resynthesize when unsynthesizable from spec
modified fsa.py to obtain the right current state and sensor state (instead of next state and sensor state