Skip to content

Commit cec4411

Browse files
committed
update preamble
1 parent 73d9a80 commit cec4411

1 file changed

Lines changed: 3 additions & 3 deletions

File tree

README.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
1-
> *This artifact extends the open-source tlparser tool [^tlparser] by adding capabilities for the automatic analysis of natural-language specifications and for supporting their quality evaluation. The codebase was obtained by cloning the upstream repository and augmenting it with these features.*
1+
> *This artifact extends the open-source `tlparser`[^tlparser] to automatically analyze requirements expressed in natural language and support their quality evaluation.*
2+
> *The codebase was obtained by forking original `tlparser` repository and augmenting it with these features.*
23
3-
- Direct link to Edge/IoT dataset: [Dataset.xlsx](https://github.com/SEG-UNIBE/tlparser/raw/refs/heads/extension/data/Edge_IoT/Dataset.xlsx)
4+
- Direct link to Edge/IoT dataset: [**Dataset.xlsx**](https://github.com/SEG-UNIBE/tlparser/raw/refs/heads/extension/data/Edge_IoT/Dataset.xlsx)
45

5-
</br>
66
</br>
77

88
# Temporal Logic Parser (Extended)

0 commit comments

Comments
 (0)