v1.5.0

Added

• ✨ Limboole in editor language support (browser worker)
• ✨ Store playground version for future reference
• ✨New examples for SAT, SMT, and Alloy
• ✨Introduction in YouTube Playlist

Changed

• ⚡Migrated from JavaScript to TypeScript
• ♻️Merged some duplicate API endpoints

v1.4.2

• 📌Bump esbuild from 0.20.2 to 0.21.5
• 📌Bump micromatch from 4.0.5 to 4.0.8
• 📝Added new examples for SAT, SMT, and Alloy
• 📝Linked YouTube playlist on the readme

v1.4.1

What's changed?

• 🐛Fixed #9 - Alloy's subset singnature indication missing in instances
• 🐛Fixed #8 - unexpected behavior on last instance of temporal Alloy models
• 📌Bump axios from 1.6.2 to 1.7.4

v1.4.0

What's changed?

• Added alloy tabular and text output
• Bug Fixed- can't parse alloy integer label
• Fixed- Unicode handling
• Fixed- Alloy timeout
• Disabled next instance button while calculating
• Added rate limiter for alloy
• Added download ext for spectra
• Add SQLite option for local development

v1.3.0

What's changed?

• Removed legacy alloy4fun
• Added new Alloy API with Spring Boot
• Integrated Alloy UI into the main playground
• Fixed #6 Limboole syntax error reporting blocks running
• Removed DB migration on docker
• Fixed spectra line highlighting error
• nuXmv tutorial URL changed
• Updated workflow for docker build

v1.2.1

What's changed?

---

• Introduce new tool - Spectra Synthesizer
• Line highlighting on the editor on error/core
• Introduced dark mode
• Compressing large response body
• Migrated Z3 to the browser

v1.1.2

Fix

• Syntax highlighting fails when loading from permalinks 9991aa1
• Handle non-ASCII characters on specification
• nuXmv time-out blocked by Gunicorn
• Store the specification configuration on refresh/redirect
• Exit fullscreen mode with ESC key keeps current ref
• File upload type
• Run button disable failed when running

v1.1.1

What’s Changed

Fix

• GitHub link breaks on mobile device
• After loading a spec from the history the output panel keeps the content of previous analyses, and the permalink is not updated
• Keep the selected history highlighted
• The search results reset to all specs after loading a spec

v1.1.0

What’s Changed

• Save user theme preference
• Adjust the height on the fullscreen
• Codebase minification on deployment
• Upgrade Alloy-API to the latest maven and java
• Introduce request limit with flask-limiter

Fix

• Limboole parsing error #4
• Copying empty permalink
• API response error
• nuXmv copyright notice

v1.0.0

Release Notes - v1.0.0

What's Changed

• Completely rewritten frontend with React
• Added login functionality with Google and GitHub
• Added ability to save specifications
• Added ability to download history as JSON
• Search saved history