We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 228b6c2 commit 49ebefbCopy full SHA for 49ebefb
CHANGELOG.md
@@ -1,5 +1,10 @@
1
# Change Log
2
3
+## v2.1.0 [2024-11-01]
4
+### Added
5
+ - ✨ SMT in editor language support (browser worker)
6
+ - ✨ Feedback form
7
+
8
## v2.0.0 [2024-10-20]
9
### Added
10
- ⚡️Added caching mechanism for z3, nuXmv, and Spectra with Redis
0 commit comments