Search results

Scalar not found error when using main (3e2cf758538f238c5c6af1209d7579f217f3979c)

Status: Open.

#181 In keplertech/kepler-formal;

· jeffng-or opened on Jul 31, 2026

std::bad_array_new_length exception encountered with blackbox

Status: Open.

#179 In keplertech/kepler-formal;

· jeffng-or opened on Jul 30, 2026

ModuleNotFoundError when trying to load in py_tech_files

Status: Open.

#178 In keplertech/kepler-formal;

· jeffng-or opened on Jul 30, 2026

No option to specify verilog top module?

Status: Open.

#174 In keplertech/kepler-formal;

· jeffng-or opened on Jul 28, 2026

Cross-engine gate-vs-gate equivalence (two synthesis tools, same RTL): supported use-case? LEC or SEC?

Status: Open.

#167 In keplertech/kepler-formal;

· oharboe opened on Jul 17, 2026

Feature request - Publish kepler-formal on bazel bcr

Status: Open.

#165 In keplertech/kepler-formal;

· oharboe opened on Jul 16, 2026

SEC on SV: shared div+mod lowers to a multi-output naja_divmod primitive and fails DB0 single-output check

Status: Open.

#163 In keplertech/kepler-formal;

· oharboe opened on Jul 16, 2026