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
Create branch for integration of Sylvan BDD library


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/sylvan@12561 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Add initial version of the Sylvan library and support for using it as
BDD package.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/sylvan@12592 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
added support for modulo

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12720 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
adapt to different naming schema

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12721 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Switched Z3 to opti- branch.

Added API for optimization modulo SMT.

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

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12724 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
added new config files for evaulation of partial certificates

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

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12726 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
fixed #154: regression for modulus handling in -signAnalysis

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12728 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Enable MultiEdge-Support for Impact+BDD

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12729 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Configuration file for the BDD analysis with no default specification.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12730 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Better JavaDoc for expandStringLiteral

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12731 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
minor refactoring in ErrorPath classifier
tried out other heuristics to choose "best" error path, but the obvious, simple approach, works best so far

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12732 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
adding option to use parameter-variables. If enabled, such variables are inserted as connection between the arg and the param of a functioncall, similar to the return-variable. They are currentlyonly overhead and fully optional, because without parameter-variables we build the direct equality of arg and param, with parameter-variables we build the equality of arg and tmp and then the equality of tmp and param. Such parameter-variables are needed as basis for wellscoped or nested intepolation.

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

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