Release 2.4.0

Version 2.4.0 corresponds to the state of DiffDetective 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

• fixed: missing toString() in VariationLabel by @piameier in #168
• Improved Unparser by @ibbem in #169
• chore(deps): bump org.apache.commons:commons-lang3 from 3.17.0 to 3.18.0 by @dependabot[bot] in #170
• Some little features by @pmbittner in #173
• Fix the children order in line graph and various refactorings by @ibbem in #171
• Update README by @pmbittner in #175
• Assert that there is at most one else in assertConsistency by @ibbem in #177
• Unified differ interface and source tracing improvements by @ibbem in #176
• Fix a crucial bug in the Configure relevance predicate by @pmbittner in #174
• Release 2.4.0 by @pmbittner in #178

New Contributors

• @piameier made their first contribution in #168

Full Changelog: v2.3.0...v2.4.0

Release 2.3.0

What's Changed

• FSE'24 Artifact Camera-Ready by @pmbittner in #145
• CI fixes by @ibbem in #148
• chore(deps): bump commons-io:commons-io from 2.12.0 to 2.14.0 by @dependabot in #150
• Enhance the nix setup by @ibbem in #151
• Fix CI cache restore by @ibbem in #156
• Improve boolean abstraction by @ibbem in #155
• Document nix results + some nix refactorings by @ibbem in #158
• Use FormulaUtils where appropriate by @ibbem in #159
• Update dependencies by @ibbem in #161
• Fix marlin macro interpretation by @ibbem in #162
• Abstract git log calls by @ibbem in #163
• Fix the total commit count by @ibbem in #165
• Fix javadoc deployment by @ibbem in #166
• Create a .editorconfig and apply it to all source files by @ibbem in #167
• Release 2.3.0 by @pmbittner in #157

Full Changelog: v2.2.0...v2.3.0

Release 2.2.0

Release 2.2.0 includes various fixes and improvements, documented in PR #141 .

This release also serves as an archive as part of the artifact submission to FSE'24 for our paper "Variability-Aware Differencing with DiffDetective".

Artifact Submission - SPLC'23 - Views on Edits to Variational Software

Release for the artifact submission of Views on Edits to Variational Software at SPLC'23. An overview is given in the README.md. Hardware and software requirements are documented in the REQUIREMENTS.md. Installation instructions are given in the INSTALL.md.

Artifact - ESEC/FSE'22

Release for the artifact of our paper Classifying Edits to Variability in Source Code at ESEC/FSE'22. An overview is given in the README.md. Installation instructions are given in the INSTALL.md.

This release features the following executables:

• diffdetective-1.0.0-jar-with-dependencies.jar: Build of the DiffDetective library. You may include it as a third-party library to your application or may run the validation manually (also see INSTALL.md):

  java -cp "diffdetective-1.0.0-jar-with-dependencies.jar" org.variantsync.diffdetective.validation.Validation
  java -cp "diffdetective-1.0.0-jar-with-dependencies.jar" org.variantsync.diffdetective.tablegen.MiningResultAccumulator results/validation/current results/validation/current

• proofs_win10_64bit.exe: Executable for Windows 10 of our haskell extended formalization. You may run it via .\proofs_win10_64bit.exe in a windows terminal or PowerShell.
• proofs_wsl2_ubuntu_20.04LTS: Executable for Ubuntu of our haskell extended formalization. Built within WSL2 under Windows 10. You may run it via ./proofs_wsl2_ubuntu_20.04LTS in linux terminal.

Artifact Submission - ESEC/FSE'22

Release for the artifact submission of Classifying Edits to Variability in Source Code at ESEC/FSE'22. An overview is given in the README.md. Installation instructions are given in the INSTALL.md.

This release features the following executables:

• diffdetective-1.0.0-jar-with-dependencies.jar: Build of the DiffDetective library. You may include it as a third-party library to your application or may run the validation manually (also see INSTALL.md):

  java -cp "diffdetective-1.0.0-jar-with-dependencies.jar" org.variantsync.diffdetective.validation.Validation
  java -cp "diffdetective-1.0.0-jar-with-dependencies.jar" org.variantsync.diffdetective.tablegen.MiningResultAccumulator results/validation/current results/validation/current

• proofs_win10_64bit.exe: Executable for Windows 10 of our haskell extended formalization. You may run it via .\proofs_win10_64bit.exe in a windows terminal or PowerShell.
• proofs_wsl2_ubuntu_20.04LTS: Executable for Ubuntu of our haskell extended formalization. Built within WSL2 under Windows 10. You may run it via ./proofs_wsl2_ubuntu_20.04LTS in linux terminal.