set links to now public repository

Author: pmbittner

STATUS.md

@@ -21,7 +21,7 @@ We claim the _Artifacts Available_ badge as we made our artefacts publicly avail
 We claim the _Artifacts Evaluated Reusable_ badge as we implemented DiffDetective as a reusable library (see above).
 Furthermore, both DiffDetective and our Haskell formalization serve as reference implementations if researchers or practitioners want to reimplement our theory in other programming languages.
 
-[ddgithub]: UNDEFINED
+[ddgithub]: https://github.com/VariantSync/DiffDetective/tree/esecfse
 [ddzenodo]: UNDEFINED
-[ddappendix]: UNDEFINED
-[ddproofs]: UNDEFINED
+[ddappendix]: https://github.com/VariantSync/DiffDetective/raw/esecfse/appendix.pdf
+[ddproofs]: https://github.com/VariantSync/DiffDetective/tree/esecfse/proofs