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
a bit more refined classification, also taking loop counters into account

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12774 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
commit right version of classifier - sorry for breaking the built

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12775 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
refactored value interpolation; interpolator uses feasability checker now; removed feature to avoid assume edges as interpolation points, as no longer much of a benefit

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12776 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Java test program names now reflect expected result.
Deleted redundant tests and did formatting on complex programs.



git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12778 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Benchmark.py: Support for plain Observer Automatons 



git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12780 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
BMC config with bound 100 (for the STTT paper on BDDs)



git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12782 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Temporary removed the default specification (for the STTT paper on BDDs):
    find . -name "*.properties" -exec sed -ri 's/^(specification[[:space:]]*=.*)/# \1/' {} \;



git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12783 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Re-enabled the default specifications.
    find . -name "*.properties" -exec sed -ri 's/^# (specification[[:space:]]*=.*)/\1/' {} \;



git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12784 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
fixing/adding code to ignore casts for intEQ in BDD-analysis. This commit improves the results of systemc/mem_slave_tlm.*true*, which where wrong since r10981 .

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12785 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Revert r12751: "SMTInterpol gets seperate solver-stacks now."
This commit breaks the usage SMTInterpol
as long as we do not have the new version of SMTInterpol
that supports several stacks.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12786 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Also revert r12716: "forgotten file"
This commit depends on the reverted r17175.

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

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12788 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
When using the RestartAlgorithm, force the specification of the
sub-analyses to be the same as the specification from the main analysis.
This avoids a lot of confusion about which specifications are active in
which analysis, and allows to use "-spec" on the command line
for configurations with RestartAlgorithm
(so far it was useless because it changed only the specification of the
main analysis).

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

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@12790 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Fix pattern of files that should be deleted with "ant clean"
(delete task does not work recursively).

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