fixes #1047 : invalid --skip error output
remove legacy gappa code from framework: using z3 for floating point now
add readme note about java 8 error
fix ktest bug: isDefinitionKompiled check -d argument and default value of -d of programs should be set using -d of kompile
Merge pull request #1052 from osa1/ktest-bugfix

a ktest bug
Merge pull request #1051 from dwightguth/readme

add readme note about java 8 error
Merge pull request #1049 from dwightguth/delete-gappa

remove legacy gappa code from framework: using z3 for floating point now
Merge pull request #1048 from dwightguth/parameter

fixes #1047 : invalid --skip error output
get rid of the annoying SymbolicConstrant.Data
fixed JavaSymbolicObject#variableSet to return a view of set
fixed inconsistency between ConstrainedTerm.Data#constraintData and ConstrainedTerm#constraint
minor cleanup of SymbolicRewriter
more cleanup of SymbolicRewriter, mostly renaming
replaced HashMap/Set with LinkedHashMap/Set
moved code that binds fresh variables from builtPattern to buildResult
reimplemented SymbolicConstraint#eliminateAnonymousVariables
deprecated and revised SymbolicConstraint#rename
temporarily removed unrelated tests
removed useless argument in the constructor of ConstrainedTerm
made the fields of SymbolicConstraint to be private again