Issues

• Three problem with pthread mutexes

  hernanponcedeleon/Dat3M#1110 · Filter by author hernanponcedeleon opened on Sep 16, 2026
  2

• [Bug] ARMv8 CAS instruction (AMO) should not produce ctrl-deps

  bug
  hernanponcedeleon/Dat3M#1078 · Filter by author ThomasHaas opened on Aug 21, 2026
  8

• [Bug] WmmEncoder and CoarseRelationAnalysis

  bug
  hernanponcedeleon/Dat3M#1077 · Filter by author ThomasHaas opened on Aug 21, 2026

• Refinement error on cachedq

  bug
  hernanponcedeleon/Dat3M#1056 · Filter by author ThomasHaas opened on Jul 14, 2026

• Two possible GPU-related correctness inconsistencies

  hernanponcedeleon/Dat3M#1039 · Filter by author 8ws26y8gnh-cloud opened on Jun 5, 2026
  5

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

  hernanponcedeleon/Dat3M#1018 · Filter by author hernanponcedeleon opened on Mar 27, 2026
  4

• Add x86 MSA model + tests

  hernanponcedeleon/Dat3M#1017 · Filter by author hernanponcedeleon opened on Mar 26, 2026
  2

• [LLVM Parser] Constant strings are not parsed correctly

  hernanponcedeleon/Dat3M#946 · Filter by author ThomasHaas opened on Nov 1, 2025

• [Benchmark] Local data-flow benchmark

  benchmarksperformance
  hernanponcedeleon/Dat3M#941 · Filter by author ThomasHaas opened on Oct 1, 2025
  2

• Mismatch between full and field insensitive alias analysis

  hernanponcedeleon/Dat3M#880 · Filter by author hernanponcedeleon opened on May 9, 2025
  4

• Incomplete information in execution graph with RefinementSolver

  hernanponcedeleon/Dat3M#800 · Filter by author natgavrilenko opened on Feb 17, 2025

• Support for out-of-bound memory accesses

  hernanponcedeleon/Dat3M#793 · Filter by author natgavrilenko opened on Jan 16, 2025
  1

• Implementation of pthread_cond

  hernanponcedeleon/Dat3M#661 · Filter by author db7 opened on Apr 24, 2024
  3

• Discrepancy between eager encoding and CAAT with overflowing accesses

  hernanponcedeleon/Dat3M#642 · Filter by author ThomasHaas opened on Mar 22, 2024

• SSA-like form for better encodings

  hernanponcedeleon/Dat3M#576 · Filter by author ThomasHaas opened on Nov 25, 2023

• Feature: Improved source tracing and visualization of static analysis results

  hernanponcedeleon/Dat3M#544 · Filter by author ThomasHaas opened on Oct 27, 2023

• Static/Meta assertions

  enhancement
  hernanponcedeleon/Dat3M#537 · Filter by author ThomasHaas opened on Oct 19, 2023
  1

• Improved support for CAT features

  enhancementfeature
  hernanponcedeleon/Dat3M#535 · Filter by author ThomasHaas opened on Oct 14, 2023

• Feature: Collecting solving statistics for diagonstics

  enhancementfeature
  hernanponcedeleon/Dat3M#534 · Filter by author ThomasHaas opened on Oct 14, 2023

• Alternative encoding for must-sets

  enhancement
  hernanponcedeleon/Dat3M#533 · Filter by author ThomasHaas opened on Oct 12, 2023
  3

• Alternatives to partial coherence in the anarchic semantics for PTX

  enhancement
  hernanponcedeleon/Dat3M#532 · Filter by author ThomasHaas opened on Oct 11, 2023
  3

• Branchless Instructions & Dependencies

  hernanponcedeleon/Dat3M#385 · Filter by author ThomasHaas opened on Jan 26, 2023
  1

• The CAAT Solver is not thread-safe

  hernanponcedeleon/Dat3M#328 · Filter by author xeren opened on Oct 21, 2022
  1

• Chain-compositions

  enhancement
  hernanponcedeleon/Dat3M#72 · Filter by author ThomasHaas opened on Jul 4, 2021