add todos
-- Removed old code no longer used as it is now part of sampling
-- Optimized configuration generation
-- Some minor refactor (ast to tunit)
-- Resolved some todos
Filter already generated configurations
Filter already generated configurations
Fixed error in duplication detection
Fixed error in FileFeatures Implementation where features have been unknown.
Fixed previously introduced compile error.
Minor name refactor.
bugfixing sample-set generation (code coverage and single-conf)
Rewrite of type statistics.
Rewrite of type statistics.
Added filtering for external linked variables which are not listed in the linking interface.
Function rename
Merge branch 'sampling'
Fixed introduced compile error.
Merge remote-tracking branch 'origin/master'
Merge remote-tracking branch 'origin/master' into ldv-gen
Fixed bug in type definition
Changed logging location for better status updates.
Changed logging location for better status updates.