issues
search
ckaestne
/
TypeChef
Type checking ifdef variability
https://ckaestne.github.io/TypeChef/
Other
76
stars
36
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Version 0.4.2 on Maven Central
#47
stepwise-alan
closed
1 year ago
1
TypeChef Poster is Gone
#46
pmbittner
closed
3 years ago
2
Caching for BDDs Enabled Although Documented as Erroneous
#45
pmbittner
opened
3 years ago
4
Token pasting as a vector for variation
#44
eternaleye
opened
4 years ago
1
SAT.getSatisfiableAssignment with prefer enabled features does not work correctly
#43
meinicke
opened
5 years ago
0
Skip system headers
#42
ashishbijlani
opened
6 years ago
2
Complex #if expressions in C files having loops
#41
sonnguyenvnu
opened
6 years ago
1
Correct support of the preprocessor for the #pragma once directive
#40
aJanker
closed
8 years ago
4
adds check to avoid duplicate inclusion in the preprocessor #38
#39
szabta89
closed
8 years ago
5
Infinite inclusion of self referencing header file
#38
szabta89
closed
8 years ago
1
CFG construction introduces wrong feature annotations on functions
#37
clhunsen
closed
9 years ago
2
--dimacsFeaturePrefix command-line option
#36
clhunsen
closed
9 years ago
5
Macro MODULE depends on how file is compiled, extracted from build system
#35
ckaestne
opened
9 years ago
0
Recursively merge struct environment
#34
ckaestne
opened
9 years ago
0
optional simplification of presence condtions after parsing
#33
alexrhein
closed
9 years ago
14
major affort to bring changes from ajanker fork back to original repo
#32
joliebig
closed
10 years ago
3
remove CRefactor; source code moved to own project Morpheus
#31
joliebig
closed
10 years ago
3
Check type qualifiers during linking
#30
ckaestne
opened
10 years ago
0
Handle Structs in Strict Linker checks
#29
ckaestne
opened
10 years ago
0
Refactorings
#28
ckaestne
closed
10 years ago
3
Liveness
#27
joliebig
closed
10 years ago
3
Liveness
#26
joliebig
closed
11 years ago
2
Canalysisoptions
#25
joliebig
closed
11 years ago
0
ICAnalysisOptions and InterCFG
#24
joliebig
closed
11 years ago
0
move option handling of static analyses to own interface ICAnalysisOptions and restore InterCFG functionality
#23
joliebig
closed
11 years ago
1
restore InterCFG functionality from WriteCFG branch
#22
ckaestne
closed
11 years ago
0
Handling of labled statements broken
#21
ckaestne
opened
11 years ago
1
CParser creates dead nodes
#20
joliebig
opened
11 years ago
1
Support modules in Linux
#19
ckaestne
opened
11 years ago
1
Normalize signatures before linking
#18
ckaestne
closed
10 years ago
2
handling of __attribute__((weak)) in interface inference
#17
ckaestne
opened
11 years ago
0
Handle generated header code in Linux
#16
ckaestne
opened
11 years ago
0
CONFIG_WEXT_PRIV vs CONFIG_WEXT_CORE
#15
ckaestne
closed
8 years ago
2
CONFIG_RFKILL, CONFIG_LEDS_TRIGGERS and CONFIG_RFKILL_LEDS
#14
ckaestne
closed
8 years ago
1
Kconfig only via select does not work
#13
ckaestne
closed
8 years ago
1
Incomplete structs okay when external
#12
ckaestne
closed
11 years ago
2
Fix handling of structs
#11
ckaestne
closed
11 years ago
1
Alternative nested macro expansion fails
#10
ckaestne
opened
12 years ago
0
Detect redeclaration of variables and functions
#9
ckaestne
opened
12 years ago
0
Correct scoping of typedef during parsing
#8
ckaestne
opened
12 years ago
0
Upgrade to sbt 0.12 und Scala 2.10
#7
ckaestne
closed
12 years ago
0
Simple Rewrite Example is broken
#6
ckaestne
closed
13 years ago
1
Pretty Printer incomplete
#5
ckaestne
opened
13 years ago
0
Do not produce dead AST nodes during parsing
#4
ckaestne
closed
11 years ago
2
May not define macro "if"
#3
ckaestne
opened
13 years ago
1
Line number updates after blackslash-newline sequences
#2
ckaestne
closed
11 years ago
1
Alternative macro after #include
#1
ckaestne
opened
13 years ago
1