Miri-GenMC API refactor#4959

Open

michaliskok wants to merge 6 commits intorust-lang:masterfrom

michaliskok:genmc-miri-api-refactor

Commits on Apr 13, 2026

genmc: Use per-operation status enums instead of unions with bools
michaliskok
committed
genmc: Rename *Ext factory namespaces to Make* and drop from_ prefix
michaliskok
committed
genmc: Use std::visit with overloaded{} for HandleResult dispatch
michaliskok
committed
genmc: Add GenmcHandleResult<T> to collapse 3-field status checks
michaliskok
committed
genmc/build,cpp: Flatten genmc-sys/cpp/src/ folder
michaliskok
committed
genmc: Rename MiriGenmcShim to MiriGenMCInterface
michaliskok
committed