Fixes #73

Open

nanocoh wants to merge 83 commits into

mainfrom

Commits on Nov 27, 2025

Merge pull request #23 from keplertech/main
nanocoh
authored

Commits on Nov 29, 2025

Merge pull request #24 from keplertech/main
nanocoh
authored
yaml support
nanocoh
committed
update testing
nanocoh
committed
update testing
nanocoh
committed
yaml dep
nanocoh
committed
spdlog dep
nanocoh
committed
fix
nanocoh
committed
fix
nanocoh
committed
fix
nanocoh
committed
fix
nanocoh
committed
fix
nanocoh
committed
fix
nanocoh
committed
fix
nanocoh
committed
fix
nanocoh
committed
fix
nanocoh
committed
fix
nanocoh
committed
fix
nanocoh
committed
fix
nanocoh
committed
fix
nanocoh
committed
fix
nanocoh
committed

Commits on Nov 30, 2025

Commits on Dec 5, 2025

Commits on Dec 21, 2025

sync (#33)

nanocoh
and
xtofalex
authored

Commits on Dec 24, 2025

Commits on Dec 26, 2025

Rename CmakeLists.txt to CMakeLists.txt
nanocoh
authored

Commits on Jan 2, 2026

Commits on Jan 3, 2026

cov
nanocoh
committed
cov
nanocoh
committed

Commits on Jan 5, 2026

Commits on Jan 6, 2026

Commits on Jan 11, 2026

Merge branch 'main' of https://github.com/keplertech/kepler-formal into se
nanocoh
committed

Commits on Jan 12, 2026

merge
nanocoh
committed
unify work for logic cone
nanocoh
committed
fixes
nanocoh
committed

Commits on Jan 16, 2026

Commits on Jan 19, 2026

removing prints
nanocoh
committed