Commit Graph
2 Commits
Author SHA1 Message Date
Chris Tate ce6eb7e5fe Prefetch checker work by lowering phase (#181)
* Prefetch checker work by lowering phase

- Batch program structure and reachable body waves without querying dead bodies.
- Preserve memoization and panic fencing with focused checker coverage.

* Batch checker queries in coverage remainder

* Batch JavaScript class collection queries

* Batch managed checker analysis gaps

* Batch types for previously prefetched symbols
2026-08-20 18:17:08 -05:00
Chris TateandKhaled Ghallab d7b5891b4f Fix scriptc run on Windows
- Normalize Windows paths passed through the TS7 virtual filesystem.
- Emit and launch .exe outputs by default on Windows.
- Add targeted regressions and a Windows GitHub Actions smoke test.

Co-authored-by: Khaled Ghallab <171967089+Khaled-Ghallab@users.noreply.github.com>
2026-07-26 15:50:38 -05:00