Skip to content

Releases: argotorg/act

v0.2.0

30 Jan 17:09
@zoep zoep
v0.2.0
9518974
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.0 Latest
Latest

Major re-implementation of act including:

  • A new type systems and type checker
  • A new bytecode equivalence checking backend
  • A redesigned Rocq backend
  • Support for multiple contracts
Assets 2
Loading

v0.1

31 Aug 11:19
@d-xo d-xo
v0.1
This tag was signed with the committer’s verified signature.
d-xo dxo
GPG key ID: D1920031620D057E
Verified
Learn about vigilant mode.
4e3b661
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v0.1

Our first release!

See the blog post for details.

Loading