0.3.0 - 2019-08-06

Thanks to our external contributors!

• arcz

Ethereum

• Smart contracts are now compiled using Crytic-Compile #1406
• Added detector for strict comparisons to BALANCE #1481
• Added bitshift instructions #1498
• Added stub for STATICCALL (does not enforce static nature) #1494
• Updated EVM Examples #1486

Native

• Fixed getdents syscall #1472
• Fixed state merging examples #1482
• Support LSR.W on ARMV7 #1363
• Fixed CrackMe Example #1502
• Optimize CMPXCHG8B #1501
• Added fast_crash configuration setting that causes Manticore to immediately produce a finding on memory unsafety #1485

Other

• [changed API] Moved issymbolic into SMTLib to improve performance #1456
• Refactored API Docs #1469
• Fixed FileNotFound Error on state loading #1480

This change is