ignore failing test in typechecker test suite
adding comments to filter ast element methods
adding testcase for sven: alternative type definition, optional statement
starting to fix {} problematic
remove junit_xml_listener
remove files for other case studies
first try: faster pretty printer, which uses less memory
adding large test file for pretty printer test
add information about variability-aware control-flow and data-flow analysis
move from kiama library version 1.1.0 to version 1.2.0; reason is to fix an unavailable dependency to scalatest 2.9.0-1.9, which is not available anymore
add junitxml test listener; necessary for jenkins
adding dependency for junitxml test listener
Merge branch 'cleanup'
Revert "first try: faster pretty printer, which uses less memory"

This reverts commit a55f81abf9cb44784ab4162428204f28570e078f.
merge cleanup and resolve kiama upgrade issues
Merge branch 'liveness'
ignore failing ccfg test
reverted evaluation code

why is product configuration (with additional expected parameters) executed
for type checking in the main branch?

please use a separate parameter or keep in a different branch!
improve corner cases of lexer

- #ifdef +3
document changed defaults

see commit 7cb1909