0.5
v0.5: A major release, that makes backwards incompatible changes to
the generated code for the C backend.
The intent is for this release to be the last API-breaking one
before 2.0.
IMPORTANT: This release includes backwards incompatibilities. In
order to use it, you will need to add hooks for message
passing. See the parts of the tutorial that deal with
Handle_Message and Send_Message for details. In addition, some
names generated by Smudge may have been changed. If you use
anything other than alphanumeric characters for the names of
your state machines and events, you will have to update your
C code.
Features: Adds message passing hooks for user code to queue
events. Most names are now prettier. Added memory management
hooks for freeing events.
Documentation: Updated the tutorial to include the new and
exciting features.
Architecture: Replaced monolithic C backend with SmudgeIR
intermediate representation.
Tickets:
20: Refactor C backend to simplify.
60: Duration is Complicated.
65: Standardize on a properly injective mangling scheme
13: Message Passing is Complicated.
68: Fix documentation.