new plugin providing a symbolic annotation to constants. currently not translated to prob (working on it)
add symbolic plugin to gradle
add the symbolic pragma to the translator
removed content from symbolic pragma as it has no parameters
change attribute type of symbolic attribute from string to boolean in the translator
do not set the symbolic static checker on machines, only on constants = only in contexts
change "concrete" to "not symbolic"
Merge branch 'feature/symbolic_pragma' into develop
add symbolic pragma feature for updatesite
add plugin description
bump required parser version
export constants as abstract constants if symbolic attribute is set
try to fix class path after parser version bump
try to fix translation test cases
bump exporter_version
fix exporter version in test cases
skip some test cases
remove tests from tycho build
wrap accessing the symbolic constant attribute in a try/catch. translation should now work when the symbolic plugin is not installed
Merge branch 'develop' into feature/cbc_refinement