Search results

Caching for BDDs Enabled Although Documented as Erroneous

Status: Open.

#45 In ckaestne/TypeChef;

· pmbittner opened on Dec 16, 2020

Token pasting as a vector for variation

Status: Open.

#44 In ckaestne/TypeChef;

· eternaleye opened on Aug 21, 2020

SAT.getSatisfiableAssignment with prefer enabled features does not work correctly

Status: Open.

#43 In ckaestne/TypeChef;

· meinicke opened on Nov 26, 2018

Skip system headers

Status: Open.

#42 In ckaestne/TypeChef;

· ashishbijlani opened on Jan 5, 2018

Complex #if expressions in C files having loops

Status: Open.

#41 In ckaestne/TypeChef;

· sonnguyenvnu opened on Dec 24, 2017

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

BuildSystemAnalysis

Status: Open.

#35 In ckaestne/TypeChef;

· ckaestne opened on Feb 3, 2015

Recursively merge struct environment

Status: Open.

#34 In ckaestne/TypeChef;

· ckaestne opened on Jan 25, 2015

Check type qualifiers during linking

CLinker

Status: Open.

#30 In ckaestne/TypeChef;

· ckaestne opened on Mar 14, 2014

Handle Structs in Strict Linker checks

CLinker

Status: Open.

#29 In ckaestne/TypeChef;

· ckaestne opened on Mar 14, 2014

Handling of labled statements broken

CParser

Status: Open.

#21 In ckaestne/TypeChef;

· ckaestne opened on Jun 16, 2013

CParser creates dead nodes

CParser

Status: Open.

#20 In ckaestne/TypeChef;

· joliebig opened on Apr 26, 2013

Support modules in Linux

CLinker

FeatureModelExtraction

Status: Open.

#19 In ckaestne/TypeChef;

· ckaestne opened on Mar 28, 2013