Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on May 14, 2026

• Add support for pthread_mutex_trylock

  Show description for 89fa410
  harshitaleela

  committed
  89fa410

  Copy full SHA for 89fa410

Commits on May 10, 2026

• BUG FIX: Premature waiter removal in condvar

  Show description for 1d36368
  harshitaleela

  committed
  1d36368

  Copy full SHA for 1d36368

Commits on Apr 25, 2026

• FIX: Updated canStopSafely check

  Show description for 04107c9
  harshitaleela

  committed
  04107c9

  Copy full SHA for 04107c9

• FIX: Check sleep sets for round-robin sched

  Show description for 6aad75b
  harshitaleela

  committed
  6aad75b

  Copy full SHA for 6aad75b

• FIX: Prevent segfault, correct PROGRESS detection

  Show description for ba1fa6e
  harshitaleela

  committed
  ba1fa6e

  Copy full SHA for ba1fa6e

Commits on Mar 29, 2026

• Implement cycle decomposition livelock algorithm

  Show description for 922a2f0
  harshitaleela

  committed
  922a2f0

  Copy full SHA for 922a2f0

• Add object-level equality for state comparison

  Show description for 6fe875b
  harshitaleela

  committed
  6fe875b

  Copy full SHA for 6fe875b

• Implement progress transition

  Show description for dee26d8
  harshitaleela

  committed
  dee26d8

  Copy full SHA for dee26d8

• Remove old livelock code

  Show description for 3d0ac8e
  harshitaleela

  committed
  3d0ac8e

  Copy full SHA for 3d0ac8e

• Add new flag --explore-round-robin|-r

  Show description for 0f33fff
  harshitaleela

  committed
  0f33fff

  Copy full SHA for 0f33fff

Commits on Jan 7, 2026

• More intuitive flag names for -m and -M

  Show description for 6f9ad55
  gc00

  committed
  6f9ad55

  Copy full SHA for 6f9ad55

Commits on Dec 8, 2025

• Don't sleep on usleep, nanosleep

  gc00

  committed
  514a098

  Copy full SHA for 514a098

• Fix minor compiler warnings

  gc00

  committed
  b392993

  Copy full SHA for b392993

Commits on Nov 29, 2025

• Livelock: using round robin cycle

  harshitaleela

  committed
  67aabc6

  Copy full SHA for 67aabc6

Commits on Nov 21, 2025

• Fix spelling errors

  gc00

  committed
  45456bd

  Copy full SHA for 45456bd

Commits on Sep 17, 2025

• LLVM plugin for data race detection

  Show description for b8d78b5
  harshitaleela

  committed
  b8d78b5

  Copy full SHA for b8d78b5

Commits on Sep 13, 2025

• FIX: Lower default maxTotalDepth for livelock

  Show description for 32fd4d0
  harshitaleela

  committed
  32fd4d0

  Copy full SHA for 32fd4d0

Commits on Aug 31, 2025

• Added a new struct, MCTransitionUniqueRep

  Show description for d28e6ac
  harshitaleela

  committed
  d28e6ac

  Copy full SHA for d28e6ac

Commits on Aug 24, 2025

• Added support for livelock detection

  Show description for 7b528d7
  harshitaleela

  committed
  7b528d7

  Copy full SHA for 7b528d7

• Added check to ensure -M is within bounds

  harshitaleela

  committed
  74e9efd

  Copy full SHA for 74e9efd

Commits on Aug 18, 2025

• supporting attributes in pthread_create

  aayushi363

  committed
  e59703c

  Copy full SHA for e59703c

• --all-deadlocks is default; not --first-deadlock

  gc00

  committed
  903c0b0

  Copy full SHA for 903c0b0

• gdbinit -> gdbinit.mcmini (and minor stuff)

  gc00

  committed
  46b4b61

  Copy full SHA for 46b4b61

Commits on Aug 13, 2025

• New flag for MAX_TRANSITIONS_DEPTH_LIMIT

  Show description for e18bb64
  harshitaleela

  committed
  e18bb64

  Copy full SHA for e18bb64

Commits on Oct 4, 2024

• --print-at-trace ==> --trace; -p ==> -t

  gc00

  committed
  7f3f43f

  Copy full SHA for 7f3f43f

Commits on Jul 26, 2024

• Search-replace #include ...:include/mcmini -> include

  gc00

  committed
  733cd01

  Copy full SHA for 733cd01

• Move include/mcmini -> include

  gc00

  committed
  d01e5ba

  Copy full SHA for d01e5ba

Commits on Jul 16, 2024

• Truncate traceSeq if deadlock reached earlier

  gc00

  committed
  bb3b8c1

  Copy full SHA for bb3b8c1

• Improve user info: traces done, MAX_TRANSITIONS

  gc00

  committed
  8799c66

  Copy full SHA for 8799c66

• Remove stale code

  gc00

  committed
  d03f23f

  Copy full SHA for d03f23f

• mcmini printTransitions: Number the transitions

  gc00

  committed
  9186104

  Copy full SHA for 9186104

• Add asterisk for next thread in traceSeq

  gc00

  committed
  5cf8a91

  Copy full SHA for 5cf8a91

• printNextTransitions: pipe: add to stdout w/ '\n'

  gc00

  committed
  c44d23d

  Copy full SHA for c44d23d

• Print '[ Done ]' if MCThreadFinish ('exits')

  gc00

  committed
  22a073e

  Copy full SHA for 22a073e

• Correctly print "[ Enabled ]", "[ Blocked ]", etc.

  

  maxwellpirtle

  authored and

  gc00

  committed
  37e20bb

  Copy full SHA for 37e20bb