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
switch to new universal distribution format
fix cygwin environment variable
fix batch scripts
fix mvn verify target
fix unescaped characters in batch script
fix quoting in batch script
try consistent spacing in path variable
fix cygwin dependency
fix name of nightly distribution
fix issue with relative path in PATH variables
fix bash support on os x
get rid of the annoying SymbolicConstrant.Data