Skip to content

Commit c089bfb

Browse files
committed
docs: added note on custom datasets to STATUS.md
1 parent dec0eb4 commit c089bfb

1 file changed

Lines changed: 2 additions & 0 deletions

File tree

STATUS.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -23,6 +23,7 @@ Researchers and practitioners can use our DiffDetective library to build on our
2323

2424
DiffDetective offers various features, including but not limited to:
2525
parsing variation tree diffs from unix diffs, obtaining variation tree diffs for certain patches and commits, matching elementary edit patterns on variation tree diffs, defining custom classifications, rendering, traversing, and transforming variation tree diffs, various de-/serialization methods, and running analyses for the git histories of C preprocessor-based software product lines. We documented each part of the library and provide a [javadoc website][dddocumentation] within the repository.
26+
Moreover, our validation (see _replicability_ above) may also be run on any custom dataset as described in our [README.md][ddreadme].
2627

2728
### **Extended Formal Specification**
2829
The [`proofs`][ddproofs] Haskell project provides an extended formal specification of our theory.
@@ -39,6 +40,7 @@ Furthermore, both DiffDetective and our Haskell formalization serve as reference
3940

4041
[ddgithub]: https://github.com/VariantSync/DiffDetective/tree/esecfse22
4142
[ddzenodo]: UNDEFINED
43+
[ddreadme]: https://github.com/VariantSync/DiffDetective/tree/esecfse22/README.md
4244
[ddappendix]: https://github.com/VariantSync/DiffDetective/raw/esecfse22/appendix.pdf
4345
[ddproofs]: https://github.com/VariantSync/DiffDetective/tree/esecfse22/proofs
4446
[ddlicense]: https://github.com/VariantSync/DiffDetective/blob/main/LICENSE.LGPL3

0 commit comments

Comments
 (0)