Search results

Rust and LLVM issues

Status: Open.

#71 In MPI-SWS/genmc;

· ongardie-atomix opened on May 15, 2026

Segfault when calling __VERIFIER_method_begin and _end for the linearizability checker

Status: Open.

#70 In MPI-SWS/genmc;

· Daniel-A-W opened on Apr 22, 2026

Verifying a whole CMake project with genmc

Status: Open.

#69 In MPI-SWS/genmc;

· mquinson opened on Mar 2, 2026

Is BYTE_ALIGNMENT supported by genmc?

Status: Open.

#67 In MPI-SWS/genmc;

· ZhouJing728 opened on Feb 27, 2025

Any option to focus on race detection only?

Status: Open.

#66 In MPI-SWS/genmc;

· Misasasa opened on Jan 15, 2025

Error when running GenMC Persevere mode for the tutorial example

Status: Open.

#65 In MPI-SWS/genmc;

· IKACE opened on Dec 20, 2024

LKMM: failing cmpxchg should have no ordering

Status: Open.

#60 In MPI-SWS/genmc;

· JonasOberhauser opened on May 24, 2024

Rust Support

enhancementNew feature or requestNew feature or request

Status: Open.

#59 In MPI-SWS/genmc;

· ibraheemdev opened on May 18, 2024

Compiling with optimizations disabled results in runtime error

bugSomething isn't workingSomething isn't working

Status: Open.

#57 In MPI-SWS/genmc;

· matteo-meluzzi opened on Jan 17, 2024

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

enhancementNew feature or requestNew feature or request

Status: Open.

#49 In MPI-SWS/genmc;

· lilith218 opened on Nov 2, 2022

Feature request: support for argc, argv

enhancementNew feature or requestNew feature or request

Status: Open.

#36 In MPI-SWS/genmc;

· db7 opened on Jan 25, 2022

False positive in LKMM race detection?

Status: Open.

#35 In MPI-SWS/genmc;

· db7 opened on Jan 24, 2022