diff --git a/backend/lib/spectra-cli.jar b/backend/lib/spectra-cli.jar index 1c28088..5918818 100644 Binary files a/backend/lib/spectra-cli.jar and b/backend/lib/spectra-cli.jar differ diff --git a/frontend/src/assets/config/Guides.json b/frontend/src/assets/config/Guides.json index 965dff5..fd3aad8 100644 --- a/frontend/src/assets/config/Guides.json +++ b/frontend/src/assets/config/Guides.json @@ -74,5 +74,15 @@ "title": "Tutorial for Alloy Analyzer 4.0", "link": "https://alloytools.org/tutorials/online/" } + ], + "spectra": [ + { + "title": "Video Tutorial", + "link": "https://www.youtube.com/playlist?list=PLGyeoukah9Nbx1QquUmZGdLulFZIsiRlZ" + }, + { + "title": "Examples", + "link": "https://smlab.cs.tau.ac.il/syntech/examples/index.html" + } ] }