ckaestne/TypeChef

Issues

• Version 0.4.2 on Maven Central

  #47 opened a year ago by stepwise-alan
  1

• TypeChef Poster is Gone

  #46 opened 3 years ago by pmbittner
  2

• Caching for BDDs Enabled Although Documented as Erroneous

  #45 opened 4 years ago by pmbittner
  4

• Token pasting as a vector for variation

  #44 opened 4 years ago by eternaleye
  1

• Skip system headers

  #42 opened 7 years ago by ashishbijlani
  2

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

  #43 opened 6 years ago by meinicke
  0

• Complex #if expressions in C files having loops

  #41 opened 7 years ago by sonnguyenvnu
  1

• Infinite inclusion of self referencing header file

  #38 opened 9 years ago by szabta89
  1

• CONFIG_RFKILL, CONFIG_LEDS_TRIGGERS and CONFIG_RFKILL_LEDS

  #14 opened 9 years ago by ckaestne
  1

• Support modules in Linux

  #19 opened 11 years ago by ckaestne
  1

• Kconfig only via select does not work

  #13 opened 9 years ago by ckaestne
  1

• CONFIG_WEXT_PRIV vs CONFIG_WEXT_CORE

  #15 opened 9 years ago by ckaestne
  2

• CFG construction introduces wrong feature annotations on functions

  #37 opened 9 years ago by clhunsen
  2

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

  #35 opened 10 years ago by ckaestne
  0

• Recursively merge struct environment

  #34 opened 10 years ago by ckaestne
  0

• Normalize signatures before linking

  #18 opened 11 years ago by ckaestne
  2

• Check type qualifiers during linking

  #30 opened 11 years ago by ckaestne
  0

• Handle Structs in Strict Linker checks

  #29 opened 11 years ago by ckaestne
  0

• CParser creates dead nodes

  #20 opened 11 years ago by joliebig
  1

• Handling of labled statements broken

  #21 opened 11 years ago by ckaestne
  1

• Alternative macro after #include

  #1 opened 13 years ago by ckaestne
  1

• Line number updates after blackslash-newline sequences

  #2 opened 11 years ago by ckaestne
  1

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

  #17 opened 11 years ago by ckaestne
  0

• Handle generated header code in Linux

  #16 opened 12 years ago by ckaestne
  0

• Do not produce dead AST nodes during parsing

  #4 opened 12 years ago by ckaestne
  2

• Upgrade to sbt 0.12 und Scala 2.10

  #7 opened 13 years ago by ckaestne
  0

• Incomplete structs okay when external

  #12 opened 12 years ago by ckaestne
  2

• Fix handling of structs

  #11 opened 12 years ago by ckaestne
  1

• Alternative nested macro expansion fails

  #10 opened 12 years ago by ckaestne
  0

• Detect redeclaration of variables and functions

  #9 opened 13 years ago by ckaestne
  0

• Correct scoping of typedef during parsing

  #8 opened 13 years ago by ckaestne
  0

• Simple Rewrite Example is broken

  #6 opened 13 years ago by ckaestne
  1

• Pretty Printer incomplete

  #5 opened 13 years ago by ckaestne
  0

• May not define macro "if"

  #3 opened 13 years ago by ckaestne
  1