 yusufcanislek
|
eb10474eb8
|
feat: commit working-tree changes required by rewrite gates
Lifter improvements:
- PathSolver.ipp: enhanced path memoization, switch-target diagnostics
- GEPTracker.ipp: expanded value tracking, graceful bail-out paths
- Semantics_Misc.ipp: clean up CPUID handler (remove dead comments,
simplify constant emission)
Rewrite infrastructure:
- instruction_microtests.json: add jumptable manifest entries
(calc_jumptable, jumptable_basic, jumptable_dense) with semantic cases
- golden_ir_hashes.json: add hashes for new jumptable samples
- build_samples.cmd: support C jumptable /O2 compilation pass
- oracle vectors: regenerated (oracle_vectors.json trimmed to current
seed set, full-handler vectors updated with new handlers)
- run_microtests.cmd / run_all_handlers.cmd: script improvements
- test.py: add jumptable semantic cases to coverage
Dev scripts:
- configure_iced/zydis.cmd, build_iced/zydis.cmd: improved toolchain
detection and MERGEN_BUILD_JOBS support
Review automation:
- format_comment.py, invariant_guard.py, risk_map.py, shard_pr.py:
minor fixes aligned with verify_plan public API rename
Docs:
- REWRITE_BASELINE.md: updated coverage summary and script docs
- REVIEWER_RULES.md: minor formatting
|
2026-03-26 07:53:43 +03:00 |
|