All issues

Search results

Remove CFracSplittable*

Status: Open.

#282 In SkyLabsAI/BRiCk;

· pgiarrusso-sl opened on Aug 13, 2026

Unfuse temp_param

Status: Open.

#276 In SkyLabsAI/BRiCk;

· pgiarrusso-sl opened on Aug 1, 2026

Support scope extrusion

Status: Open.

#272 In SkyLabsAI/BRiCk;

· pgiarrusso-sl opened on Jul 23, 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

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