Search results

[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

Rework ExecutionModel

Status: Open.

#732 In hernanponcedeleon/Dat3M;

· hernanponcedeleon opened on Sep 11, 2024

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