Code

Allow printing SCIP index as JSON#147

Code

Merged

keynmol merged 9 commits intomainsourcegraph/scip:mainfrom jsonsourcegraph/scip:jsonCopy head branch name to clipboardMay 3, 2023

+117-11

Commits

Commits on May 2, 2023

• json subcommand

  keynmol

  committed
  2d37d33

• Update docs

  keynmol

  committed
  0721741

• Formatting

  keynmol

  committed
  1b8d465

• urgh markdown formatting

  keynmol

  committed
  796df20

• Add end-to-end tests for json subcommand

  keynmol

  committed
  aece669

• Remove spurious println

  keynmol

  committed
  d7fd6f4

• ... and the module import

  keynmol

  committed
  9ece64b

Commits on May 3, 2023

• Replace json subcommand with --json flag in print command

  keynmol

  committed
  4f044fd

• Update CLI.md

  keynmol

  committed
  e705756