Creating a branch for refactoring the usage of variable tracking precisions in all CPAs, in the end there should only be one precision left, instead of a single precision for every CPA

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/VariableTrackingPrecisionRefactoring@13447 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Removed all OctagonPrecisions and replaced them with the ValueAnalysisPrecision

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/VariableTrackingPrecisionRefactoring@13448 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
move and rename ValueAnalysisPrecision to VariableTrackingPrecision, additionally all ConfigurationOptions are now extracted into an own class

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/VariableTrackingPrecisionRefactoring@13449 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
file which was forgotten in previous commit (r13449)

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/VariableTrackingPrecisionRefactoring@13450 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
refactored APRON cpa so that it uses the variabletracking precision, like the octagon cpa and the value analysis cpa

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

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/VariableTrackingPrecisionRefactoring@13478 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Do not parse run-to-host mapping for cloud benchmarks twice.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13501 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
remove unused constructor with warning

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13503 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
added a new score-based refinement-selection strategy

the strategy aims, prior to the actual interpolation, at obtaining interpolants that lead to refinements roots more local to the error; this sometimes helps when doing lazy-abstraction, to avoid a sawtooth-pattern during subsequent refinements

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13504 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Replace ArrayIndexOutOfBoundsException with a nice message
if we see the illegal C expression ({ }).

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13506 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Some test files from LDV project that currently fail to be parsed.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13507 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Remove duplicate class FunctionCallCollector

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13510 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Restructure CFA package: create subpackage postprocessing
and move all post-processings there.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13511 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Restructure CFA package: create subpackage export
and move the various CFA-exporting classes there.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13512 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Simplification: remove class MutableCFAWithOptionalLoopStructure,
simply store loop structure in MutableCFA when available.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13513 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Some small optimizations in CFA package.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13514 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Move most inner classes of CFASingleLoopTransformation into separate
files, and introduce a separate package for this component.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13515 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Remove unused interface, make inner class static in
CFASingleLoopTransformations

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


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13517 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Replace the SimpleMap used by CFASingleLoopTransformation
which was only used for revertible map changes in a single place
by normal maps, which are copied when they need to be reverted.
This is slightly more inefficient, but hopefully not relevant,
and has simpler code.
If we need more efficiency, we should switch to PersistentSortedMaps,
or CopyOnWriteSortedMap.

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