Repository navigation

Add random-netsplits tc, trace improvements - #42

Merged

uwiger merged 14 commits into

uw-general-improvementsfrom

uw-general-improvements-2

Jul 30, 2026

Merged

Add random-netsplits tc, trace improvements#42
uwiger merged 14 commits into
uw-general-improvementsfrom
uw-general-improvements-2

Commits on Sep 20, 2020
- Add random-netsplits tc, trace improvements
  uwiger
  committed
  f29e963
Commits on Jul 29, 2026
- WIP: sync lock for leader merge + peer test harness fixes
  uwiger
  committed
  33a036f
- WIP: rewrite locks_leader role plane as gen_statem
  uwiger
  committed
  f210be6
Commits on Jul 30, 2026
- WIP: tighten incremental leader checks; add late_join coverage
  uwiger
  committed
  49b7cdf
- WIP: stream locks_ttb format; add format_events timeline
  uwiger
  committed
  093a1f9
- Add GitHub Actions CI for OTP 27, 28, and 29
  uwiger
  committed
  03e321b
- Drop unused locks-test (leader) test dependency
  uwiger
  committed
  d9ade3e
- Fix gdict_netsplit CI flake: longer heal wait, clearer errors
  uwiger
  committed
  2213f60
- Fix start_incremental: mesh peers with connect_node
  uwiger
  committed
  7a00752
- Make dialyzer clean for default and test profiles
  uwiger
  committed
  4a57be3
- Add Makefile test target matching CI steps
  uwiger
  committed
  d82432d
- add a description entry to gdict.app.src
  uwiger
  committed
  a34c385
- Ignore ttb_last_config and rebar3.crashdump
  uwiger
  committed
  e057eed
- Wait for per-island leader consensus in gdict_netsplit
  uwiger
  committed
  f3b1b88