0.1

Milestone with issues list
Maven (sdk) - Maven (analyses) - Maven (program) - Maven (imp)
Javadoc (sdk) - Javadoc (analyses) - Javadoc (program) - Javadoc (imp)

🚀 Features

• Stability domain implementation @lucaneg (#307, #308)
• Substring relational domains @VincenzoArceri (#306)
• Implementation of the pentagon abstract domain @VincenzoArceri (#304)

🐛 Bug Fixes

• Visiting callbacks for arbitrary expressions @lucaneg (#313)
• HeapDomain implementation's rewriting now unboxes typing conversions @lucaneg (#300)
• Fix type-checking errors in Addition and Remainder statements. @giacomoboldini (#305)
• Unconditional dump of HTML support files @lucaneg (#303)
• Fixed typos in CodeMemberDescriptor javadoc strings. @giacomoboldini (#295)
• Propagating field information @lucaneg (#294)
• Added missing mk overload in FieldSensitivePointBasedHeap @lucaneg (#293)

🧰 Maintenance and others

• Restoring compareTo()'s @lucaneg (#298)
• Offset removal @lucaneg (#296)