All issues

Search results

we need to implement ParamAttrs::NoFree

Status: Open.

#1330 In AliveToolkit/alive2;

· regehr opened on Jul 22, 2026

Alive fails to typecheck valid LLVM program with struct padding

Status: Open.

#1328 In AliveToolkit/alive2;

· Benjins opened on Jul 22, 2026

Alive fails to typecheck valid LLVM program

Status: Open.

#1326 In AliveToolkit/alive2;

· Benjins opened on Jul 16, 2026

alive-exec crashes with an assertion failure on a valid LLVM IR program

Status: Open.

#1325 In AliveToolkit/alive2;

· Roticv912 opened on Jul 5, 2026

alive-exec does not correctly handle denormal_fpenv(positivezero|positivezero)

Status: Open.

#1324 In AliveToolkit/alive2;

· Roticv912 opened on Jul 5, 2026

New SMT choice operator

enhancementNew feature or request New feature or request

Status: Open.

#1317 In AliveToolkit/alive2;

· nunoplopes opened on May 28, 2026

Construction of forest in LoopAnalysis::run missing loop headers?

Status: Open.

#1305 In AliveToolkit/alive2;

· jelvani opened on Apr 21, 2026

byval unsoundness

Status: Open.

#1295 In AliveToolkit/alive2;

· regehr opened on Mar 16, 2026

FnCall::toSMT asserts when allocsize(0) is used with aggregate return type

Status: Open.

#1294 In AliveToolkit/alive2;

· IamYJLee opened on Mar 16, 2026

Simplify memory state to remove sub-byte access data

Status: Open.

#1289 In AliveToolkit/alive2;

· nunoplopes opened on Feb 11, 2026

Memory mismatch counterexample has wrong stored value

enhancementNew feature or request New feature or request

memoryMemory Model Memory Model

Status: Open.

#1280 In AliveToolkit/alive2;

· nunoplopes opened on Jan 26, 2026

Mismatch reported for nan values for promotion of half operation to float

Status: Open.

#1279 In AliveToolkit/alive2;

· arsenm opened on Jan 22, 2026