Removing a few more hard-coded values for domains and ranges of Array objects
Fixing linking order if metaSMT is used: linking rt after z3 to avoid undefined symbols in the z3 library.
Asserting that update lists have non-NULL roots within ReadExpr objects (update
lists can have NULL roots, e.g. in MemoryObject instances with concrete
contents, where root is allocated lazily only when the updates are required).
Also checking whether array updates are typed correctly in UpdateList::extend()
rather than in the constructor of UpdateNode (only for update lists with
non-NULL roots).
Merge pull request #112 from hpalikareva/domain-range-extra

Removing a few more hard-coded values for domains and ranges of Array ob...
Add missing newline at end of file to silence a clang warning.
Fix handling of memory usage in KLEE.

Memory usage API in LLVM since 3.3 is not working the way it is
intended by KLEE. This ports the pre 3.3. version to KLEE.

Fixes the malloc test case.
Have configure check for presense of mallinfo for the newly added
klee::util::GetTotalMemoryUsage()
Modify klee::util::GetTotalMemoryUsage() so that if the system is
not using glibc the malloc usage if computed differently.
Renamed GetTotalMemoryUsage to GetTotalMallocUsage
Remove unused pointer to STPSolver in STPSolverImpl to silence clang
warning.
Removed ununsed Executor field in WeightedRandomSearcher to silence
clang warning.
Merge pull request #120 from hpalikareva/order-link-libs

Fixing linking order if metaSMT is used: linking rt after z3 to avoid un...
Merge pull request #116 from MartinNowack/fix_malloc

Fix handling of memory usage in KLEE.
Fixed creation of arrays with variable domains and ranges in STPBuilder and MetaSMTBuilder.
Merge pull request #121 from hpalikareva/domain-range-metasmt

Fixed creation of arrays with variable domains and ranges in STPBuilder ...
Fixed order of domain and range in array creation in MetaSMTBuilder.
Merge pull request #122 from hpalikareva/metasmt-array-order

Fixed order of domain and range in array creation in MetaSMTBuilder.
Fix the logic in ExprSMTLIBPrinter::getSort

This now corresponds to the sorts of the operations we emit, as far as I
can tell.

Read is one example of an operation that now works correctly (with 1-bit
array ranges).

It's also possible (but not very useful, and I don't think KLEE can
produce it) for other operations such as Add to operate on 1-bit values,
and this patch also fixes those.
Merge pull request #124 from pcc/sort

Fix the logic in ExprSMTLIBPrinter::getSort
Update and rename README.txt to README.md

Make it look nicer! :smile: