Continued working on the incremental synthesis plugin
Continued working on the incremental synthesis plugin

LTLMoP/slugs,LTLMoP/slugs,LTLMoP/slugs,vraman/slugs,johnyf/slugs,jadecastro/slugs,LTLMoP/slugs,jadecastro/slugs,LTLMoP/slugs,johnyf/slugs,johnyf/slugs,jadecastro/slugs,vraman/slugs,vraman/slugs