0.1 beta 5

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

Changes

🚀 Features

• Call resolution v2 @lucaneg (#168)
• Symbol aliasing and analysis-time type inference @lucaneg (#180)
• Public Interval constructors @lucaneg (#186)

🐛 Bug Fixes

• Fixed CallGraphBasedAnalysis's init method @VincenzoArceri (#60)
• Restoring short-circuit capabilities @lucaneg (#167)
• CFG validation, AnalysisState initialization, PythonLikeMatchingStrategy and HybridCall fixes @lucaneg (#172)
• Python-like logic fix @lucaneg (#176)
• PointBasedHeap type rewriting @lucaneg (#182)
• Forcing call type to instance during resolution of unknown-type calls @lucaneg (#192)
• Bugfixing before 0.1b5 release @lucaneg (#193)

🧰 Maintenance

• Snapshot and actions @lucaneg (#166)