Releases: se-buw/fm-playground
Releases · se-buw/fm-playground
v1.4.1
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