Fix for cbmc running out of memory while printing traces using json_ui#1767

Closed

NlightNFotis wants to merge 6 commits intodiffblue:goto-analyzer-developfrom

NlightNFotis:peter-json-fix

Commits on Jan 23, 2018

JSON streaming

peterschrammel
authored and
NlightNFotis
committed
Base JSON UI message handler upon json_streamt

peterschrammel
authored and
NlightNFotis
committed
Use JSON streaming

peterschrammel
authored and
NlightNFotis
committed
Intermediate changes to make it compile.
NlightNFotis
committed

Commits on Jan 25, 2018

Implement necessary changes for goto-analyzer-develop branch.
NlightNFotis
committed

Commits on Jan 26, 2018

Refactor huge convert function into instruction specific ones
NlightNFotis
committed