Commits

History for

Commits on Jul 10, 2026

Add global variable value tracking
harshitaleela
committed
f8403bc
Report execution and livelock detection time in ms
harshitaleela
committed
461c100

Commits on Jun 23, 2026

Add --continue-after-data-race option
harshitaleela
committed
be748cb
Update enabledness checks in livelock exploration
harshitaleela
committed
b20261c

Commits on May 14, 2026

Add support for pthread_mutex_trylock
harshitaleela
committed
89fa410

Commits on May 10, 2026

BUG FIX: Premature waiter removal in condvar
harshitaleela
committed
1d36368

Commits on Apr 25, 2026

FIX: Updated canStopSafely check
harshitaleela
committed
04107c9
FIX: Check sleep sets for round-robin sched
harshitaleela
committed
6aad75b
FIX: Prevent segfault, correct PROGRESS detection
harshitaleela
committed
ba1fa6e

Commits on Mar 29, 2026

Implement cycle decomposition livelock algorithm
harshitaleela
committed
922a2f0
Add object-level equality for state comparison
harshitaleela
committed
6fe875b
Implement progress transition
harshitaleela
committed
dee26d8
Remove old livelock code
harshitaleela
committed
3d0ac8e
Add new flag --explore-round-robin|-r
harshitaleela
committed
0f33fff

Commits on Jan 7, 2026

More intuitive flag names for -m and -M
gc00
committed
6f9ad55

Commits on Dec 8, 2025

Don't sleep on usleep, nanosleep
gc00
committed
514a098
Fix minor compiler warnings
gc00
committed
b392993

Commits on Nov 29, 2025

Livelock: using round robin cycle
harshitaleela
committed
67aabc6

Commits on Nov 21, 2025

Fix spelling errors
gc00
committed
45456bd

Commits on Sep 17, 2025

LLVM plugin for data race detection
harshitaleela
committed
b8d78b5

Commits on Sep 13, 2025

FIX: Lower default maxTotalDepth for livelock
harshitaleela
committed
32fd4d0

Commits on Aug 31, 2025

Added a new struct, MCTransitionUniqueRep
harshitaleela
committed
d28e6ac

Commits on Aug 24, 2025

Added support for livelock detection
harshitaleela
committed
7b528d7
Added check to ensure -M is within bounds
harshitaleela
committed
74e9efd

Commits on Aug 18, 2025

supporting attributes in pthread_create
aayushi363
committed
e59703c
--all-deadlocks is default; not --first-deadlock
gc00
committed
903c0b0
gdbinit -> gdbinit.mcmini (and minor stuff)
gc00
committed
46b4b61

Commits on Aug 13, 2025

New flag for MAX_TRANSITIONS_DEPTH_LIMIT
harshitaleela
committed
e18bb64

Commits on Oct 4, 2024

--print-at-trace ==> --trace; -p ==> -t
gc00
committed
7f3f43f

Commits on Jul 26, 2024

Search-replace #include ...:include/mcmini -> include
gc00
committed
733cd01
Move include/mcmini -> include
gc00
committed
d01e5ba

Commits on Jul 16, 2024

Truncate traceSeq if deadlock reached earlier
gc00
committed
bb3b8c1
Improve user info: traces done, MAX_TRANSITIONS
gc00
committed
8799c66
Remove stale code
gc00
committed
d03f23f
mcmini printTransitions: Number the transitions
gc00
committed
9186104