-
Notifications
You must be signed in to change notification settings - Fork 3
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
5 changed files
with
133 additions
and
19 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,104 @@ | ||
| # Change Log | ||
|
|
||
| ## v1.5.0 [2024-10-07] | ||
| ### Added | ||
| - ✨ Limboole in editor language support (browser worker) | ||
| - ✨ Store playground version for future reference | ||
| ### Changed | ||
| - ⚡Migrated from JavaScript to TypeScript | ||
| - ♻️Merged some duplicate API endpoints | ||
|
|
||
| ## v1.4.2 [2024-09-28] | ||
| ### What's changed? | ||
| - 📌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 [2024-08-17] | ||
| ### 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 [2024-08-10] | ||
| ### 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 [2024-07-09] | ||
| ### 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 [2024-06-09] | ||
| ### 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 [2024-01-10] | ||
| ### Fix | ||
|
|
||
| - Syntax highlighting fails when loading from permalinks 9991aa1c9c83c78fbd1d9849b5b80fd8efd19d19 | ||
| - 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 [2024-01-05] | ||
|
|
||
| ### 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 [2023-12-28] | ||
| ### 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 [2023-12-21] | ||
| ### 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 | ||
|
|
||
| ## v0.1 [2023-12-14] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,2 +1,3 @@ | ||
| VITE_FMP_API_URL=http://localhost:8000/api | ||
| VITE_FMP_VERSION=1.5.0 | ||
| VITE_FMP_VERSION=1.5.0 | ||
| VITE_FMP_UPDATE_SNACKBAR={"visible":"false","severity":"info","message":"No message"} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,18 +1,23 @@ | ||
| <!doctype html> | ||
| <html lang="en"> | ||
| <head> | ||
| <meta charset="UTF-8" /> | ||
| <link rel="icon" type="image/png" href="logo_se.png" /> | ||
| <meta name="viewport" content="width=device-width, initial-scale=1.0" /> | ||
| <script src="z3-built.js"></script> | ||
| <script> | ||
| globalThis.global = { initZ3: globalThis.initZ3 }; | ||
| </script> | ||
| <title>FM Playground</title> | ||
| </head> | ||
| <body> | ||
| <div id="root"></div> | ||
| <script type="module" src="/src/main.tsx"></script> | ||
| <script src="limboole.js"></script> | ||
| </body> | ||
| </html> | ||
|
|
||
| <head> | ||
| <meta charset="UTF-8" /> | ||
| <link rel="icon" type="image/png" href="logo_se.png" /> | ||
| <meta name="viewport" content="width=device-width, initial-scale=1.0" /> | ||
| <script src="z3-built.js"></script> | ||
| <script> | ||
| globalThis.global = { initZ3: globalThis.initZ3 }; | ||
| </script> | ||
| <script defer src="https://play.formal-methods.net/analytics/script.js" | ||
| data-website-id="af02a892-606f-4ad9-9966-e0867e55a797"></script> | ||
| <title>FM Playground</title> | ||
| </head> | ||
|
|
||
| <body> | ||
| <div id="root"></div> | ||
| <script type="module" src="/src/main.tsx"></script> | ||
| <script src="limboole.js"></script> | ||
| </body> | ||
|
|
||
| </html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters