-
Notifications
You must be signed in to change notification settings - Fork 62
miri integration #60
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.
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
Labels
enhancement
New feature or request
Comments
xieyuschen
added a commit
to xieyuschen/iceoryx2
that referenced
this issue
Oct 1, 2024
Allow CI failures for now
xieyuschen
added a commit
to xieyuschen/iceoryx2
that referenced
this issue
Oct 1, 2024
Allow CI failures for now
xieyuschen
added a commit
to xieyuschen/iceoryx2
that referenced
this issue
Oct 1, 2024
Allow CI failures for now
xieyuschen
added a commit
to xieyuschen/iceoryx2
that referenced
this issue
Oct 1, 2024
Allow CI failures for now
xieyuschen
added a commit
to xieyuschen/iceoryx2
that referenced
this issue
Oct 1, 2024
Allow CI failures for now
xieyuschen
added a commit
to xieyuschen/iceoryx2
that referenced
this issue
Oct 1, 2024
Allow CI failures for now
xieyuschen
added a commit
to xieyuschen/iceoryx2
that referenced
this issue
Oct 1, 2024
xieyuschen
added a commit
to xieyuschen/iceoryx2
that referenced
this issue
Oct 1, 2024
xieyuschen
added a commit
to xieyuschen/iceoryx2
that referenced
this issue
Oct 1, 2024
xieyuschen
added a commit
to xieyuschen/iceoryx2
that referenced
this issue
Oct 1, 2024
xieyuschen
added a commit
to xieyuschen/iceoryx2
that referenced
this issue
Oct 1, 2024
xieyuschen
added a commit
to xieyuschen/iceoryx2
that referenced
this issue
Oct 1, 2024
xieyuschen
added a commit
to xieyuschen/iceoryx2
that referenced
this issue
Oct 1, 2024
17 tasks
xieyuschen
added a commit
to xieyuschen/iceoryx2
that referenced
this issue
Oct 1, 2024
xieyuschen
added a commit
to xieyuschen/iceoryx2
that referenced
this issue
Oct 2, 2024
xieyuschen
added a commit
to xieyuschen/iceoryx2
that referenced
this issue
Oct 3, 2024
xieyuschen
added a commit
to xieyuschen/iceoryx2
that referenced
this issue
Oct 3, 2024
xieyuschen
added a commit
to xieyuschen/iceoryx2
that referenced
this issue
Oct 3, 2024
xieyuschen
added a commit
to xieyuschen/iceoryx2
that referenced
this issue
Oct 3, 2024
xieyuschen
added a commit
to xieyuschen/iceoryx2
that referenced
this issue
Oct 3, 2024
xieyuschen
added a commit
to xieyuschen/iceoryx2
that referenced
this issue
Oct 3, 2024
xieyuschen
added a commit
to xieyuschen/iceoryx2
that referenced
this issue
Oct 3, 2024
xieyuschen
added a commit
to xieyuschen/iceoryx2
that referenced
this issue
Oct 3, 2024
xieyuschen
added a commit
to xieyuschen/iceoryx2
that referenced
this issue
Oct 3, 2024
xieyuschen
added a commit
to xieyuschen/iceoryx2
that referenced
this issue
Oct 3, 2024
orecham
added a commit
that referenced
this issue
Oct 3, 2024
[#60] Integrate Miri in CI with an allow list
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Brief feature description
To increase the code quality, fix potential undefined behavior and unravel race conditions and memory synchronization issues in lock-free code we need to integrate miri in our development workflow.
Todo
The text was updated successfully, but these errors were encountered: