search

smithy-lang / smithy-dafny

Apache License 2.0
10 stars 8 forks source link

Improve Dafny to Rust code generation performance #648

Open robin-aws opened 1 month ago

robin-aws commented 1 month ago

Not really a smithy-dafny responsibility, but should be evaluated before publish smithy-dafny based Rust libraries

ajewellamz commented 3 weeks ago

https://github.com/dafny-lang/dafny/issues/5850 https://github.com/dafny-lang/dafny/issues/5856 https://github.com/dafny-lang/dafny/issues/5857