ckaestne / TypeChef

Type checking ifdef variability
https://ckaestne.github.io/TypeChef/
Other
76 stars 36 forks source link

Liveness #27

Closed joliebig closed 10 years ago

joliebig commented 10 years ago

last version of variability-aware control-flow implementation different variability data-flow implementations using the monotone framework

ckaestne commented 10 years ago

is the change to CParser/src/main/scala/de/fosd/typechef/parser/c/AST.scala really necessary? I would prefer leaving Kiama out of the AST classes if possible and I thought it's no longer used.

joliebig commented 10 years ago

removed kiama from AST classes (see commit above); wasn't needed anyway

ckaestne commented 10 years ago

Can one of the admins verify this patch?