ckaestne/TypeChef — pull request #25 by joliebig (2013-07-11 14:44:05+00:00)
Title: Canalysisoptions

simplifies canalysisfrontend (see discussion in d403347) and merges command-line configuration for static analyses (-A and -S).