This repository was archived by the owner on Mar 24, 2025. It is now read-only.

0.7.4

jxnu-liguobin released this 06 Jul 10:28

· 142 commits to master since this release

bc76bbd

What's Changed

support options for Transformable by @jxnu-liguobin in #210
update sbt scope and make as dev statue by @jxnu-liguobin in #211
refactor smt-cache by @jxnu-liguobin in #212

Full Changelog: 0.7.3...0.7.4

Contributors

jxnu-liguobin

Assets 2