Support for outputting JSON version of the GOTO program - #448

Merged

kroening merged 11 commits into

diffblue:masterfrom

thk123:feature/goto2json

Feb 8, 2017

Commits on Feb 8, 2017

Refactored out output_instruction so could use an instruction
thk123
committed
cee7c16
First pass implementing json output of GOTO program
thk123
committed
aa5de8e
Moved the JSON printing logic into its own class.
thk123
committed
832cc0c
Only show source location if there is one
thk123
committed
22708a6
Made show_goto_functions provide options to directly return the object
thk123
committed
11a4231
Basic implementation for the XML class
thk123
committed
c333716
Added a to_string method to instructions
thk123
committed
a92d8f8
Wrote an irep to JSON converter
thk123
committed
8644218
Added guard to the output
thk123
committed
efca262
Only print the operands if there are some
thk123
committed
4f54e00
Made the json and xml show functions class use operator()
thk123
committed
5550c08