Fixed typo in download script.
In download script, add possibility to set whether test output should be printed upon failure.
Delete sources of support libraries after compilation in download_script.
Handle division by zero.
Fixes #145.
Print out the instruction opcode name when failing to create a domain from ConstantExpression.
Correctly handle truncation of signed values in IntegerInterval.
Fixes #135.
Fixed joining and comparison in FloatInterval.
Added widening for FloatInterval.
Fixes #127
Implement shifts to left and right in Bitfield.
autoreconf
autoreconf
Merge branch 'master' into wrappers

Conflicts:
	tests/download_script