Search results

Two possible GPU-related correctness inconsistencies

Status: Open.

#1039 In hernanponcedeleon/Dat3M;

· 8ws26y8gnh-cloud opened on Jun 5, 2026

Help understanding loop limitations

Status: Open.

#1035 In hernanponcedeleon/Dat3M;

· mmalcomson opened on May 26, 2026

Non-descriptive error msg when trying to parse unknown relations

Status: Open.

#1026 In hernanponcedeleon/Dat3M;

· hernanponcedeleon opened on Apr 15, 2026

[SVCOMP] Avoid false positives by enforcing unknown functions are not executed

Status: Open.

#1018 In hernanponcedeleon/Dat3M;

· hernanponcedeleon opened on Mar 27, 2026

Add x86 MSA model + tests

Status: Open.

#1017 In hernanponcedeleon/Dat3M;

· hernanponcedeleon opened on Mar 26, 2026

[Vulkan] Core dump (segfault) with Yices2 solver when --smtlib2=true is enabled

Status: Open.

#1012 In hernanponcedeleon/Dat3M;

· tonghaining opened on Mar 16, 2026

Implement new C++26 atomic operations

Status: Open.

#984 In hernanponcedeleon/Dat3M;

· mmalcomson opened on Feb 12, 2026

[LLVM Parser] Constant strings are not parsed correctly

Status: Open.

#946 In hernanponcedeleon/Dat3M;

· ThomasHaas opened on Nov 1, 2025

[Benchmark] Local data-flow benchmark

benchmarks

performance

Status: Open.

#941 In hernanponcedeleon/Dat3M;

· ThomasHaas opened on Oct 1, 2025

Mismatch between full and field insensitive alias analysis

Status: Open.

#880 In hernanponcedeleon/Dat3M;

· hernanponcedeleon opened on May 9, 2025

Incomplete information in execution graph with RefinementSolver

Status: Open.

#800 In hernanponcedeleon/Dat3M;

· natgavrilenko opened on Feb 17, 2025

Support for out-of-bound memory accesses

Status: Open.

#793 In hernanponcedeleon/Dat3M;

· natgavrilenko opened on Jan 16, 2025