This release fixes a number of bugs. Non-exhaustive list below.
- [java] no more crash on class names containing "$$" (closes #3)
- [java] model for
assert (closes #68)
- [objective-c] support for
@import (closes #2)
- [c family] Infer now always reports on the right line numbers (closes #31)
- [c family] fix c++ compilation errors (closes #37)
