Version 2.2 corresponds to the state of Vatras as for the publication of the PhD Thesis of Paul Bittner: "Analyzing Edits to Static Variability". This is the release, which is archived on Zenodo and linked to in the thesis.
What's Changed
- 2CC Idempotency Elimination by @ibbem in #75
- Rename "variant map" to "variant generator" in the documentation by @ibbem in #78
- README: update and refine OOPSLA links by @pmbittner in #79
- emojis for roundtrip sandwich by @pmbittner in #56
- Module structure refactorings by @ibbem in #80
- Release 2.0 by @pmbittner in #81
- Variation Trees by @pmbittner in #82
- Prove that variation tree feature names can be renamed by @ibbem in #89
- Release 2.1: Variation Trees by @pmbittner in #88
- Union, Intersection, Set Difference and Further Operations on Indexed Sets by @pmbittner in #92
- Fix CI warning by @ibbem in #94
- Simplified Variation Tree Completeness Proof by @pmbittner in #91
- Release 2.2 by @pmbittner in #95
- Upgrade to Agda 2.8 and Agda STL 2.3 by @pmbittner in #96
- Release for #96 by @pmbittner in #97
Full Changelog: v1.0...v2.2
Contributors
pmbittner and ibbem