added meta files for submission

Author: pmbittner

INSTALL.md

@@ -0,0 +1,42 @@
+## Installing Stack
+
+As explained in the [REQUIREMENTS.md](REQUIREMENTS.md), the [_Stack_][stack] build system is our only installation requirement.
+Detailed installation instruction are given on the respective [installation webpage][stackinstall].
+
+- Linux: You can install stack via `sudo apt-get install haskell-stack` (or `sudo pacman -S stack` if you are using pacman).
+Further instructions for installing stack including specific linux distributions are given [here][stackinstall].
+- Windows 64-bit: Go to the [stack installation page][stackinstall]. Download and run the _Windows 64-bit Installer_.
+- MacOS: Please follow the instructions on the [installation webpage][stackinstall].
+
+## Running the Demo
+
+After you installed stack, please open a terminal and navigate to the repository's directory (the directory containing this `INSTALL.md`).
+```shell
+cd <path/to/this/repository>
+```
+Our demo prints coloured text to the terminal, so it might not be compatible with every terminal.
+We tested it within the Windows Terminal, Windows Powershell, Windows Subsystem for Linux (WSL), and the default terminal on Manjaro.
+(It might not work with Git Bash.)
+You can then build the library and run the demo as follows:
+
+```shell
+stack run
+```
+
+## Expected Output
+
+The demo will run three examples as described in the [README](README.md):
+
+1. Alice's part of the motivating example shown in Figure 1 in the paper.
+2. Bob's part of the motivating example shown in Figure 3 in the paper.
+3. Examples of Edit Patterns from the Evaluation (Section 5).
+
+If you see the following output after `stack run`, the build process and execution of the demo were successful.
+The colours in your terminal might deviate from the following screenshots:
+
+![Alice](meta/Alice.png)
+![Bob](meta/Bob.png)
+![Patterns](meta/Patterns.png)
+
+[stack]: https://docs.haskellstack.org/en/stable/README/
+[stackinstall]: https://docs.haskellstack.org/en/stable/install_and_upgrade/

README.md

@@ -58,7 +58,7 @@ By default, the following examples are executed in this order:
 
 ## Documentation
 
-A detailed documentation can be found in 'docs/index.html' and can be browsed on the [Github page][documentation].
+A detailed documentation can be found in `docs/index.html` and can be browsed on the [Github page][documentation].
 
 Some interesting code locations are:
 - `showExamples` function in [`app/Main.hs`](app/Main.hs): Here you can choose which examples to run and in which format the source code should be displayed. Choose from:

REQUIREMENTS.md

@@ -0,0 +1,12 @@
+## Hardware Requirements
+None
+
+## Software Requirements
+
+The [Stack build system][stack] is the only requirement to build our library and to run the demo.
+Stack is the de-facto standard for Haskell projects.
+Dependencies to other packages are documented in the build files ([stack.yaml](stack.yaml) and [package.yaml](package.yaml)) and are handled automatically by Stack.
+We do not require specific operating systems or other environments apart from Stack.
+We successfully tested building the library and running the library on Windows 10, WSL, Ubuntu and Manjaro.
+
+[stack]: https://docs.haskellstack.org/en/stable/README/

STATUS.md

@@ -0,0 +1,9 @@
+We claim the _Artifacts Available_ badge as we made our artefacts publicly available on [Github][ftrgithub] and [Zenodo][ftrzenodo]. (For now, the Zenodo link points to a reserved doi under which we will publish the artifacts once completed until the deadline at June 4.)
+
+We claim the _Artifacts Evaluated Reusable_ badge as we implemented feature trace recording as a reusable library.
+We documented all modules of the library in detail and made the documentation [available on Github][documentation] as well.
+Furthermore, our library serves as a reference implementation if researchers or practitioners want to reimplement feature trace recording in another programming language.
+
+[ftrgithub]: https://github.com/pmbittner/FeatureTraceRecording/tree/esecfse21
+[ftrzenodo]: https://doi.org/10.5281/zenodo.4818461
+[documentation]: https://pmbittner.github.io/FeatureTraceRecording/