v0.9.0-beta

Update version from alpha to beta

v0.8.3-alpha

This version is the one currently available at https://securiotesign.di.ubi.pt/.

v0.0.2

Huge commit of new features and bug fixes. These new features include…