eb49a35cc7
Pin rewrite CI clang-cl toolchain
2026-04-04 15:53:28 +03:00
ce77dc514d
Fix loop recovery and clang-cl CI gaps
2026-04-04 15:12:49 +03:00
555a23def5
Force pinned LLVM clang in rewrite CI
2026-04-04 09:56:03 +03:00
2fd523b4e4
Pin CI clang toolchain selection
2026-04-04 09:47:18 +03:00
67c26c9bab
Fix iced CI cargo detection
2026-04-03 20:28:26 +03:00
8fba033cc6
Fix VMP gate and loop safety
2026-04-03 15:00:42 +03:00
cdd52c271a
feat: profile VMP samples and speed up lifting
...
- add nested lift diagnostics and helper-level profiling for protected381 targets
- refactor function signature specs and optimize folderBinOps fast paths
- implement the full SCAS family and document VMP 3.6 INT dispatcher findings
- add reproducible profiling scripts and root VMP testing notes
2026-03-31 22:02:57 +03:00
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
96f1caa06a
build: make iced/zydis selection deterministic in scripts and cmake
2026-03-19 01:59:44 +03:00
567e0d7daf
Add rewrite regression automation, vectors, and documentation
2026-03-03 23:04:21 +03:00
yusufcanislek