All issues

Search results

Refinement error on cachedq

bug

Status: Open.

#1056 In hernanponcedeleon/Dat3M;

· ThomasHaas opened on Jul 14, 2026

Two possible GPU-related correctness inconsistencies

Status: Open.

#1039 In hernanponcedeleon/Dat3M;

· 8ws26y8gnh-cloud opened on Jun 5, 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

[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

Implementation of pthread_cond

Status: Open.

#661 In hernanponcedeleon/Dat3M;

· db7 opened on Apr 24, 2024

Discrepancy between eager encoding and CAAT with overflowing accesses

Status: Open.

#642 In hernanponcedeleon/Dat3M;

· ThomasHaas opened on Mar 22, 2024

SSA-like form for better encodings

Status: Open.

#576 In hernanponcedeleon/Dat3M;

· ThomasHaas opened on Nov 25, 2023