81a86a0

What's Changed

• Symex hardening: z3 simplify pipeline, IRGen parent_function, NULL guards by @pgoodman in #587

Full Changelog: 3adf81d...81a86a0

6d3100a

What's Changed

• IRGen: fix EnumConstantDecl miscompile + verifier; symex: structural Concat fold for byte shadows by @pgoodman in #588

Full Changelog: 81a86a0...6d3100a

3adf81d

What's Changed

• Add symbolic execution engine (Phases 0-14) with IR binding fixes by @pgoodman in #585

Full Changelog: a784e63...3adf81d

a784e63

What's Changed

• Add configurable argument filter for mx-index by @pgoodman in #584

Full Changelog: 9970c91...a784e63

9970c91

What's Changed

• Refactor interpreter to policy-based library by @pgoodman in #583

Full Changelog: 6ed2e1e...9970c91

6ed2e1e

What's Changed

• Upgrade vendored dependencies by @pgoodman in #582

Full Changelog: c620dcc...6ed2e1e

c620dcc

What's Changed

• Add statement-level IR with codegen, interpreter, and test suite by @pgoodman in #581

Full Changelog: d5fd686...c620dcc

d5fd686

What's Changed

• Removes VAST and MLIR by @pgoodman in #580

Full Changelog: 585dbf6...d5fd686

e137812

What's Changed

• build: fix Dockerfile to build with llvm 18 by @kumarak in #576
• Add fork+exec support, update Indexing.md, and handle "-mrelocation-model pic" flag by @bsdb0y in #578

New Contributors

• @bsdb0y made their first contribution in #578

Full Changelog: 1705339...e137812

585dbf6

What's Changed

• build: fix Dockerfile to build with llvm 18 by @kumarak in #576
• Add fork+exec support, update Indexing.md, and handle "-mrelocation-model pic" flag by @bsdb0y in #578

New Contributors

• @bsdb0y made their first contribution in #578

Full Changelog: 1705339...585dbf6