cc2rtl - #170

Merged

nanocoh merged 61 commits into

Jul 26, 2026

Commits on Jul 14, 2026

bazel: derive naja -iquote prefix from repo mapping
oharboe
committed
ci: consumer smoke test — build kepler-formal as a bzlmod dependency
oharboe
committed
Merge pull request #158 from oharboe/fix-naja-includes-repo-mapping
nanocoh
authored
bazel: bump naja to najaeda bfc5649 (0.7.13), slang to matching submodule pin
oharboe
committed
Merge pull request #159 from oharboe/ci-consumer-smoke
nanocoh
authored
bazel: back naja pin off to 30f65197, the submodule commit

oharboe
and
claude
committed

Commits on Jul 15, 2026

Commits on Jul 18, 2026

Commits on Jul 19, 2026

Commits on Jul 20, 2026

Commits on Jul 24, 2026

fix(sec): bound PDR batch memory ownership
nanocoh
committed

Commits on Jul 25, 2026