Skip to content

v0.3.2

Choose a tag to compare

View all tags
@levjj levjj released this 07 Oct 22:56
v0.3.2
f3a84c6

<a name"0.3.2">

0.3.2 (2017-10-07)

Bug Fixes

  • vcgen: add limited support for calls and other heap references in class invariants (517e1671)
Assets 2
Loading