Code

feat: Rust codegen for Constraints#582

Code

Merged

robin-aws merged 12 commits intomain-1.xsmithy-lang/smithy-dafny:main-1.xfrom alexchew/rust-codegen-constraintssmithy-lang/smithy-dafny:alexchew/rust-codegen-constraintsCopy head branch name to clipboardSep 26, 2024

+3,162-50

Commits

Commits on Sep 12, 2024

• fix conversions for DafnyUtf8Bytes

  alex-chew

  committed
  8437692

  Copy full SHA for 8437692

Commits on Sep 13, 2024

• feat: Rust codegen for Constraints model

  alex-chew

  committed
  316e2de

  Copy full SHA for 316e2de

• Merge branch 'main-1.x' into alexchew/rust-codegen-constraints

  alex-chew

  committed
  fef3d37

  Copy full SHA for fef3d37

• avoid recalculating lengths

  alex-chew

  committed
  1fc2cbd

  Copy full SHA for 1fc2cbd

• regenerate Rust runtime for Positional test model

  alex-chew

  committed
  feb1999

  Copy full SHA for feb1999

• improve validation error representation

  alex-chew

  committed
  6f4eefa

  Copy full SHA for 6f4eefa

• regenerate Rust runtime for Positional test model

  alex-chew

  committed
  9e398f1

  Copy full SHA for 9e398f1

• use dafny_runtime::Object more safely

  alex-chew

  committed
  32ba8f2

  Copy full SHA for 32ba8f2

• regenerate runtime

  alex-chew

  committed
  a6d9d83

  Copy full SHA for a6d9d83

Commits on Sep 24, 2024

• Committing Constraints Rust code for review purposes

  robin-aws

  committed
  0cf629a

  Copy full SHA for 0cf629a

Commits on Sep 25, 2024

• count UTF-16 code points for @Length

  alex-chew

  committed
  62bb88e

  Copy full SHA for 62bb88e

• Merge branch 'main-1.x' into alexchew/rust-codegen-constraints

  alex-chew

  authored
  9acf8c2

  Copy full SHA for 9acf8c2