Files · b23fe73185054f5edc5fb6f713d0bf02cdc59051 · af3 / kernel

Variability: First complete version of optimized Z3 translation

Andreas Bayha authored 1 year ago

First complete implementation of EMFProductLineTranslation (optimized
translation for product-line analysis)

Issue-ref: 4240
Issue-Url: af3#4240



Signed-off-by: Andreas Bayha <bayha@fortiss.org>

b23fe731

History

b23fe731 1 year ago

History

Name	Last commit	Last update
org.fortiss.tooling.base.ui
org.fortiss.tooling.base
org.fortiss.tooling.common.ui
org.fortiss.tooling.common
org.fortiss.tooling.ext.reuse.ui
org.fortiss.tooling.ext.reuse
org.fortiss.tooling.ext.variability.ui
org.fortiss.tooling.ext.variability
org.fortiss.tooling.graphicsGL.ui
org.fortiss.tooling.graphicsGL
org.fortiss.tooling.kernel.ui
org.fortiss.tooling.kernel
org.fortiss.tooling.spiderchart.ui
org.fortiss.variability
.gitignore
.gitlab-ci.yml
.gitmodules
LICENSE
pom.xml