ProtoSugar v1.3.0

Various improvements to framework stability and structure in general.

Added a new mapper, AioComp, and a custom UPPAAL build (see Assets) which adds support for the new "sequential composition (AioComp variant)" syntax.

The documentation has been migrated from the README to the built-in GitHub Wiki.

ProtoSugar v1.0.0.

The first release of ProtoSugar! See the README for a complete feature list.