Skip to content

Releases: spaceandtimelabs/sxt-proof-of-sql

v0.91.23

11 Apr 14:10
33f573b
Compare
Choose a tag to compare

0.91.23 (2025-04-11)

Features

v0.91.22

10 Apr 14:06
e75cf88
Compare
Choose a tag to compare

0.91.22 (2025-04-10)

Bug Fixes

  • sol: explicitly initialize yul variables with 0 (55a6735)
  • sol: explicitly initialize yul variables with 0 (#735) (e75cf88)

v0.91.21

10 Apr 02:45
99a99af
Compare
Choose a tag to compare

0.91.21 (2025-04-10)

Features

v0.91.20

09 Apr 20:02
8214b4d
Compare
Choose a tag to compare

0.91.20 (2025-04-09)

Bug Fixes

  • remove unused code in comparison_util.rs and numerical_util.rs (06520f0)
  • remove unused code in comparison_util.rs and numerical_util.rs (#731) (8214b4d), closes #331 #345 #323

v0.91.19

09 Apr 18:50
e8c041c
Compare
Choose a tag to compare

0.91.19 (2025-04-09)

Features

v0.91.18

09 Apr 14:58
92658b4
Compare
Choose a tag to compare

0.91.18 (2025-04-09)

Features

  • add DecimalScalingCastExpr to DynProofExpr (461151b)
  • decimal scaling cast expr (df021f5)
  • scaling cast expr (#701) (92658b4)

v0.91.17

09 Apr 14:20
98e9aae
Compare
Choose a tag to compare

0.91.17 (2025-04-09)

Bug Fixes

v0.91.16

08 Apr 20:56
3e2fd2e
Compare
Choose a tag to compare

0.91.16 (2025-04-08)

v0.91.15

08 Apr 18:24
3869f7b
Compare
Choose a tag to compare

0.91.15 (2025-04-08)

Bug Fixes

  • transition from allow to expect for turning off clippy lints (aa78b25)
  • transition from allow to expect for turning off clippy lints (#699) (3869f7b), closes #545

v0.91.14

08 Apr 17:31
de3335f
Compare
Choose a tag to compare

0.91.14 (2025-04-08)

Bug Fixes

  • rename scale functions to include decimal in the name (14ff02e)