0.1 beta 7

Milestone with issues list
Maven (sdk) - Maven (core) - Maven (imp)
Javadoc (sdk) - Javadoc (core) - Javadoc (imp)

Changes

🚀 Features

• Numeric analyses now handle modulo and remainder @lucaneg (#216)
• ReferenceType now always holds a single type @lucaneg (#228)
• Statements and symbolic expressions for Remainder and Modulo operations @lucaneg (#231)
• CFGs can be dumped to json/visual formats with no analyses @lucaneg (#230)

🐛 Bug Fixes

• Fixed Intervals.satisfis() @lucaneg (#235)
• Delayed registration of base types inside a TypeSystem instance @lucaneg (#227)
• isTop()/isBottom() of AnalysisState now considers expressions and aliasing @lucaneg (#229)
• Collapsing empty maps in FunctionalLattice instances @lucaneg (#233)

🧰 Maintenance and others

• Beta7 roundup @lucaneg (#239)
• Project actions @lucaneg (#226)