Merge branch 'release-1.2'
Merge branch 'release-1.3.0'
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
Merge branch 'release-1.3.1'
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
Inlined Boogie code.
* Can now write Boogie code in C, e.g. __SMACK_code("assume @;", x).
* The (i)th "@" in the string passed to __SMACK_code is substituted by SMACK's
  representation of the (i+1)st argument to __SMACK_code.
* "{@}" refers to the "value", whereas "@" alone refers to the "pointer"
  -- this makes a difference only with the 2D memory model.
* Basic procedures (e.g. __SMACK_assume) are no longer hard-coded.
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