This is an updated version of https://github.com/smithy-lang/smithy-dafny/pull/202. That branch is very far behind main-1.x particularly after the recent Java formatting changes. To avoid merge conflict hell, I'm submitting a new PR from a new branch.
Currently, only .NET is supported (via TestModels). I haven't attempted Java.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
Issue #, if available:
Description of changes:
This is an updated version of https://github.com/smithy-lang/smithy-dafny/pull/202. That branch is very far behind
main-1.xparticularly after the recent Java formatting changes. To avoid merge conflict hell, I'm submitting a new PR from a new branch.Currently, only .NET is supported (via TestModels). I haven't attempted Java.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.