Code

fix no-colors for help/version#878

Code

Merged

Ptival merged 8 commits intomasterGaloisInc/crucible:masterfrom vr/crux-no-colorGaloisInc/crucible:vr/crux-no-colorCopy head branch name to clipboardOct 26, 2021

+187-103

Commits

Commits on Oct 22, 2021

• fix no-colors for help/version

  Ptival

  committed
  e953910

  Copy full SHA for e953910

• generic-lens approach

  Ptival

  committed
  f67411d

  Copy full SHA for f67411d

• oops, needs DataKinds

  Ptival

  committed
  ef96302

  Copy full SHA for ef96302

• crucible-go doesn't even need lens

  Ptival

  committed
  20f5921

  Copy full SHA for 20f5921

• more fixes

  Ptival

  committed
  07cf780

  Copy full SHA for 07cf780

• also fix crux-mir tests

  Ptival

  committed
  8a71f9d

  Copy full SHA for 8a71f9d

Commits on Oct 23, 2021

• default colors are all colors

  Ptival

  committed
  7f1e145

  Copy full SHA for 7f1e145

• did not need to remove config for colors

  Ptival

  committed
  495512b

  Copy full SHA for 495512b