chore: sync public with staging #615

accurately reflect the staging repo

consolidate CI so that it is more manageable

* task: add SplitOnce * task: add SplitOnce * m

This PR only deals with making sure that Dafny verifies

Now the MPL library will build and run tests in .NET. Also, the StandardLibrary needed to be moved out into its own library.

…g Model (#29) Adds smithy files that are part of the hierarchy keyring

Switch the MPL to using duvet native markdown

Also updating the CI to not fail

Co-authored-by: texastony <[email protected]>

Co-authored-by: seebees <[email protected]>

Co-authored-by: texastony <[email protected]>

Polymorph is at 231d147 Co-authored-by: Valerie Lambert <[email protected]>

* feat(Crypto-Java): AES GCM Extern Passes Dafny Tests. * enable tests Co-authored-by: texastony <[email protected]>

Co-authored-by: Tony Knapp <[email protected]>

* feat: sets-extern

These are the changes to the ESDK to integrate with the MPL

* feat: add ensures to set operations

Co-authored-by: seebees <[email protected]>

Create a shared makefile, and then use that shared makefile

* feat: add AES CTR

Co-authored-by: seebees <[email protected]>

* feat: AesKdfCtr.Stream should have been a function

* feat: change module name from Sets to SortedSets

The Polymorph include file needs to be a relative path. Otherwise the included file is not portable. Also refactored out the code-gen so that it is easy to build only parts of the code-gen e.g. Only Dafny, or only Java Co-authored-by: Tony Knapp <[email protected]>

and consolidate arn parsing for kms and ddb to one shared file

* feat: add comparison operations * m * move * m

* chore(polymorph): pull in latest polymorph * fix: PR Comments * Add collection of errors to Java * woops --------- Co-authored-by: seebees <[email protected]>

Implementation of the specification update to validate encryption context on decrypt.

The Gazelle can now use the ESDK sharedMakefile

Co-authored-by: Tony Knapp <[email protected]>

This wraps the MPL in generated code, and then sends tests from Dafny => Native => Dafny and back to test most keyring/Algorithm Suite combinations.

* feat: add expected context cmm * another polymorph run for test vectors --------- Co-authored-by: seebees <[email protected]>

Co-authored-by: Valerie Lambert <[email protected]>

Account for the changes in smithy-lang/smithy-dafny#189, mainly depending on the classpath for AWS traits instead of local copies, and using the aws.api#service$sdkId value to name Dafny clients when present instead of the shape name. Regenerated all the Smithy-generated code and reviewed the diff, although I think there have been other smithy-dafny changes besides mine that haven't been applied, specifically around component ordering. Also renamed KeyManagementService back to TrentService as it was in the original Smithy model, now that smithy-dafny uses the sdkId instead. Co-authored-by: José Corella <[email protected]>

…eration calculation (#161)

* Update cfn/CI.yaml Co-authored-by: Tony Knapp <[email protected]>

Co-authored-by: Valerie Lambert <[email protected]> Co-authored-by: Alex Chew <[email protected]>

Smithy-Dafny's generated Java does not generate converters for LocalServices. It Should. For now, here is beneration to unblock us.

Support all edkWrapping types

--------- Co-authored-by: lavaleri <[email protected]>

…176)

Co-authored-by: seebees <[email protected]>

…nput (#182)

In the test vectors not all services will be OUTPUT_LOCAL_SERVICE. This lets you break this out similarly to other options.

A PEM may only have one object.

Add an extern to handle this extra case.

#193)

The `verify` target is for verification, the `transpile_*` targets do not need to verify again. Especially since this is a partial verification. Also, passing many files on the CLI is significantly slower than passing a single file that includes everything.

Fix .NET generation in the SharedMakefile For every module but STD and ESDK, re-generate .NET code with Smithy-Dafny. Enable .NET testing in GitHub CI

Co-authored-by: Tony Knapp <[email protected]>

… in serialization (#220) Co-authored-by: seebees <[email protected]> Co-authored-by: lavaleri <[email protected]>

…net (#226)

…223) Co-authored-by: lavaleri <[email protected]> Co-authored-by: seebees <[email protected]>

Co-authored-by: Lucas McDonald <[email protected]> Co-authored-by: Tony Knapp <[email protected]>

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

chore: sync public with staging #615

chore: sync public with staging #615

Commits on Oct 11, 2023