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.