Initialize repository based on the stars-carla-experiments repository

.githooks/pre-push

@@ -0,0 +1,23 @@
+#!/bin/sh
+echo "------------"
+echo "Running git pre-push hook. Running Spotless Check... "
+echo "------------"
+
+git stash -q --keep-index
+
+./gradlew spotlessCheck
+
+status=$?
+
+if [ "$status" = 0 ] ; then
+    echo "Static analysis found no problems."
+else
+    echo "------------"
+    echo 1>&2 "Spotless Check found violations."
+    echo "Run spotless apply in your terminal and fix the issues before trying to push again."
+    echo "------------"
+fi
+
+git stash pop -q
+
+exit $status

.github/dependabot.yml

@@ -0,0 +1,20 @@
+# To get started with Dependabot version updates, you'll need to specify which
+# package ecosystems to update and where the package manifests are located.
+# Please see the documentation for all configuration options:
+# https://docs.github.com/code-security/dependabot/dependabot-version-updates/configuration-options-for-the-dependabot.yml-file
+version: 2
+updates:
+    - package-ecosystem: "gradle"
+      directory: "/"
+      schedule:
+          interval: "weekly"
+      ignore:
+          - dependency-name: "*"
+            update-types: ["version-update:semver-patch"]
+      open-pull-requests-limit: 25
+
+    - package-ecosystem: "github-actions"
+      directory: "/"
+      schedule:
+          interval: "weekly"
+      open-pull-requests-limit: 25

.gitignore

@@ -0,0 +1,14 @@
+### Project ###
+/stars-reproduction-source
+/stars-reproduction-source.zip
+/analysis-result-logs
+/compared-results/*
+/serialized-results/*
+
+!serialized-results/baseline/
+!serialized-results/baseline-all/
+
+**/.gradle
+**/build
+.idea
+/.idea/

build.gradle.kts

@@ -0,0 +1,136 @@
+/*
+ * Copyright 2023-2024 The STARS OWA Coverage Authors
+ * SPDX-License-Identifier: Apache-2.0
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+plugins {
+  kotlin("jvm") version "2.0.0"
+  application
+  id("io.gitlab.arturbosch.detekt") version "1.23.6"
+  id("com.diffplug.spotless") version "6.25.0"
+}
+
+group = "tools.aqua"
+
+version = "0.5"
+
+repositories { mavenCentral() }
+
+var starsVersion = "0.5"
+
+dependencies {
+  testImplementation(kotlin("test"))
+  implementation(group = "tools.aqua", name = "stars-core", version = starsVersion)
+  implementation(group = "tools.aqua", name = "stars-logic-kcmftbl", version = starsVersion)
+  implementation(group = "tools.aqua", name = "stars-data-av", version = starsVersion)
+  implementation(group = "tools.aqua", name = "stars-importer-carla", version = starsVersion)
+  implementation(group = "com.github.ajalt.clikt", name = "clikt", version = "4.4.0")
+  detektPlugins(
+      group = "io.gitlab.arturbosch.detekt", name = "detekt-rules-libraries", version = "1.23.6")
+}
+
+detekt {
+  basePath = rootProject.projectDir.absolutePath
+  config.setFrom(files(rootProject.file("contrib/detekt-rules.yml")))
+}
+
+spotless {
+  kotlin {
+    licenseHeaderFile(rootProject.file("contrib/license-header.template.kt")).also {
+      it.updateYearWithLatest(true)
+    }
+    ktfmt()
+  }
+  kotlinGradle {
+    licenseHeaderFile(
+            rootProject.file("contrib/license-header.template.kt"),
+            "(import |@file|plugins |dependencyResolutionManagement|rootProject.name)")
+        .also { it.updateYearWithLatest(true) }
+    ktfmt()
+  }
+}
+
+tasks.test { useJUnitPlatform() }
+
+val reproductionTest by
+    tasks.registering(JavaExec::class) {
+      group = "verification"
+      description = "Runs the reproduction test."
+      dependsOn(tasks.run.get().taskDependencies)
+
+      mainClass.set("tools.aqua.stars.owa.coverage.Experiment")
+      classpath = sourceSets.main.get().runtimeClasspath
+      jvmArgs = listOf("-Xmx64g")
+      args =
+          listOf(
+              // Configure input
+              "--input",
+              "./stars-reproduction-source/stars-experiments-data/simulation_runs",
+
+              // Set minSegmentTicks filter
+              "--minSegmentTicks",
+              "11",
+
+              // Sort seeds
+              "--sorted",
+
+              // Save results
+              "--saveResults",
+
+              // Run reproduction mode
+              "--reproduction",
+              "baseline",
+          )
+    }
+
+val reproductionTestAll by
+    tasks.registering(JavaExec::class) {
+      group = "verification"
+      description = "Runs the reproduction test."
+      dependsOn(tasks.run.get().taskDependencies)
+
+      mainClass.set("tools.aqua.stars.owa.coverage.Experiment")
+      classpath = sourceSets.main.get().runtimeClasspath
+      jvmArgs = listOf("-Xmx64g")
+      args =
+          listOf(
+              // Configure input
+              "--input",
+              "./stars-reproduction-source/stars-experiments-data/simulation_runs",
+
+              // Set minSegmentTicks filter
+              "--minSegmentTicks",
+              "11",
+
+              // Set allEgo
+              "--allEgo",
+
+              // Sort seeds
+              "--sorted",
+
+              // Save results
+              "--saveResults",
+
+              // Run reproduction mode
+              "--reproduction",
+              "baseline-all",
+
+              // Show memory usage
+              "--showMemoryConsumption")
+    }
+
+application { mainClass.set("tools.aqua.stars.owa.coverage.Experiment") }
+
+kotlin { jvmToolchain(17) }