Several enhancements.
* Cleaner separation of instruction generation and memory encoding.
* Comments in generated source code.
* Resolve static memory encoding problem -- fixes #6.
* Better placed prelude(s).
* Automatic script installation.
Several fixes.
* Resolve static memory encoding problem -- fixes #6.
* Better placed prelude(s).
* Automatic script installation ; updated README.
Added a regression test for checking allocation of globals.
More concise module translation.
* Consolidated global variables and function pointers.
* Removed (redundant) uniqueness axioms.
Merge branch 'master' of github.com:smackers/smack
Oopse -- fixing last regression-breaking commit.
Minor fix to SMACK build script - no need to copy bin directory any more.
Handling VARARG library procedures; fixes #13.
* Removed printf declarations from prelude.
* Collecting VARARG procedure calls.
* Inserting declarations for those called.
* Printfs regression ensures unique declaration for multiple calls.
Created a script for automatically running lock examples.