Search results

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

likely loop unroling bug

Status: Open.

#1264 In AliveToolkit/alive2;

· regehr opened on Dec 22, 2025

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

initializes causes severe Z3 error

Status: Open.

#1220 In AliveToolkit/alive2;

· pedroclobo opened on Jun 29, 2025

False negative due to possibly incomplete handling of memory(argmem: ...)

Status: Open.

#1213 In AliveToolkit/alive2;

· antoniofrighetto opened on Jun 17, 2025

Try the new Z3 euf-completion tactic

performanceOpportunities for improving performanceOpportunities for improving performance

Status: Open.

#1211 In AliveToolkit/alive2;

· nunoplopes opened on Jun 7, 2025