add information about variability-aware control-flow and data-flow analysis
Merge branch 'cleanup'
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
extra tests to ensure that dimacs and fm.approx play nicely together
print parse results by default (again)

there is no flag to activate it otherwise, only to deactivate
fix issue #12

extern declaration of unknown structs are okay, even access to them. check completeness of structs only when declaring a variable
fix previous fix for issue #12
skipping files with contradictory presence conditions (incl. the feature model)

this has lead to strange parser bugs, where it could not parse typedef declarations. the typedef had presence condition true, while required previous typedefs had another presence condition.
an invalid feature model leads to the effect that True is satisfiable, but nothing else is. (and true also just because of caching)
fix: lexer did not get the local/file feature model

lead to lexer errors in boot.c, which should not happen. caused only by an invalid expansion
relax type system to avoid false positives on invalid redeclaration of variables

this has to do with tentative definitions and is not entirely fixed, but less more generous. if prevents false positives at the cost of some false negatives
fixed type of sizeof() expression to size_t

(if size_t is defined in the environment)
a function apparently works as scalar as well

if (foo) is valid if foo is a function (not only if (foo()) )
fix test for dedcb45542148967c
Merge branch 'master' of https://github.com/ckaestne/TypeChef into ide

Conflicts:
	Frontend/src/main/scala/de/fosd/typechef/FrontendOptions.java