Skip to content

Commit a219e60

Browse files
soaibsafisoaibsafi
committed
🔖v2.5.0
1 parent 85a0727 commit a219e60

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

‎CHANGELOG.md

+4
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,9 @@
11
# Change Log
22

3+
## v2.5.0 [2025-02-25]
4+
### Added
5+
- ✨ Updated smt language support with cross-ref and code completion
6+
37
## v2.4.0 [2024-12-16]
48
### Changed
59
- ✨ Alloy- added support for atoms and skolems when parsing expressions

0 commit comments

Comments
 (0)