v2.5.3

• added allowed hosts in the vite config file

Full Changelog: v2.5.2...v2.5.3

v.2.5.2

• 📌 Migrated to Vite 6
• 📌 Updated Python dependencies

v2.5.1

• Added materials for spectra
• Added current variant of (spectra) pattern names, keeping old for backwards compatibility

v2.5.0

• ✨ Updated SMT language support with cross-ref and code completion
• ♻️ Enabled language support by default for SMT and Limboole

v2.4.1

• 🔍️ Updated description for Google search

v2.4.0

• ✨ Alloy- added support for atoms and skolems when parsing expressions
• 🐛 Alloy- unified creation of instances for initial and next instances (fixed tabular output)
• 🐛 Alloy- fixed alloy instance is not updating immediately
• 🐛 Alloy- fixed evaluator cleared up when switching tabs
• 🐛 Alloy- fixed URL encoding
• ♻️ Alloy- refactored setup to avoid duplication of controller subclass
• 📌 Bump nanoid 3.3.7 -> 3.3.8

v2.3.0

• ✨ Added alloy evaluator
• 🎨 Improved the visualization of alloy text and tabular format
• ⚡️ Switched deprecated method in Java

v2.2.2

⚡️Using sat4j for alloy
📌Bump python dependencies

v2.2.1

Changed

⚡️Set alloy memory usage limit; restart if exceeded
⚡️Using minisat for alloy
🐛Handle label on alloy commands
📌Bump cross-spawn to 7.0.6

v2.2.0

Added

• ✨ Added typo validation in Limboole by @azaddima
• ✨ Storing language support check as metadata

Changed

• 🐛 Fixed issue with ASCII char recognition
• 🐛 Fixed Limboole syntax highlighting
• ♻️ Refactored error messages
• 📝 Added issue template for bug