 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 |
|
|
yusufcanislek
|
3308ad7f65
|
feat: add review automation toolkit with full cutover
- review_buckets.py: shared bucket/risk/check taxonomy
- risk_map.py: PR risk assessment from diff
- invariant_guard.py: vector schema, manifest, backend invariant checks
- verify_plan.py: targeted verification planner with execution mode
- shard_pr.py: refactored to use shared bucket metadata
- run_review.py: orchestrator wiring all modules
- format_comment.py: markdown rendering for review comments
- docs/REVIEWER_RULES.md: reviewer rules with automation shortcuts
- .gitignore: ignore artifacts/ and tmp_*.json
Removed parallel/duplicate review scripts (verification_plan.py,
invariant_checks.py, lint_vectors.py, build_repro.py, __init__.py)
by full cutover to canonical modules.
|
2026-03-19 19:04:59 +03:00 |
|