Adding multi product lines to the theory, 1st version, a lot of things to solve still
Attempt of avoiding finite sets to reduce number of TCCs
added mpl refinement notion, still need to work on TCCs and compositionality
working on compositionality theorem, but still need to formulate it properly
added new theory for testing concepts and functions from refinement theory, so we keep the main theory clean
updates on test theory and sketching ideas for compositionality
simplifying MPL semantics definition
Major change to multi product line formalization, leaving most of the complexity to whoever instantiates the notion
working out auxiliary definitions and axioms for multi product lines
refinement notion for mpl
updates
sorted out compositionality with additional axioms - have to check with Paulo
worked out compositionality with additional lemmas and definition - to check with Paulo
more changes to mpl theory
almost everything worked out with mpl theory
compositionality with additional conditions defined, only need to finish proof of additional lemma
only missing replace refinement condition and equality of pl1 and pl2 in compositionality theorem
checkpoint before another major review to the theory
only mpl wf and choose lemma left to prove
small changes