Skip to content

Artifact Submission - ESEC/FSE'22
Compare
Choose a tag to compare
@pmbittner pmbittner released this 11 Jul 13:40
· 35 commits to esecfse22 since this release
ArtefactSubmission
eb0b0c4

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.
Assets 5