Search results

New SMT choice operator

enhancementNew feature or requestNew 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 requestNew feature or request

memoryMemory ModelMemory 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

ldexp intrinsic not understood

Status: Open.

#1262 In AliveToolkit/alive2;

· arsenm opened on Dec 17, 2025

getelementptr nuw appears not limited to index bits

Status: Open.

#1251 In AliveToolkit/alive2;

· nikic opened on Oct 21, 2025

read from dead alloc should return poison

memoryMemory ModelMemory Model

Status: Open.

#1242 In AliveToolkit/alive2;

· nunoplopes opened on Sep 11, 2025

Add support for allockind without allocsize

memoryMemory ModelMemory Model

Status: Open.

#1238 In AliveToolkit/alive2;

· nunoplopes opened on Aug 29, 2025

new semantics for object size

memoryMemory ModelMemory Model

Status: Open.

#1227 In AliveToolkit/alive2;

· nunoplopes opened on Jul 23, 2025