Search results

feat/blase: Create Less Naive Generalizer Based on Multi-Width tactic

Status: Open.

#1913 In opencompl/lean-mlir;

· bollu opened on Dec 1, 2025

blase/cav26: make list of problems that used to work on single-width instcombine, but not on multi-width instcombine

Status: Open.

#1905 In opencompl/lean-mlir;

· bollu opened on Nov 25, 2025

blase/cav26: make 10 examples for manasij/john

Status: Open.

#1904 In opencompl/lean-mlir;

· bollu opened on Nov 25, 2025

Blase: bring back support for left shifts

Status: Open.

#1831 In opencompl/lean-mlir;

· ineol opened on Nov 5, 2025

Bug: Evaluation.yml CI workflow jobs are not robust against cache evictions

Status: Open.

#1765 In opencompl/lean-mlir;

· alexkeizer opened on Oct 11, 2025

LLVM Evaluation Tracking issue

Status: Open.

#1757 In opencompl/lean-mlir;

· alexkeizer opened on Oct 9, 2025

Bug: the LLVM evaluation is broken

needs-consensusissues which affect the project as a whole, and which are currently blocked on reaching consensusissues which affect the project as a whole, and which are currently blocked on reaching consensus

Status: Open.

#1754 In opencompl/lean-mlir;

· alexkeizer opened on Oct 8, 2025

SSA.elimValuation triggers a (kernel) application type mismatch error

Status: Open.

#1748 In opencompl/lean-mlir;

· alexkeizer opened on Oct 8, 2025

tests: have a story for end-to-end tests that actually run the opt binary

Status: Open.

#1730 In opencompl/lean-mlir;

· alexkeizer opened on Oct 2, 2025

AliveStatements CI check in Testing, Tools, and auto-generated is Flaky

Status: Open.

#1697 In opencompl/lean-mlir;

· bollu opened on Sep 24, 2025

Two directories with the same name up to case

Status: Open.

#1684 In opencompl/lean-mlir;

· ineol opened on Sep 22, 2025

Should we maintain our own CI runner for building Docker images (to reduce time spent shuffling caches around)

needs-consensusissues which affect the project as a whole, and which are currently blocked on reaching consensusissues which affect the project as a whole, and which are currently blocked on reaching consensus

Status: Open.

#1606 In opencompl/lean-mlir;

· alexkeizer opened on Aug 27, 2025