Skip to content

Releases: wzh1895/ASDM

v0.7.2

08 Feb 20:34
@wzh1895 wzh1895
v0.7.2
79ef922
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v0.7.2 Latest
Latest 
Merge pull request #48 from wzh1895/dev

v0.7.2
Assets 2
Loading

v0.6.1

24 Oct 10:51
@wzh1895 wzh1895
v0.6.1
b036d1b
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v0.6.1

What's Changed

  • Added support for saving XMILE; improved dependency graph creating by @wzh1895 in #46

Full Changelog: v0.5.0...v0.6.1

Contributors

wzh1895
Loading

v0.5.0: Merge pull request #44 from wzh1895/dev

19 Oct 21:21
@wzh1895 wzh1895
v0.5.0
c23e7a6
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v0.5.0: Merge pull request #44 from wzh1895/dev

v0.5.0

Loading

v0.3.0

20 Jan 02:20
@wzh1895 wzh1895
v0.3.0
5a70fee
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v0.3.0

What's Changed

  • Switched back to static solver and adopted dependency graphs by @wzh1895 in #30

Full Changelog: v0.2.3...v0.3.0

Contributors

wzh1895
Loading

v0.2.3

06 Jan 19:36
@wzh1895 wzh1895
v0.2.3
92091e9
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v0.2.3 
Merge pull request #28 from wzh1895/dev

Updated replace_equation so that changes take effect in the next step
Loading