Repository navigation

kepler-formal: delete the submodule and the per-platform build code; a bump is one line - #4732

Open

oharboe wants to merge 5 commits into

The-OpenROAD-Project:masterfrom

oharboe:kepler-formal-bazel

Open

kepler-formal: delete the submodule and the per-platform build code; a bump is one line#4732
oharboe wants to merge 5 commits into
The-OpenROAD-Project:masterfrom
oharboe:kepler-formal-bazel

Commits on Oct 24, 2026
- build_openroad: install kepler-formal with a relative RUNPATH
  saikatchatrg
  authored
  f072fc3
Commits on Oct 25, 2026
- etc/kepler-formal: pin kepler-formal and install it with one command
  
  oharboe
  and
  claude
  committed
  21f7101
- build_openroad: install kepler-formal from etc/kepler-formal
  
  oharboe
  and
  claude
  committed
  513e510
- Remove the tools/kepler-formal submodule
  
  oharboe
  and
  claude
  committed
  a92b10c
- DependencyInstaller: drop the packages only kepler-formal needed
  
  oharboe
  and
  claude
  committed
  2aa8f0a