rename all configs from 'explicit*' (and derivates) to 'value*'; adapt names in includes of config and references in test-sets, and in doc folder

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14981 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Restructure listing of authors

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14982 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Update NEWS in preparation for upcomming release

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14983 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Function return edges should not be considered as epsilon edges.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14985 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Update some config files in regard to the changes for counterexample checks.


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14986 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Update some files for AppEngine frontend (configuration changes)

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14988 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Update version of SoSy-Lab Common library.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14989 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
fix exception with SmtInterpol if term "divisible" appears in an
interpolant

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14990 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Counterexample checks are completely disabled on the AppEngine
because we need a writable file-storage for this

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

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14992 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
bug fix: for some reasons, when combining the value analysis and the predicate analysis, both with refinement

It happened that the VA refined a path (A), then the predicate analysis refined one or more path, and then, path A had to be refined again, triggering an exception in the value refiner (repeated counterexample). This now only is thrown, when a path is found in two refinements that happen *directly* after each other. However, it is still strange that *infeasible* paths are found multiple times, which remains unsolved for now

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14993 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Update documentation on AppEngine webpage

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

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

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@15001 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Move filewriter.readFile and filewriter.writeFile to util module.
These two functions do not refer to the rest of the filewriter module,
and through moving them the runexecutor needs one dependency less
when used in stand-alone mode.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@15021 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Fix cpa_cloud.py.
It now uses the new interface to the VCloud client
that allows to pass command-line options even with spaces
and without escaping problems.
The program file still needs to be past as the last argument.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@15022 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Refactoring: calculate CPU cores upfront

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

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@15027 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
PolicyIteration: enable counter-example checking

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@15028 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Policy Iteration: SV-comp for integration testing.

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