Skip to content

Releases: informalsystems/itf-rs

v0.2.4

16 May 07:17
@romac romac
v0.2.4
This tag was signed with the committer’s verified signature.
romac Romain Ruetschi
SSH Key Fingerprint: icVRLH4pmtysyDpxyzYqlvUUujQ1O5hfuRkYhXqIfP0 Learn about vigilant mode.
2cb9a14
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.2.4 Latest
Latest

May 16th, 2024

  • Add helpers to deserialize into std::option::Option or std::result::Result (#17)
Assets 2
Loading

v0.2.3

26 Mar 15:09
@romac romac
v0.2.3
This tag was signed with the committer’s verified signature.
romac Romain Ruetschi
SSH Key Fingerprint: icVRLH4pmtysyDpxyzYqlvUUujQ1O5hfuRkYhXqIfP0 Learn about vigilant mode.
40cbf6a
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.2.3

March 26th, 2024

  • Compatibility with Quint v0.19.0
  • Deserialize empty tuple as unit (#15)
Assets 2
Loading

v0.2.2

26 Mar 15:06
@romac romac
v0.2.2
This tag was signed with the committer’s verified signature.
romac Romain Ruetschi
SSH Key Fingerprint: icVRLH4pmtysyDpxyzYqlvUUujQ1O5hfuRkYhXqIfP0 Learn about vigilant mode.
202badc
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.2.2

December 7th, 2023

  • Add support for sum types (#12)
Assets 2
Loading

v0.2.1

26 Mar 15:06
@romac romac
v0.2.1
This tag was signed with the committer’s verified signature.
romac Romain Ruetschi
SSH Key Fingerprint: icVRLH4pmtysyDpxyzYqlvUUujQ1O5hfuRkYhXqIfP0 Learn about vigilant mode.
54da394
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.2.1

November 28th, 2023

  • Add a trace runner (#9)
Assets 2
Loading

v0.2.0

22 Nov 08:44
@romac romac
v0.2.0
This tag was signed with the committer’s verified signature.
romac Romain Ruetschi
SSH Key Fingerprint: icVRLH4pmtysyDpxyzYqlvUUujQ1O5hfuRkYhXqIfP0 Learn about vigilant mode.
e15806f
This commit was signed with the committer’s verified signature.
romac Romain Ruetschi
SSH Key Fingerprint: icVRLH4pmtysyDpxyzYqlvUUujQ1O5hfuRkYhXqIfP0 Learn about vigilant mode.
Compare
Choose a tag to compare
v0.2.0

November 21st, 2023

  • Deserialize ITF values into native Rust types with a custom deserializer instead of having to go through Itf<A> wrapper type (#6)

Full changes: v0.1.2...v0.2.0

Assets 2
Loading

v0.1.2

10 Nov 14:18
@romac romac
v0.1.2
This tag was signed with the committer’s verified signature.
romac Romain Ruetschi
SSH Key Fingerprint: icVRLH4pmtysyDpxyzYqlvUUujQ1O5hfuRkYhXqIfP0 Learn about vigilant mode.
59ccf78
This commit was signed with the committer’s verified signature.
romac Romain Ruetschi
SSH Key Fingerprint: icVRLH4pmtysyDpxyzYqlvUUujQ1O5hfuRkYhXqIfP0 Learn about vigilant mode.
Compare
Choose a tag to compare
v0.1.2
  • Add From<T> where T: From<BigInt> instance for ItfBigInt

Full Changelog: v0.1.1...v0.1.2

Assets 2
Loading

v0.1.1

10 Nov 14:18
@romac romac
v0.1.1
This tag was signed with the committer’s verified signature.
romac Romain Ruetschi
SSH Key Fingerprint: icVRLH4pmtysyDpxyzYqlvUUujQ1O5hfuRkYhXqIfP0 Learn about vigilant mode.
6eba8e9
This commit was signed with the committer’s verified signature.
romac Romain Ruetschi
SSH Key Fingerprint: icVRLH4pmtysyDpxyzYqlvUUujQ1O5hfuRkYhXqIfP0 Learn about vigilant mode.
Compare
Choose a tag to compare
v0.1.1
  • Add support for new timestamp field in meta section of ITF traces

Full Changelog: v0.1.0...v0.1.1

Assets 2
Loading

v0.1.0

10 Nov 14:17
@romac romac
v0.1.0
This tag was signed with the committer’s verified signature.
romac Romain Ruetschi
SSH Key Fingerprint: icVRLH4pmtysyDpxyzYqlvUUujQ1O5hfuRkYhXqIfP0 Learn about vigilant mode.
c42b860
This commit was signed with the committer’s verified signature.
romac Romain Ruetschi
SSH Key Fingerprint: icVRLH4pmtysyDpxyzYqlvUUujQ1O5hfuRkYhXqIfP0 Learn about vigilant mode.
Compare
Choose a tag to compare
v0.1.0

Initial release

Assets 2
Loading