Commits

Branch selector

 main

User selector

gc00

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 Aug 18, 2025

• --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 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 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

• 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

• Add more info for MCStack::printNextTransitions()

  gc00

  committed
  9a9720c

  Copy full SHA for 9a9720c

• Polish getNextTraceSeqEntry()

  gc00

  committed
  0dcf07a

  Copy full SHA for 0dcf07a

• gdbinit_commands.py: Make args parsing more robust

  gc00

  committed
  93c6809

  Copy full SHA for 93c6809

• Bug fix f28e28: mcmini-gdb "Running": Modify flags

  gc00

  committed
  4c10fc2

  Copy full SHA for 4c10fc2

• Bug fix: b83e64: select frame mc_exit_main_thread

  gc00

  committed
  e4f4311

  Copy full SHA for e4f4311

Pagination

Previous

Next