Create temporary branch for testing the removal of IASTNode#getRawSignature()


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/rawsignature-removal@5157 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Removal of IASTNode#getRawSignature in every file and also from the constructors if necessary

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/rawsignature-removal@5160 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Merge branch 'master' into rawsignature-removal

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/rawsignature-removal@5163 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
fix compile errors introduced through merge

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/rawsignature-removal@5164 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
merge changes from trunk


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/rawsignature-removal@5172 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
some unit tests for octagons

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12562 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
only variable declarations should be moved

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12563 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
simplification of FunctionType with Generics

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12564 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
add FunctionPointerCPA to used CPAs for the OctagonAnalysis

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12565 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
the octagon library can only handle greater equals and smaller equals constraints properly for floats, so just use them for strict greater and smaller constraints as over-approximation

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12566 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
fix some bugs introduced with changing the return values of the transferrelations methods from OctState to Set<OctState>

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12567 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
graph balancer, exponentially computing optimal solution

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12568 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
fix broken build, too much code committed before

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12569 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
bug fix

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12570 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
moved proof generation so it can be aborted, may time out

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12571 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
better feedback if time out occurs during proof generation

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12572 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
latest configuration options

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12573 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
simplification

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12574 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Initial implementation of the apron library as a CPA in CPAchecker.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12575 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
restructed option annotations

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