MPI-SWS/genmc

Issues

• Segfault when using `fprintf(stderr, ...)`

  #64 opened 7 days ago by bifbof
  0

• Several compiler warnings when compiling with clang16

  #63 opened 15 days ago by mingodad
  1

• Segmentation fault while using `-dump-error-graph`

  #62 opened a month ago by bifbof
  0

• v0.10.2 does not compile with llvm 14.0.0

  #61 opened 2 months ago by lilith218
  1

• Compiling with optimizations disabled results in runtime error

  #57 opened 10 months ago by matteo-meluzzi
  5

• Rust Support

  #59 opened 6 months ago by ibraheemdev
  1

• Several issues with one client

  #56 opened 2 months ago by lilith218
  1

• LKMM: failing cmpxchg should have no ordering

  #60 opened 6 months ago by JonasOberhauser
  1

• Strange case with compare and swap

  #52 opened a year ago by PavelAndrianov
  1

• BUG: Failure at PromoteMemIntrinsicPass.cpp:78/promoteMemSet()!

  #51 opened a year ago by lilith218
  1

• BUG: Failure at MOCalculator.cpp:65/getStoreOffset()!

  #45 opened a year ago by lilith218
  6

• BUG: Failure at MOCalculator.cpp:65/getStoreOffset()!

  #54 opened a year ago by bupt01
  2

• Feature Request: support for pthread_rwlock

  #53 opened 2 years ago by lilith218
  0

• Feature request: support for argc, argv

  #36 opened 3 years ago by db7
  4

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

  #49 opened 2 years ago by lilith218
  1

• Bug with -imm (dependency broken after revisit?)

  #48 opened 2 years ago by lilith218
  1

• LLVM-6 build is much faster than LLVM-14 build

  #46 opened 2 years ago by PavelAndrianov
  5

• fprintf(stderr,...) triggers a crash in genmc

  #47 opened 2 years ago by lilith218
  1

• genmc vs IMM paper (Remark 2)

  #44 opened 2 years ago by hernanponcedeleon
  3

• Problems with while(x--)

  #42 opened 2 years ago by a-turko
  2

• Unexpected failure of cmpxchg

  #41 opened 2 years ago by db7
  1

• GenMC crashes if built against assertions-enabled LLVM

  #28 opened 2 years ago by margnus1
  1

• bug: Anomaly with seq_cst and assert

  #50 opened 2 years ago by tomtomjhj
  1

• Unexpected behaviour under the unroll option.

  #43 opened 3 years ago by a-turko
  1

• LKMM atomic_andnot and non-returning atomics

  #39 opened 3 years ago by db7
  1

• Macro `__CONFIG_GENMC_INODE_DATA_SIZE` not defined

  #40 opened 3 years ago by lstricevic
  1

• Incorrect detection of Non-termination with two reads to the same location

  #29 opened 3 years ago by JonasOberhauser
  3

• Bug in liveness-violation report

  #34 opened 3 years ago by db7
  3

• BUG: Failure at Execution.cpp:242/getStaticAddr()! in GenMC 0.7, IMM and RC11

  #37 opened 3 years ago by db7
  3

• Segmentation fault with IMM

  #38 opened 3 years ago by db7
  2

• False positive in LKMM race detection?

  #35 opened 3 years ago by db7
  12

• smp_acquire__after_ctrl_dep missing

  #30 opened 3 years ago by db7
  3

• Publish docker version for 0.6.1

  #33 opened 3 years ago by Viatorus
  3

• Failure at GenMCDriver.cpp:2017/visitMalloc()! with no malloc

  #32 opened 3 years ago by db7
  3

• segmentation fault on array initialization, when array of size 9 or more

  #27 opened 3 years ago by lilith218
  2

• Failure at EventLabel.cpp:202/operator<<()! with Linux mcs_spinlock.h (LKMM)

  #31 opened 3 years ago by db7
  2

• sprintf causes seg fault, when the buffer is defined on the stack

  #26 opened 3 years ago by lilith218
  3

• Some confusion about memory models in GenMC

  #25 opened 3 years ago by fanhy2114
  4

• Incorrect liveness violation detection

  #17 opened 3 years ago by db7
  3

• Instruction does not dominate all uses

  #24 opened 3 years ago by db7
  3

• LKMM dependency tracking issues

  #23 opened 3 years ago by db7
  3

• LKMM xchg as a full barriers

  #22 opened 3 years ago by db7
  5

• installation of header files

  #21 opened 3 years ago by db7
  1

• cmpxchg in lkmm.h

  #20 opened 3 years ago by db7
  2

• Access to freed struct not detected

  #18 opened 3 years ago by lilith218
  2

• Using __VERIFIER_spin_{start,end}

  #16 opened 3 years ago by db7
  10

• misdetection of spinloop in GenMC v0.6

  #15 opened 3 years ago by db7
  5

• GenMC crash with -check-liveness and -disable-spin-assume

  #19 opened 3 years ago by db7
  2

• free(NULL)

  #13 opened 3 years ago by JonasOberhauser
  1

• malloc + pthread_mutex_init does not seem to work

  #14 opened 3 years ago by JonasOberhauser
  1