Skip to content

v2.5.0

Latest
Compare
Choose a tag to compare
@soaibsafi soaibsafi released this 25 Feb 06:05
  • ✨ Updated SMT language support with cross-ref and code completion
  • ♻️ Enabled language support by default for SMT and Limboole