Adds SLURP submodule.
remove old code that ignores s_* propositions when loading FSAs
changed from template parser to SLURP; temporarily disabled locative preps
Updates SLURP and fixes SLURP/SpecEditor issues with proposition prefixes.
added SLURP dialogue tab to simGUI window
Changes specEditor to use new SpecGenerator class and updates to SLURP version that supports remote parsing.
slurp dialogue tab ignores empty commands now
Turns off gait check and adds custom props to SMV. Updates SLURP to latest.
Adds slurptest example.
save custom props generated by slurp into spec file correctly
fixes problem where custom props would get added multiple times to SMV file if recompiled multiple times in one session
create valid LTL output even if system spec is empty
adds basic analysis results window with treeview
Fix handling of implicit memory propositions in speceditor GUI and SMV output
Updates SLURP to return traceback tree and speceditor to receive it.
Updates SLURP to include begin/start support and adds testing specs.
bring in parse error highlighting from main dev branch
Updates SLURP to give a response for blank lines and possibly work on Windows.
Merge branch 'slurp-dev' of github.com:LTLMoP/LTLMoP into slurp-dev
use actual traceback tree from SLURP