Skip to content

v2.3.0

Latest
Compare
Choose a tag to compare
@soaibsafi soaibsafi released this 16 Dec 09:38
· 2 commits to main since this release
  • ✨ 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