Search results

Support resolving names through default template parameters

Status: Open.

#257 In SkyLabsAI/BRiCk;

· gmalecha-at-skylabs opened on Jul 8, 2026

Design workflow for validating cpp2v preprocessing

Status: Open.

#254 In SkyLabsAI/BRiCk;

· pgiarrusso-sl opened on Jul 3, 2026

Re-implement the name and type parsers

Status: Open.

Task

#252 In SkyLabsAI/BRiCk;

· gmalecha-at-skylabs opened on Jul 3, 2026

Failure in cpp2v with templates

Status: Open.

#250 In SkyLabsAI/BRiCk;

· gmalecha-at-skylabs opened on Jul 2, 2026

Eliminate verbose stack traces in ill-typed terms from cpp.prog

Status: Open.

Task

#248 In SkyLabsAI/BRiCk;

· gmalecha-at-skylabs opened on Jul 2, 2026

Test we can process ASTs for the C++ standard library in our docker container

Status: Open.

#245 In SkyLabsAI/BRiCk;

· pgiarrusso-sl opened on Jul 1, 2026

Split cpp.prog into separate plugins

Status: Open.

#239 In SkyLabsAI/BRiCk;

· pgiarrusso-sl opened on Jun 29, 2026

tptsto_agree is not sound in the simple_pred model

Status: Open.

Bug

#232 In SkyLabsAI/BRiCk;

· gmalecha-at-skylabs opened on Jun 22, 2026

Improve support for constexpr global

Status: Open.

#226 In SkyLabsAI/BRiCk;

· pgiarrusso-sl opened on Jun 17, 2026

Consider replacing Qp with dfrac, to use DfracDiscarded for read-only globals

Status: Open.

#225 In SkyLabsAI/BRiCk;

· pgiarrusso-sl opened on Jun 17, 2026

Specify __builtin_addressof builtin

Status: Open.

#170 In SkyLabsAI/BRiCk;

· gmalecha-at-skylabs opened on May 28, 2026

Require typechecking before verification

Status: Open.

Task

#168 In SkyLabsAI/BRiCk;

· gmalecha-at-skylabs opened on May 27, 2026