v9.7.3

chore: Release corset version 9.7.3

v9.7.2

chore: Release corset version 9.7.2

v9.5.0

• Bug Fixes
  • Homogeneize arrays and columns

v9.4.0

Features

• Generate binarity constraints for @prove-annotated type

v9.3.0

Features

• Generate normalization constraints
• Generate binarity constraints for @prove-annotated type
• Better error messages on erroneous value updating
• Add debug information for binary trace map
• Add a CSV conversion option

Bug Fixes

• Ensure all backings have the correct length
• Message on conditioning error
• Sort constraints auxiliary columns computation
• Fr/BigInt criss-crossing
• Parsed value can be negative

v9.1.5

Fix type compatibility issue

v9.1.4

chore: Release corset version 9.1.4

v9.1.3

Build

• Feature-gate sqlite export
• Generate binaries on release

v8.1.3

Full Changelog: v8.1.2...v8.1.3

v8.1.0

What's Changed

• New formatter by @delehef in #33

Full Changelog: v8.0.2...v8.1.0