Ignoring files generated by regression tests.
Merge branch 'inline-boogie' into develop
Refactoring of BoogieAst.
* Eliminated redundancy between `ProcDecl` and `Procedure`, which no longer exists.
* Eliminated `type` field from the `Decl` base class.
Avoiding duplicate literal code declarations.
* Fixes #35.
Fix improper handling of VA procedure arguments.
Making external procedures harmless.
* We assume they do not to modify memory.
* We assume they return pointers only to memory locations disjoint from those
  statically or dynamically allocated in the program source.
Pulling back on disjoint pointers from external procedures.
* We should only be declaring pointer-type returns as external.
* Regular scalar ints, for instance, should be unaffected.
Using sets for procedure-level declarations.
* Avoids redundant declarations.
* Already done for top-level declarations.
Better adding of `{:inline}` in `smackgen.py`.
* Previously, only worked for procedure names within a certain character set,
  which excluded period, for instance.
Downloading Z3 source using wget.
Fixed boogie and corral build. Now we are building particular versions that should work together.
Merge branch 'fix-build' into develop
Fixed build scripts. Now we are building mono from scratch on Linux.
Unrolling loops 2 times by default (instead of 20). Measuring runtime in scripts that run regressions and examples.
Global variables declared as `extern`.
Implemented support for binary operators in constant expressions.
More consistent interface for SmackRep::op.
Ignoring silly __SMACK_{code,decl,top_decl} procedures.
Either removed requires or turned them into free requires in the specifications of malloc, alloc, and free.
No special header needed for SV-COMP benchmarks.