May 16th, 2024
- Add helpers to deserialize into
std::option::Optionorstd::result::Result(#17)
March 25th, 2024
- Compatibility with Quint v0.19.0
- Deserialize empty tuple as unit (#15)
December 7th, 2023
- Add support for sum types (#12)
November 28th, 2023
- Add a trace runner (#9)
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)
November 10th, 2023
- Add
From<T> where T: From<BigInt>instance forItfBigInt
November 10th, 2023
- Add support for new
timestampfield in meta section of ITF traces
March 24th, 2023
- Initial release