initial commit towards an executable smack tool
cmake script for building the smack executable tool
extended cmake for dsa and assistDS libs
tool working - need to fix output
improvements and fixes to the smack tool
code cleanup
added I/O error handling
removed the debug option as apparently it caused some problems with opt's own debug
Merge branch 'develop' into smack2tool
fix for output filename
added option in llvm2bpl.py for enabling the executable smack tool instead of loading the dynamic library to opt
added option --tool in the bin scripts and regression test scripts for enabling the smack executable tool instead of dynamic lib
fixes to CMake for Windows
Better memory debugging.
quick fix in CMake script: dsa to DSA
quick fix: include/DSA should actually be include/dsa
fix: removed hardcoded C++11 flags from the CMake script
fix: removed enum name 'Colours' when trying to change the colour of the command line output message
Proper initialization for structures.
* Handles nested structs.
* Prevents memory splitting across statically-initialized structs.
* Fixes #30.
* Resolves problem with fixes #27 and #21.
Removed a misguidedly-added assertion.