badges and link updates

Author: pmbittner

README.md

@@ -1,5 +1,10 @@
 # Classifying Edits to Variability in Source Code
 
+[![Documentation](https://img.shields.io/badge/Documentation-Read-purple)][documentation]
+[![Install](https://img.shields.io/badge/Install-Instructions-blue)](INSTALL.md)
+[![GitHubPages](https://img.shields.io/badge/GitHub%20Pages-online-blue.svg?style=flat)][website]
+[![License](https://img.shields.io/badge/License-GNU%20LGPLv3-blue)](LICENSE.LGPL3)
+
 This is the replication package for our paper _Classifying Edits to Variability in Source Code_ accepted at the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2022).
 
 This replication package consists of four parts:
@@ -95,6 +100,9 @@ The input file must have the same format as the other dataset files (i.e., repos
 [haskell]: https://www.haskell.org/
 [dataset]: docs/datasets.md
 
+[documentation]: https://variantsync.github.io/DiffDetective/docs/javadoc/
+[website]: https://variantsync.github.io/DiffDetective/
+
 [resultsdir]: results/validation/current
 [resultsdir_classification_results]: results/validation/current/ultimateresult.metadata.txt
 [resultsdir_speed_statistics]: results/validation/current/speedstatistics.txt

STATUS.md

@@ -25,7 +25,7 @@ The `proofs` Haskell project provides an extended formal specification of our th
   Its main purpose is to document the theory and its extensions to serve as a reference for the proofs in our appendix.
   Yet, the project can also be used as a library to reason on variation trees and diffs in Haskell projects.
 
-The library is accompanied with a small demo application that shows an example test case for our proof for completeness, by creating a variation tree diff from two variation trees and re-projecting them.
+The library is accompanied by a small demo application that shows an example test case for our proof for completeness, by creating a variation tree diff from two variation trees and re-projecting them.
 
 ## Claims
 We claim the _Artifacts Available_ badge as we made our artefacts publicly available on [Github][ddgithub] and [Zenodo][ddzenodo].