bldl · Curve · Oct 29, 2025 · Oct 29, 2025 · Oct 30, 2025 · Oct 30, 2025
diff --git a/.eslintrc.json b/.eslintrc.json
diff --git a/.gitignore b/.gitignore
@@ -1,13 +1,7 @@
-.vscode/*
-!.vscode/extensions.json
-!.vscode/launch.json
-!.vscode/tasks.json
-node_modules
-out/
-src/language/generated/
-static/bundle/
-static/monaco-editor-workers/
-static/worker/
+.cache
+
+test/
 syntaxes/
-examples/out
-**/__pycache__/*
+node_modules/
+public/solver*
+lib/language/generated
diff --git a/.vscode/extensions.json b/.vscode/extensions.json
diff --git a/.vscode/launch.json b/.vscode/launch.json
diff --git a/.vscode/tasks.json b/.vscode/tasks.json
diff --git a/.vscodeignore b/.vscodeignore
diff --git a/CHANGELOG.md b/CHANGELOG.md
diff --git a/templates/laboratory-template/LICENSE → LICENSE b/templates/laboratory-template/LICENSE → LICENSE
@@ -1,6 +1,6 @@
 MIT License
 
-Copyright (c) 2021 Ashley Claymore
+Copyright (c) 2025 Philipp Riemer, Noah Karnel
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal

diff --git a/LICENSE.txt b/LICENSE.txt
diff --git a/README.md b/README.md
diff --git a/bin/cli.js b/bin/cli.js
diff --git a/config/langium.json b/config/langium.json
@@ -0,0 +1,12 @@
+{
+  "projectName": "SpecAlt",
+  "languages": [{
+    "id": "specalt",
+    "textMate": {
+      "out": "../syntaxes/specalt-format.tmLanguage.json"
+    },
+    "fileExtensions": [".spa"],
+    "grammar": "../lib/language/specalt.langium"
+  }],
+  "out": "../lib/language/generated"
+}
diff --git a/dprint.json b/dprint.json
@@ -0,0 +1,21 @@
+{
+  "typescript": {
+    "module.sortImportDeclarations": "maintain",
+    "quoteStyle": "preferDouble",
+    "bracePosition": "nextLine",
+    "indentWidth": 4
+  },
+  "prettier": {
+    "tabWidth": 2,
+    "bracketSameLine": false
+  },
+  "excludes": [
+    "**/node_modules",
+    "**/*-lock.yaml"
+  ],
+  "plugins": [
+    "https://plugins.dprint.dev/typescript-0.90.3.wasm",
+    "https://plugins.dprint.dev/json-0.19.2.wasm",
+    "https://plugins.dprint.dev/prettier-0.40.0.json@68c668863ec834d4be0f6f5ccaab415df75336a992aceb7eeeb14fdf096a9e9c"
+  ]
+}