Data

Tools

Indexes

Applications

Experiments

Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / jonas-schievink/irq issues and pull requests

#10 - Remove the Peterson lock impl

Pull Request - State: closed - Opened by jonas-schievink over 4 years ago

#9 - ci: run tests in miri

Pull Request - State: closed - Opened by jonas-schievink over 4 years ago

#8 - Set up GitHub Actions

Pull Request - State: closed - Opened by jonas-schievink over 4 years ago

#7 - Problems using irq in a real-world use case.

Issue - State: closed - Opened by tstellanova over 5 years ago - 6 comments

#6 - Improve docs for when handlers are deregistered again

Issue - State: closed - Opened by jonas-schievink over 5 years ago

#5 - Handler closures need a `Send` bound

Issue - State: closed - Opened by jonas-schievink over 5 years ago
Labels: bug

#4 - Clarify exactly when locking can fail

Issue - State: closed - Opened by jonas-schievink over 5 years ago

#3 - Write compile-fail tests

Issue - State: closed - Opened by jonas-schievink over 5 years ago - 1 comment

#2 - Smoke test the Peterson lock impl

Issue - State: closed - Opened by jonas-schievink over 5 years ago

#1 - Run Miri tests in CI

Issue - State: closed - Opened by jonas-schievink over 5 years ago