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
981dbb8eda
fix: address PR #74 review findings (P1 stackMemory, P2 private API, P2 wide-load diagnostic)
...
- CustomPasses.hpp: move stackMemory declaration inside the per-function
loop so each function gets its own alloca with correct size and
ownership. Previously dormant (single-function modules) but wrong.
- verify_plan.py: rename _build_plan -> build_plan, _run_plan -> run_plan.
These are used cross-module by run_review.py and should be public API.
- run_review.py: update callers to use the renamed public functions.
- FileReader.hpp: add fprintf(stderr) diagnostic before silent return 0
on byteSize > 8 (wide SSE/AVX loads). Uses fprintf instead of
printvalue2 to avoid cross-layer dependency (memory -> core).
2026-03-26 07:45:10 +03:00
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
yusufcanislek