c++ front end - #253

Open

nanocoh wants to merge 75 commits into

keplertech:mainfrom

Commits on Jul 10, 2026

Embed XLS C2RTL flow
nanocoh
committed
eed5606

Commits on Jul 11, 2026

fixes
nanocoh
committed
1056dde

Commits on Jul 12, 2026

Optimize lazy SEC cone materialization
nanocoh
committed
50117e1
Revert "Optimize lazy SEC cone materialization"
nanocoh
committed
4a198eb
legacy -> pdr
nanocoh
committed
5f438b0
Reapply "Optimize lazy SEC cone materialization"
nanocoh
committed
b1516a6

Commits on Jul 13, 2026

Trim embedded XLS C2RTL build surface
nanocoh
committed
7139166
sec in cc flow
nanocoh
committed
a23312d
deps fix in wfs
nanocoh
committed
78f665c
Merge branch 'main' into cc2rtl
nanocoh
authored
1679a38
Fix macOS Glucose build
nanocoh
committed
ddf0c60
Merge branch 'cc2rtl' of https://github.com/keplertech/kepler-formal into cc2rtl
nanocoh
committed
7a03f4c
update configs
nanocoh
committed
820f96d
update configs
nanocoh
committed
9949ec5
fix build
nanocoh
committed
419cdca
Fix C2RTL CMake CI builds
nanocoh
committed
bee5221
build fix
nanocoh
committed
6d0a274
build fix
nanocoh
committed
8a1b5d1
build fix
nanocoh
committed
6535b4b
build fix
nanocoh
committed
236c0f1
build fix
nanocoh
committed
3f455e9
build fix
nanocoh
committed
77537c0
build fix
nanocoh
committed
a307658
build fix
nanocoh
committed
96dd92d
build fix
nanocoh
committed
3ad766f
build fix
nanocoh
committed
5e3f783

Commits on Jul 14, 2026

Commits on Jul 26, 2026

Wire XLS C2RTL Bazel dependencies
nanocoh
committed
8fc9c2a
Merge main into cc2rtl
nanocoh
committed
3988b1a

Commits on Jul 27, 2026

Optimize C2RTL preprocessing and ancestry loop checks
nanocoh
committed
a4b0036

Commits on Aug 2, 2026

Commits on Aug 3, 2026

Reduce compact SEC memory and proof construction cost
nanocoh
committed
bcb8fd1
Fix stateless PDR equivalence checking
nanocoh
committed
7a00cad

Commits on Aug 10, 2026

Commits on Aug 11, 2026

Preserve C2RTL reference output names
nanocoh
committed
99ece4f

Commits on Aug 12, 2026

Add temporal C2RTL equivalence strategy
nanocoh
committed
1cd44ad
Report concrete C2RTL counterexample traces
nanocoh
committed
a1bb06b

Commits on Aug 13, 2026

Fix stale variable remaps in compact SEC
nanocoh
committed
b10b391
Preserve skipped outputs across SEC extraction batches
nanocoh
committed
9b2fcd6

Commits on Sep 12, 2026

Merge origin/main into cc2rtl-main-sync
nanocoh
committed
796f03e

Commits on Sep 13, 2026

Commits on Sep 14, 2026

Sync XLS upstream and update C2RTL dependencies
nanocoh
committed
4b81153

Commits on Sep 15, 2026

Honor BTOR2 export for compact identical inputs
nanocoh
committed
b184416
Merge origin/main into cc2rtl-main-sync
nanocoh
committed
37cfb60

Commits on Sep 20, 2026

Merge keplertech/main into fork main
nanocoh
committed
f37bf60
Add C2RTL input constraints and cycle-specific eventuals
nanocoh
committed
5975669
Fix Nix C++ frontend dependencies with prebuilt libraries
nanocoh
committed
8009a03
Match prebuilt Abseil template ABI in Linux Nix builds
nanocoh
committed
b72cf01
Preserve Nix CMake compiler flags as one argument
nanocoh
committed
3abd6c2
Use LLVM coverage reader for Clang CI builds
nanocoh
committed
1716c35
Expand C2RTL and deferred extraction test coverage
nanocoh
committed
8f3ce1d
Merge branch 'main' into main
nanocoh
authored
0c046ad
Fix C2RTL property config parsing and validation
nanocoh
authored
60c7ba8

Commits on Sep 21, 2026

Commits on Sep 22, 2026

Commits on Sep 23, 2026

Keep dual-rail PDR generalization cheap and non-fatal
nanocoh
committed
a483dac
Add a tagged-record C++ versus RTL CLI test
nanocoh
committed
146739f