Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 17, 2023

• Deterministically pick threads in the backtrack set

  Show description for dd107aa
  maxwellpirtle

  committed
  dd107aa

  Copy full SHA for dd107aa

Commits on Apr 2, 2023

• Rename sleep_queue to wait_queue on cond policy

  maxwellpirtle

  committed
  0335398

  Copy full SHA for 0335398

• Fix minor spelling mistakes

  maxwellpirtle

  committed
  dfb8a78

  Copy full SHA for dfb8a78

• Remove threads from WakeGroup even if broadcast

  Show description for 459f642
  maxwellpirtle

  committed
  459f642

  Copy full SHA for 459f642

• Add implementation of glibc condition variable

  Show description for 0a4ee0a
  maxwellpirtle

  committed
  0a4ee0a

  Copy full SHA for 0a4ee0a

• Add distinction between single group vs two group policies

  Show description for 7ea4f85
  maxwellpirtle

  committed
  7ea4f85

  Copy full SHA for 7ea4f85

• Add ordered wake up policy for condition variables

  maxwellpirtle

  committed
  1c8c073

  Copy full SHA for 1c8c073

• Add implementation for arbitrary cvar policy

  Show description for fdca57a
  maxwellpirtle

  committed
  fdca57a

  Copy full SHA for fdca57a

• Prepare transition to `ConditionVariablePolicy`

  Show description for bff65fc
  maxwellpirtle

  committed
  bff65fc

  Copy full SHA for bff65fc

Commits on Mar 25, 2023

• Polish McMini 'mcmini where' command

  gc00

  committed
  84d725b

  Copy full SHA for 84d725b

• Improve mcmini-gdb developer mode

  gc00

  committed
  4875710

  Copy full SHA for 4875710

• Stop accidental cmd: ./mcmini ./mcmini a.out ...

  gc00

  committed
  9ee2ed7

  Copy full SHA for 9ee2ed7

• mc_run_thread_to_next_visible_op(): cv->sem

  gc00

  committed
  dea3865

  Copy full SHA for dea3865

• Polish gdbinit_commands.py comments, etc.

  gc00

  committed
  84fc4ad

  Copy full SHA for 84fc4ad

• Fix for 'mcmini gotoTrace 1', when it's first cmd

  gc00

  committed
  0e290e2

  Copy full SHA for 0e290e2

• Fix mcmini-gdb: Don't create NO-GDB-G3 if no -g3

  gc00

  committed
  09c6545

  Copy full SHA for 09c6545

Commits on Mar 15, 2023

• mcmini_private.cpp:..to_next_visible_op(): cv->sem

  gc00

  committed
  2b0ac4a

  Copy full SHA for 2b0ac4a

• Help typo: -first -> --first (& other text fixes)

  gc00

  committed
  14aa8d9

  Copy full SHA for 14aa8d9

Commits on Mar 12, 2023

• Add UB check for pthread_cond_wait() with two locks

  Show description for 7d39bda
  maxwellpirtle

  committed
  7d39bda

  Copy full SHA for 7d39bda

Commits on Mar 9, 2023

• Add comment about state transformations in MCState

  maxwellpirtle

  committed
  208ab62

  Copy full SHA for 208ab62

Commits on Feb 18, 2023

• Add undefined behavior checks to MCCondEnqueue

  Show description for 676cb1c
  maxwellpirtle

  committed
  676cb1c

  Copy full SHA for 676cb1c

Commits on Feb 7, 2023

• Rename MC_CTOR C macro

  Show description for 2a92d98
  maxwellpirtle

  committed
  2a92d98

  Copy full SHA for 2a92d98

• Remove unused functions from MCState

  maxwellpirtle

  committed
  5f1da6a

  Copy full SHA for 5f1da6a

• Make small change to cpack CMake variable

  maxwellpirtle

  committed
  71ded61

  Copy full SHA for 71ded61

• Add warning to CONTRIBUTING doc

  maxwellpirtle

  committed
  042e7bc

  Copy full SHA for 042e7bc

Commits on Jan 3, 2023

• Add comment: two methods in MCState.h not used

  gc00

  committed
  42a34bc

  Copy full SHA for 42a34bc

• Simplify --debug-at-trace logic

  gc00

  committed
  2f94f19

  Copy full SHA for 2f94f19

• Simplify --check-forward-progress logic

  gc00

  committed
  7202d33

  Copy full SHA for 7202d33

• Simplify --debug-at-trace logic

  gc00

  committed
  b648878

  Copy full SHA for b648878

• Simplify --print-at-trace logic

  gc00

  committed
  6014ca7

  Copy full SHA for 6014ca7

• Simplify --verbose logic

  gc00

  committed
  85d6ed1

  Copy full SHA for 85d6ed1

• Simplify --max-depth-per-thread logic

  gc00

  committed
  648d873

  Copy full SHA for 648d873

• Simplify --first-deadlock logic

  gc00

  committed
  20480d1

  Copy full SHA for 20480d1

Commits on Dec 27, 2022

• Stop McMini test in one hour unless '--long-test'

  gc00

  committed
  af90b5a

  Copy full SHA for af90b5a

• gdb --args gdbinit mcmini: Detect if -g3 was used

  gc00

  committed
  a210c5e

  Copy full SHA for a210c5e

Pagination

Previous

Next