Merge branch 'master' of https://github.com/ondrik/forester

+ 23250cf connection_graph: fix compiler error
+ b3a2df7 fa: add a few tasks to the TODO list
+ 2345da1 cl_fa: FORMATING
+ 19c081c fa: C++11-isation of the code
+ a8c9bbb symctx: add a few comments
+ eea4ff1 symctx: FORMATING: move the code a little
+ 9b75d84 symctx: FORMATING: move the code a little
+ 42e9b3e symctx.hh: make the initCtx function nicer
+ b1b16fc symctx: remove the Dump struct
+ f785f0c symctx: encapsulate size_of_data and size_of_code
+ b035bc4 symctx: encapsulate fnc
+ ec1e8f4 symctx: encapsulate regCount
+ e907052 symctx: encapsulate argCount
+ 8509a37 microcode: fix a compiler warning
+ 44a2fe9 abstractbox: add a virtual destructor
+ a3efbeb skiplist test: add guide how to set parameters
+ a6ba94e Tomas: removed comments about 3 level skiplists from the 2 level ones and vice versa
+ 5ad7808 skiplist test: remove unused variable a3
+ f8762f5 fa: remove "using" directives
+ e8e3b65 TODO: add a task
+ 0d0e07f fa: C++11-isation: change NULL to nullptr
+ 5727a88 abstractbox: add virtual destructor
+ b19e537 box: a little beautification of the code
+ 7d922a8 boxman: use C++ style cast
+ e1ded50 folding: use C++ style cast
+ 404cd5c symctx: change size_of_code and size_of_data type from int to size_t
+ 10a0dc8 microcode: little beautification of the code
+ 3e26dd6 connection_graph: make the 'box' arg of processStateSignature const
+ 1f41f6d connection_graph: get rid of old-style-cast
+ 7cafd8e treeaut: get rid of old-style-cast
+ 62381fb box: get rid of old-style cast
+ 84a7fd8 boxman: get rid of old-style cast
+ 1b32fcd forestautext: get rid of old-style cast
+ 2359427 integrity: get rid of old-style cast
+ c21a0a6 executionmanager: get rid of old-style cast
+ 6f1f4b6 comparison: get rid of old-style cast
+ 120a6f8 unfolding: get rid of old-style cast
+ 200605e splitting: get rid of old-style cast
+ cafa347 call: get rid of old-style cast
+ 5ec0d8f2 normalization: get rid of old-style cast
+ a25db8a folding: get rid of old-style cast
+ ce825a2 microcode: get rid of old-style cast
+ b8391e1 symexec: get rid of old-style cast
+ 58cfed6 jump: get rid of old-style cast
+ 30d6fcb CMakeLists: add a few useful GCC warnings
+ c4480b7 CMakeLists: remove setting of additional GCC warnings
+ 3eb44c7 timbuk: make -Weffc++ compliant
+ 817081b smartset: make -Weffc++ compliant
+ 0b92ea5 abstractinstruction: make -Weffc++ compliant
+ f5ece2f sequentialinstruction: make -Weffc++ compliant
+ 9f6d632 programerror: make -Weffc++ compliant
+ e05b9e6 simalg: make -Weffc++ compliant
+ e1f76d0 cache: make -Weffc++ compliant
+ 8f76e0d notimpl_except: make -Weffc++ compliant
+ bbf0856 jump: make -Weffc++ compliant
+ 7ae1a56 tatimint: make -Weffc++ compliant
+ d03f5fd cache: make -Weffc++ compliant
+ d669423 antichain: make -Weffc++ compliant
+ a131f5d treeaut: make -Weffc++ compliant
+ 9a3bee8 tatimint: make -Weffc++ compliant
+ ef19b34 connection_graph: make -Weffc++ compliant
+ 8867b39 forestaut: make -Weffc++ compliant
+ 04aefab compiler: make -Weffc++ compliant
+ dc328f8 symexec: make -Weffc++ compliant
+ 445d204 box: make -Weffc++ compliant
+ 19c5b0f boxman: make -Weffc++ compliant
+ 19fa7b2 forestautext: make -Weffc++ compliant
+ b2dc5cc fixpoint: make -Weffc++ compliant
+ 2e1cc92 executionmanager: make -Weffc++ compliant
+ a5fa8b2 compiler: make -Weffc++ compliant
+ 79ea79f cl_fa: make -Weffc++ compliant
+ 32cf533 fa: make several classes -Weffc++ compliant
+ 4635f5b symctx: make -Weffc++ compliant
+ d867ab2 antichain: make -Weffc++ compliant
+ 4fe34dd treeaut: use unordered_map from std instead of boost
+ 86fda90 compiler: switch std's for boost's unordered_map
+ 1f9829e antichain: change unordered_map from boost's to std's
+ 3715480 antichainext: change boost's unordered_map for std's
+ a8fedaf boxman: change one boost's unordered_map for std's
+ e4761c9 treeaut: change one boost's unordered_map for std's
+ e36f768 cache: change one unordered_map from boost's to std's
+ 6c037f6 fa: remove several references to boost
+ 76191cb fa: change a few boost's unordered_maps to std's
+ e13b43b boxman: change a few boost's unordered_maps to std's
+ a0ff197 treeaut: switch some unordered_maps from boost's to std's
+ 198e52d reverserun: switch one boost's unordered_map to std's
+ 53bd938 CMakeList: correct setting of Boost libraries
+ 58debb6 symctx: introduce method GetStackFrameLayout()
+ ddfaa39 tests: fix reference outputs
+ ba886d8 symexec: use SymCtx::GetStackFrameLayout() instead of
SymCtx::sfLayout_
+ 98cc258 symctx: make SymCtx a class
+ 4b9ecbb compiler: check for the presence of globals
+ 728c3cb docs
+ dd59790 symctx: add VarInfo::isInReg() method
+ f3792c9 forestaut: add a few comments
+ 5335205 fa: make enums C++11 style
+ ea3caa9 types: make enums C++11 style
+ ee0ef15 forestaut: move operator<< to the .cc file
+ 40cea78 fa: use DataArray instead of std::vector<Data>
+ 1de1820 fa: docs
+ 1658e0c Doxygen: remove obsolete params
+ 0b45858 forestaut: encapsulate 'variables'
+ cc67915 connection_graph: move implemenation to .cc file
+ b3a3de1 connection_graph: move implemenation to .cc file
+ 5a7762f fa: add an alias TreeAut for TA<label_type>
+ 6c1b431 CMakeLists: add connection_graph.cc to the compile set
+ bc2b9ea cl: add a more verbose description of some fuctions
+ 2a93d0d integrity: use C++11 for loop
+ bba75ad exec_state: add the ExecState class
+ 32189cb exec_state: use ExecState instead of AI::StateType
+ a21d072 executionmanager.hh: change RecycleRegisterF to class
+ 7ca8f98 symstate: change from struct to class
+ 4c69b7d executionmanager: code style improvement
+ 4262a84 symstate: change names of data members
+ 5253848 symstate: remove the 'payload' data member
+ ecad834 cl_fa: add params: print-ucode, only-compile
+ b1b3997 cl_fa: use print-ucode and only-compile params
+ 59b8672 compiler: improve the microcode output
+ 1e91250 symexec: remove some obsolete parts
+ 563f46b cl_fa: improve printing of assembly
+ 2eb855f microcode: code quality improvement
+ 131d738 SelData: add name of selector
+ d131373 boxman: improve code quality
+ 66d4c8f boxman: formating
+ ab1153b microcode: remove FI_node_alloc::execute() (obsolete)
+ 4387831 virtualmachine: remove obsolete parts
+ 1d8d470 fa/boxman.hh: do not count obsolete boxes in BoxAntichain::size()
+ fa7e6eb virtualmachine: formating
+ 8caec5e virtualmachine: change fae to fae_
+ 1d05a0d virtualmachine: move implementation to separate file
+ 46e292a label: formating
+ b3a75a8 label: move implementation to a separate file
+ c357e9f boxman: move implementaion to a separate file
+ f530171 box: move implementation to a separate file
+ c635e2d box: _-ime names of private data members
+ 5f5b438 boxman: collect TypeBox information
+ 0a8b0fd symexec: improve code quality
+ be9d3df label: add names of selectors to NodeLabel
+ bcfc0e4 top: make GCC-4.6 compliant
sl/symheap: eliminate a warning produced by -Wfloat-equal
build-aux: update compatibility patches for old versions of GCC
build-aux/make-tgz.sh: run the tests in parallel

... and fix patching of switch-host-gcc.sh
sl: prevent unnecessary crashes on unknown values propagation
cl/callgraph: process callbacks in var initializers
cl/callgraph: fix a typo in the public API
sl/symheap: simplify the code of SymHeap::proveNeq()
sl/symutil: make the interface of translateValProto() more generic
sl/symjoin: refactor findCoveringUniBlock() -> findCoveringUniBlocks()
sl/symheap: make findCoveringUniBlocks() more precise
sl/symheap: extend the interface of findCoveringUniBlocks()

... to allow returning partial coverage.
sl/symheap: support partial coverage in findCoveringUniBlocks() [experimental]
sl/symdiscover: minor optimization of matchData()
sl: fix warnings reported by cppcheck and update suppressions
tests: add test of global variables

Tests of global variables without explicit initialisation.
cl/gcc: emit non-extern global variables as initialized

Suggested by Ondra Lengal.
CMakeLists.txt: remove obsolete code
Merge remote-tracking branch 'predator/master' into global_vars
compiler: take into account extern global variables