Include diagnostics in snapshot output#226

Merged

varungandhi-src merged 8 commits intosourcegraph:mainfrom jtibshirani:diagnostics

Dec 25, 2023

+109-33

Commits on Dec 25, 2023

included diagnostics in scip snapshot output

matthewnitschke-wk
authored and
varungandhi-src
committed
updated documentation on include-diagnostics

matthewnitschke-wk
authored and
varungandhi-src
committed
Remove --include-diagnostics flag

jtibshirani
authored and
varungandhi-src
committed
Add diagnostic output to reprolang

jtibshirani
authored and
varungandhi-src
committed
Improve snapshot output

jtibshirani
authored and
varungandhi-src
committed
Remove unused index parameter

jtibshirani
authored and
varungandhi-src
committed
Apply gofmt

jtibshirani
authored and
varungandhi-src
committed
Correctly handle multiline strings in snapshot output
varungandhi-src
committed