Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 7, 2025

• Set version from 1.0.0 to 1.1.0 and autoreconf

  gc00

  committed
  077bafd

  Copy full SHA for 077bafd

• Add v1.1.0 branch/tag and update NEWS file

  gc00

  committed
  ef7232f

  Copy full SHA for ef7232f

• Fix configure.ac

  gc00

  committed
  73b2431

  Copy full SHA for 73b2431

Commits on Sep 17, 2025

• make clean: also clean Makefile_llvm

  harshitaleela

  committed
  7623114

  Copy full SHA for 7623114

• Updated help for LLVM and data races

  harshitaleela

  committed
  62a7cf2

  Copy full SHA for 62a7cf2

• 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

• Makefile.in: Add mcmini-annotate target

  gc00

  committed
  cdad45a

  Copy full SHA for cdad45a

• Makefile.in: check-gdb target wasn't correct

  gc00

  committed
  63caf09

  Copy full SHA for 63caf09

• Increase constants: max transitions in program, etc.

  gc00

  committed
  a3046cd

  Copy full SHA for a3046cd

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 May 11, 2025

• configure.ac: If old GDB, allow to configure twice

  gc00

  committed
  722b93c

  Copy full SHA for 722b93c

• Support gdb-8: Bring back mcmini-oldsys.patch

  gc00

  committed
  8b5a493

  Copy full SHA for 8b5a493

Commits on Apr 10, 2025

• deleting stray files

  

  aayushi363

  authored and

  maxwellpirtle

  committed
  2fe6b71

  Copy full SHA for 2fe6b71

Commits on Apr 4, 2025

• Better error msg for configure

  gc00

  committed
  fc1aa14

  Copy full SHA for fc1aa14

Commits on Feb 8, 2025

• mcmini-doc.readthedocs.io (Remove /en/latest/)

  gc00

  committed
  20f1e5d

  Copy full SHA for 20f1e5d

Commits on Oct 20, 2024

• Add NEWS file for Release v1.0.0

  gc00

  committed
  6ce587a

  Copy full SHA for 6ce587a

• Set version from 1.0 to 1.0.0 and autoreconf

  gc00

  committed
  559066b

  Copy full SHA for 559066b

Commits on Oct 4, 2024

• mcmini-gdb/mcmini-annotate msg: Please re-compile

  gc00

  committed
  4479ee8

  Copy full SHA for 4479ee8

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

  gc00

  committed
  7f3f43f

  Copy full SHA for 7f3f43f

Commits on Jul 26, 2024

• mcmini-annotate.py->mcmini-annotate: refs to file

  gc00

  committed
  92071e9

  Copy full SHA for 92071e9

• 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

• Remove obfuscation from MC_STRUCT_DECL

  gc00

  committed
  7d26b54

  Copy full SHA for 7d26b54

Commits on Jul 18, 2024

• Update clone.yaml

  gc00

  authored
  a6c4a1f

  Copy full SHA for a6c4a1f

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

• mcmini forward: TAB-completion for "end"

  gc00

  committed
  867dae5

  Copy full SHA for 867dae5

• Add copyright to gdbinit_commands.py

  gc00

  committed
  a9b5daa

  Copy full SHA for a9b5daa

Pagination

Previous

Next