Anonymous Artifact to IncreGR1: An Incremental Reactive Synthesis Framework for GR(1) Formulae

IncreGR1 is a sound and complete incremental reactive synthesis solution for GR(1) formulae, introduced in the paper "IncreGR1: An Incremental Reactive Synthesis Framework for GR(1) Formulae". It generates and recomputes only the dirty regions directly on the GR(1) intermediate. The modular structure of these intermediates not only makes it easier to delimit and recompute the scope of impact, but also enables IncreGR1 to handle every possible modification type and multiple modifications in a unified procedure. We provide the artifact associated with this paper, comprising two components: (1) the experimental materials and (2) the implementation tool, spectra-incregr1-v0.3.jar, built on the Spectra toolset. IncreGR1-Artifact/├── Part1-OnWholeSyntechX # including RQ1 to RQ3├── Part2-CmpWithGR1C # including RQ4├── Readme.md # this file└── spectra-incregr1-v0.3.jar # the implemented tool In this paper, we also contribute and open-source the first benchmark designed specifically for evaluating incremental synthesis methods, named SyntechX. It is publicly available on Zenodo.