New branch for the implementation of support for arrays in the CtoFormulaConverter



git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/arrays@14691 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Merged changes from trunk into the branch.



git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/arrays@14701 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Merge with trunk.



git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/arrays@14704 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
makeCast/makeDelcaration: Hanlding of arrays.



git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/arrays@14705 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Wrapping and unwrapping of array formulas.



git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/arrays@14714 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Corret handling of array formulas and their type. 



git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/arrays@14720 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
On the wrapping of array formulas...



git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/arrays@14721 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Removed reference to a deleted class.



git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/arrays@14722 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
More tests.



git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/arrays@14723 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Wrapping...



git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/arrays@14724 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Merged with trunk




git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/arrays@14729 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Merge with trunk part 2



git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/arrays@14730 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Merge with trunk



git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/arrays@14731 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Array theory: Nested arrays do work now. Thanks to Philipp for the feedback. 



git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/arrays@14732 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Added support for arrays with an initializer lists.



git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/arrays@14733 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Introduced the algorithm for refining preconditions

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/arrays@14738 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Restructuring of the precondition packages/code.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/arrays@14743 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
On ExtractNewPreds: Added a detailed description of the intended behaviour; created test data for the test case.



git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/arrays@14744 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
On the predicate inference....



git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/arrays@14755 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Fixed dependencies



git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/arrays@14759 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c