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
Update to current version of JSylvan,
which is the first version that is officially available
under the Apache 2 License,
thus allowing us to bundle it.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/sylvan@13065 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Restructure options for Sylvan, update comments.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/sylvan@13066 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Rename BDD classes to make clear they use Java BDD.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/sylvan@13067 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Use factory for creating BDD-based RegionManager,
allowing to chose a BDD package depending on configuration.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/sylvan@13068 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Rename configuration options for BDD package,
to be clear which option affects which package.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/sylvan@13069 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
remove unused code

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/sylvan@13070 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Add some statistics about BDD cleanup
when Sylvan is used.

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


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/sylvan@13072 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Reintegrate branch sylvan into trunk.
Now the BDD package Sylvan can be used instead of JavaBDD.
Sylvan is parallel and can use multiple threads.


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