0.1 beta 2

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

Changes

🚀 Features

• Bitwise and overflow-sensitive symbolic operators @lucaneg (#134)
• Configurability of the AbstractState used for type inference @lucaneg (#132)
• Implementation of common statements and types @lucaneg (#129)

🐛 Bug Fixes

• Filename sanitization for FileManager @lucaneg (#131)

🧰 Maintenance

• Modularization @lucaneg (#16)