2.4.0

CHANGES:

• Remove unmaintained analyses: spec, file (#1281).
• Add linear two-variable equalities analysis (#1297, #1412, #1466).
• Add callstring, loopfree callstring and context gas analyses (#1038, #1340, #1379, #1427, #1439).
• Add non-relational thread-modular value analyses with thread IDs (#1366, #1398, #1399).
• Add NULL byte array domain (#1076).
• Fix spurious overflow warnings from internal evaluations (#1406, #1411, #1511).
• Refactor non-definite mutex handling to fix unsoundness (#1430, #1500, #1503, #1409).
• Fix non-relational thread-modular value analysis unsoundness with ambiguous points-to sets (#1457, #1458).
• Fix mutex type analysis unsoundness and enable it by default (#1414, #1416, #1510).
• Add points-to set refinement on mutex path splitting (#1287, #1343, #1374, #1396, #1407).
• Improve narrowing operators (#1502, #1540, #1543).
• Extract automatic configuration tuning for soundness (#1369).
• Fix many locations in witnesses (#1355, #1372, #1400, #1403).
• Improve output readability (#1294, #1312, #1405, #1497).
• Refactor logging (#1117).
• Modernize all library function specifications (#1029, #688, #1174, #1289, #1447, #1487).
• Remove OCaml 4.10, 4.11, 4.12 and 4.13 support (#1448).