Skip to content

Pull requests: mcminickpt/mcmini

New pull request New
12 Open 125 Closed
12 Open 125 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add producer-consumer example
#167 opened Jul 19, 2026 by harshitaleela Collaborator Loading…
1
Add mutex owner tests in pthread_mutex_lock/unlock type: enhancement The issue specifies a feature that should be added to the project
#158 opened Dec 25, 2025 by gc00 Collaborator Loading…
Improve mc_report_undefined_behavior_on_fail with correct PENDING TRANSITIONS type: bug-fix The PR resolves a bug. The bug need not be explicitly marked via an issue
#157 opened Dec 24, 2025 by gc00 Collaborator Loading…
Fix commit dfe4e77b: check hasWaiters() in Enqueue type: bug-fix The PR resolves a bug. The bug need not be explicitly marked via an issue
#155 opened Dec 22, 2025 by gc00 Collaborator Loading…
Avoid race b/w read/write shm_global_variable
#146 opened Aug 4, 2025 by aayushi363 Collaborator Loading…
2
McMini 1.0.0 release
#134 opened Oct 7, 2024 by gc00 Collaborator • Draft
Integrate DMCTP into McMini
#132 opened Jul 30, 2024 by maxwellpirtle Collaborator • Draft
Configure and patch for old GDB/Python
#130 opened Jul 12, 2024 by gc00 Collaborator Loading…
Overrun trace seq effort: 1 Requires little effort to complete type: enhancement The issue specifies a feature that should be added to the project
#128 opened Jul 1, 2024 by gc00 Collaborator • Draft
PTHREAD_COND_INITIALIZER: pthread_cond_wait case effort: 2 Requires some effort to complete type: bug-fix The PR resolves a bug. The bug need not be explicitly marked via an issue
#123 opened May 31, 2024 by gc00 Collaborator Loading…
1
mcmini-gdb: fix "mcmini back" type: enhancement The issue specifies a feature that should be added to the project
#121 opened May 29, 2024 by gc00 Collaborator • Draft
Remove MCDeferred: MCDeferred<MCStack> programState; -> MCStack *programState; type: enhancement The issue specifies a feature that should be added to the project
#105 opened Apr 14, 2024 by gc00 Collaborator Loading…
3
ProTip! What’s not been updated in a month: updated:<2026-06-24.