Shuffled examples around.
Updated license info.
Added version to python scripts.
clang is the default compiler for examples.
Merge branch 'develop' of github.com:smackers/smack into develop
Cleaned up makefiles of examples.
Implementation files for smack.h are not needed any more.
Updated the readme file with a user guide based on a simple example.
Minor fixes to README.
Automatic source formatting with astyle.
* For the moment, run `make format' to reformat all source files.
* TODO: maybe integrate formatting into regular build process.
* NOTE: we should first reach a consensus on formatting options.
* see http://astyle.sourceforge.net/astyle.html
Minor fix (simple comment added).
Let's release SMACK version compatible with LLVM 3.2 first.
Improved our code formatting style file a little bit to make it more consistent with LLVM. At least I hope I improved it :).
Standardized source code formatting.
A little bit more code formatting. Also added license headers to new files.
Merge branch 'develop' of github.com:smackers/smack into develop
Nicer output of SMACK scripts.
Updated regression test scripts to the new format of SMACK output.
Merge branch 'release-1.2'