Issues

• Caching for BDDs Enabled Although Documented as Erroneous

  ckaestne/TypeChef#45 · Filter by author pmbittner opened on Dec 16, 2020
  4

• Token pasting as a vector for variation

  ckaestne/TypeChef#44 · Filter by author eternaleye opened on Aug 21, 2020
  1

• SAT.getSatisfiableAssignment with prefer enabled features does not work correctly

  ckaestne/TypeChef#43 · Filter by author meinicke opened on Nov 26, 2018

• Skip system headers

  ckaestne/TypeChef#42 · Filter by author ashishbijlani opened on Jan 5, 2018
  2

• Complex #if expressions in C files having loops

  ckaestne/TypeChef#41 · Filter by author sonnguyenvnu opened on Dec 24, 2017
  1

  

• Macro MODULE depends on how file is compiled, extracted from build system

  BuildSystemAnalysis
  ckaestne/TypeChef#35 · Filter by author ckaestne opened on Feb 3, 2015

• Recursively merge struct environment

  ckaestne/TypeChef#34 · Filter by author ckaestne opened on Jan 25, 2015

• Check type qualifiers during linking

  CLinker
  ckaestne/TypeChef#30 · Filter by author ckaestne opened on Mar 14, 2014
  

• Handle Structs in Strict Linker checks

  CLinker
  ckaestne/TypeChef#29 · Filter by author ckaestne opened on Mar 14, 2014

• Handling of labled statements broken

  CParser
  ckaestne/TypeChef#21 · Filter by author ckaestne opened on Jun 16, 2013
  1

• CParser creates dead nodes

  CParser
  ckaestne/TypeChef#20 · Filter by author joliebig opened on Apr 26, 2013
  1

  

• Support modules in Linux

  CLinkerFeatureModelExtraction
  ckaestne/TypeChef#19 · Filter by author ckaestne opened on Mar 28, 2013
  1

• handling of __attribute__((weak)) in interface inference

  CLinker
  ckaestne/TypeChef#17 · Filter by author ckaestne opened on Mar 22, 2013

• Handle generated header code in Linux

  ckaestne/TypeChef#16 · Filter by author ckaestne opened on Mar 11, 2013

• Alternative nested macro expansion fails

  PartialPreprocessor
  ckaestne/TypeChef#10 · Filter by author ckaestne opened on May 23, 2012

• Detect redeclaration of variables and functions

  TypeSystem
  ckaestne/TypeChef#9 · Filter by author ckaestne opened on Dec 3, 2011
  

• Correct scoping of typedef during parsing

  CParser
  ckaestne/TypeChef#8 · Filter by author ckaestne opened on Nov 11, 2011

• Pretty Printer incomplete

  CParser
  ckaestne/TypeChef#5 · Filter by author ckaestne opened on Aug 28, 2011

• May not define macro "if"

  PartialPreprocessor
  ckaestne/TypeChef#3 · Filter by author ckaestne opened on Apr 15, 2011
  1

• Alternative macro after #include

  PartialPreprocessor
  ckaestne/TypeChef#1 · Filter by author ckaestne opened on Apr 15, 2011
  1