prepare typechef for openssl case study
comment conditionalexpr support out
add openssl case study to product generation
adding function to load new henard product configurations
code for parsing new henard product configuration files
Merge branch 'master' of github.com:ckaestne/TypeChef into liveness
Merge branch 'master' into liveness
add random sample generation
mend
Merge branch 'master' of github.com:ckaestne/TypeChef into liveness
adding new loader for pairwise product configurations (unfinished)
change warmup of jvm for measurement to an unrelated file
change warmup to unrelated file; only one measurement per task
check, whether pairwise configuration is satisfiable
modifications to write a whole file cfg
restored original DotGraph implementation
attempt to capture method calls also in return statements
generalized printer mechanism and generate CSV files as option
added linker for CFGs
main project to link the graph for Busybox