Merge branch 'release-1.4.1'
fixed cmake scripts to support removal of 2d memory model
Set default verifier to Boogie after all.
Added more inline attributes to prelude functions. Implemented max and min.
Fixed several bugs in python scripts.
Merge branch 'develop' of github.com:smackers/smack into develop
Temporary (and often emply) a.bpl file is not being unnecessarily generated any more.
Merge branch 'develop' of https://github.com/smackers/smack into develop
Minor fix.
Creating the output bc file with clang in the same folder where the output bpl file is generated.
Removed $ptr and $off since we do not need it any more. Renamed $obj into $base.
Added support for Duality. Restructured regression scripts so that all verifiers are now being invoked from the same script and selected through command line.
Added command line option --bc to specify the generated bc file name.
Updated build scripts to use cleaned up regressions scripts.
Implemented support for CompareConstantExpr.
Bug fix for __SMACK_code() when '@' is first char in source string
Got rid of the obsolete {@} that was used with our two-dim memory model that does not exist any more.
Updated to LLVM 3.5.0.
More handling of floating point.
+ Load and store from memory.
+ Uninitialized values.
+ Simple equality reasoning.
+ fixes #50
Fixed typos in previous commit.