Issues

• Round bound misses a liveness violation that fits in the bound when main joins its threads

  MPI-SWS/genmc#77 · Filter by author dArk0x5a opened on Oct 7, 2026

• fetch_add/fetch_sub/fetch_nand on an int or narrower atomic keep the overflow bits, so a later CAS fails

  MPI-SWS/genmc#76 · Filter by author dArk0x5a opened on Oct 7, 2026

• RF edges generating incorrectly for local struct members

  MPI-SWS/genmc#74 · Filter by author Daniel-A-W opened on Sep 25, 2026
  1

• std::atomic_ref is not available in C++ programs

  MPI-SWS/genmc#72 · Filter by author Ignition opened on Sep 10, 2026
  1

• Rust and LLVM issues

  MPI-SWS/genmc#71 · Filter by author ongardie-atomix opened on May 15, 2026
  4

• Segfault when calling __VERIFIER_method_begin and _end for the linearizability checker

  MPI-SWS/genmc#70 · Filter by author Daniel-A-W opened on Apr 22, 2026
  2

• Verifying a whole CMake project with genmc

  MPI-SWS/genmc#69 · Filter by author mquinson opened on Mar 2, 2026
  1

• Is BYTE_ALIGNMENT supported by genmc?

  MPI-SWS/genmc#67 · Filter by author ZhouJing728 opened on Feb 27, 2025

• Any option to focus on race detection only?

  MPI-SWS/genmc#66 · Filter by author Misasasa opened on Jan 15, 2025
  1

• Error when running GenMC Persevere mode for the tutorial example

  MPI-SWS/genmc#65 · Filter by author IKACE opened on Dec 20, 2024
  6

• LKMM: failing cmpxchg should have no ordering

  MPI-SWS/genmc#60 · Filter by author JonasOberhauser opened on May 24, 2024
  1

• Rust Support

  enhancement
  MPI-SWS/genmc#59 · Filter by author ibraheemdev opened on May 18, 2024
  1

• Compiling with optimizations disabled results in runtime error

  bug
  MPI-SWS/genmc#57 · Filter by author matteo-meluzzi opened on Jan 17, 2024
  5

• [missing feature/bug] thread local storage array results into LLVM error

  enhancement
  MPI-SWS/genmc#49 · Filter by author lilith218 opened on Nov 2, 2022
  1

• Feature request: support for argc, argv

  enhancement
  MPI-SWS/genmc#36 · Filter by author db7 opened on Jan 25, 2022
  4

• False positive in LKMM race detection?

  MPI-SWS/genmc#35 · Filter by author db7 opened on Jan 24, 2022
  12

• smp_acquire__after_ctrl_dep missing

  MPI-SWS/genmc#30 · Filter by author db7 opened on Nov 23, 2021
  3

• Stack variable and printf cause crash

  MPI-SWS/genmc#10 · Filter by author JonasOberhauser opened on Jan 13, 2021
  6

• support full pthreads

  enhancement
  MPI-SWS/genmc#8 · Filter by author JonasOberhauser opened on Jan 12, 2021

• Support realloc

  enhancement
  MPI-SWS/genmc#7 · Filter by author JonasOberhauser opened on Jan 11, 2021
  2