Skip to content

Issues: MPI-SWS/genmc

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

15 Open 45 Closed
15 Open 45 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Segfault when using fprintf(stderr, ...)
#64 opened Nov 18, 2024 by bifbof
Several compiler warnings when compiling with clang16
#63 opened Nov 10, 2024 by mingodad
1
Segmentation fault while using -dump-error-graph
#62 opened Oct 30, 2024 by bifbof
v0.10.2 does not compile with llvm 14.0.0
#61 opened Sep 13, 2024 by lilith218
1
LKMM: failing cmpxchg should have no ordering
#60 opened May 24, 2024 by JonasOberhauser
1
Rust Support enhancement New feature or request
#59 opened May 18, 2024 by ibraheemdev
1
Compiling with optimizations disabled results in runtime error bug Something isn't working
#57 opened Jan 17, 2024 by matteo-meluzzi
5
Feature Request: support for pthread_rwlock
#53 opened Mar 29, 2023 by lilith218
[missing feature/bug] thread local storage array results into LLVM error enhancement New feature or request
#49 opened Nov 2, 2022 by lilith218
1
Feature request: support for argc, argv enhancement New feature or request
#36 opened Jan 25, 2022 by db7
4
False positive in LKMM race detection?
#35 opened Jan 24, 2022 by db7
12
smp_acquire__after_ctrl_dep missing
#30 opened Nov 23, 2021 by db7
3
Stack variable and printf cause crash
#10 opened Jan 13, 2021 by JonasOberhauser
6
support full pthreads enhancement New feature or request
#8 opened Jan 12, 2021 by JonasOberhauser
Support realloc enhancement New feature or request
#7 opened Jan 11, 2021 by JonasOberhauser
2
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.