Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
mcmini
A Small, Extensible DPOR-based Model Checker
Other
Emerging
GitHub
Stars
—
Forks
—
Contributors
4
Last push
10mo ago
Recent commits
Latest commits.
Deterministically pick threads in the backtrack set
dd107aa
Maxwell Pirtle
39mo ago
Rename sleep_queue to wait_queue on cond policy
0335398
Maxwell Pirtle
39mo ago
Fix minor spelling mistakes
dfb8a78
Maxwell Pirtle
39mo ago
Remove threads from WakeGroup even if broadcast
459f642
Maxwell Pirtle
40mo ago
Add implementation of glibc condition variable
0a4ee0a
Maxwell Pirtle
40mo ago
Add distinction between single group vs two group policies
7ea4f85
Maxwell Pirtle
40mo ago
Add ordered wake up policy for condition variables
1c8c073
Maxwell Pirtle
40mo ago
Add implementation for arbitrary cvar policy
fdca57a
Maxwell Pirtle
40mo ago
Top contributors
Builders behind this project.
maxwellpirtle
248 commits
gc00
46 commits
lukagolf
36 commits
aayushi363
1 commits
