Code

Print sharing control#1330

Code

Merged

mergify[bot] merged 3 commits intoGaloisInc:masterGaloisInc/saw-script:masterfrom msaaltink:print-sharing-controlmsaaltink/saw-script:print-sharing-controlCopy head branch name to clipboardJul 1, 2021

+22-6

Commits

Commits on Jun 10, 2021

• Added a command to control the amount of term sharing in print output

  msaaltink

  committed
  febdfc2

  Copy full SHA for febdfc2

Commits on Jun 11, 2021

• Removed unneeded code changes

  msaaltink

  committed
  ff93d94

  Copy full SHA for ff93d94

Commits on Jul 1, 2021

• Merge branch 'master' into print-sharing-control

  msaaltink

  authored
  c532233

  Copy full SHA for c532233