Arctis 1.0.0.M0200

This update contains no new features, but removes numerous constraints on building blocks and their ESMs.

• Blocks are not forced to have a state anymore, it is possible to have blocks that start and terminate within the same step, as long as their ESM declares a corresponding transition. This transition goes directly from the initial state to a final state.


• Blocks may define their ESM so that they can be instantly restarted, within the same step.


• When a token tries to enter a block that is switched off, the token just ends outside of the block. We still report a warning on this, since it may indicate a mistake, but in some situations it's handy to just ignore some tokens as we found out.


• When a block does not obey its own ESM, all corresponding steps are filtered out during the transformation, which helps for more robust designs and simplify some specifications considerably.