Merge branch 'release-1.4.0' into develop
Merge branch 'master' into develop
Added regression for external variables. See #36.
Fixed a bug related to unnamed function parameters that was reported by Shuvendu.
Replacing character '@' in LLVM names with '.'.
Fixing smack include path.
Using DSA to determine external nodes.
* Though I am not sure I always agree with what DSA says.
* Fixes #40.
A little hack for adding to modifies clause.
Fixed passes that simplify functions that return structures. Running these passes in SMACK. Fixes #28.
Handing of functions that return structures seems to be working.
Changed type from long into int64.
Tentative fix to external pointer isolation.
* First, run a pre-pass to collect the memory regions used in call returns,
  and allocation instructions, noting whether any region contains addresses
  which are allocated by the program.
* Then, add "assume $isExternal(_)" annotations to all return assignments which
  do not alias program-allocated memory.
Minor cleanup.
Added a small assertion.
Merge branch 'develop' into structret
Merge branch 'structret' into develop
Added regressions for external memory predicates.
Makefile tabs/spaces.
Added failing struct initialization example.
Added another failing example.
* pointers to separate regions should be unequal.