Skip to content

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

Open
oharboe wants to merge 16 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 16 commits into
The-OpenROAD-Project:masterfrom
oharboe:kepler-formal-bazel

kepler-formal: install the dependency license notices

225ee88
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Nov 9, 2026 in 1s

DCO

All commits are signed off!

View more details on DCO