Commits

Branch selector

 v1.0.0

User selector

All users

All time

Commit History

Commits on Oct 20, 2024

• Add NEWS file, and remove docs from 1.0.0 release

  gc00

  committed
  388cb0a

  Copy full SHA for 388cb0a

• Set version from 1.0 to 1.0.0 and autoreconf

  gc00

  committed
  ed98087

  Copy full SHA for ed98087

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

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

  

  maxwellpirtle

  authored and

  gc00

  committed
  37e20bb

  Copy full SHA for 37e20bb

• 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

• Bug fix: 77d2ff: '-v' was acting as '-v -v'

  gc00

  committed
  96d7f95

  Copy full SHA for 96d7f95

• Fix mcmini-annotate

  gc00

  committed
  a6f34d4

  Copy full SHA for a6f34d4

• Create clone.yaml for github-clone-count-badge

  Show description for 813d1b6
  gc00

  committed
  813d1b6

  Copy full SHA for 813d1b6

• Update README.md

  gc00

  committed
  1401479

  Copy full SHA for 1401479

Commits on Jul 12, 2024

• Add __real_sem_destroy()

  gc00

  committed
  17f7a15

  Copy full SHA for 17f7a15

• Fix 'mcmini back' for long traces

  gc00

  committed
  f2dec85

  Copy full SHA for f2dec85

• Support optional arg, end: mcmini forward end

  gc00

  committed
  a99eb8d

  Copy full SHA for a99eb8d

• Support multiple traces with '-p<traceSeq>'

  gc00

  committed
  edd865b

  Copy full SHA for edd865b

• Bug fix: for b83e64: "Better 'mcmini forward'"

  gc00

  committed
  fbd740a

  Copy full SHA for fbd740a

• Stop at deadlock, allow 'mcmini back'

  gc00

  committed
  78597ed

  Copy full SHA for 78597ed

• Remove 'Switching to inferior' messages

  gc00

  committed
  e87b03e

  Copy full SHA for e87b03e