Skip to content

fix(CI): .Net #2002

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 2 commits into
base: scchatur/370base
Choose a base branch
from
Open

fix(CI): .Net #2002

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
5849d8e
update submodules
Oct 20, 2025
9cc29e3
fix primitives
Oct 20, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion DynamoDbEncryption/dafny/DynamoDbEncryption/src/Beacon.dfy
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ module BaseBeacon {

import DDB = ComAmazonawsDynamodbTypes
import Prim = AwsCryptographyPrimitivesTypes
import Aws.Cryptography.Primitives
import Primitives = AtomicPrimitives
import UTF8
import SortedSets
import TermLoc
Expand Down
2 changes: 1 addition & 1 deletion DynamoDbEncryption/dafny/DynamoDbEncryption/src/CompoundBeacon.dfy
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ module CompoundBeacon {
import opened DdbVirtualFields

import Prim = AwsCryptographyPrimitivesTypes
import Aws.Cryptography.Primitives
import Primitives = AtomicPrimitives
import UTF8
import Seq
import SortedSets
Expand Down
2 changes: 1 addition & 1 deletion DynamoDbEncryption/dafny/DynamoDbEncryption/src/ConfigToInfo.dfy
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,7 @@ module SearchConfigToInfo {
import CB = CompoundBeacon
import SE = AwsCryptographyDbEncryptionSdkStructuredEncryptionTypes
import MPT = AwsCryptographyMaterialProvidersTypes
import Aws.Cryptography.Primitives
import Primitives = AtomicPrimitives

// convert configured SearchConfig to internal SearchInfo
method Convert(outer : DynamoDbTableEncryptionConfig)
Expand Down
2 changes: 1 addition & 1 deletion DynamoDbEncryption/dafny/DynamoDbEncryption/src/SearchInfo.dfy
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@ module SearchableEncryptionInfo {
import UTF8
import opened Time
import KeyStore = AwsCryptographyKeyStoreTypes
import Aws.Cryptography.Primitives
import Primitives = AtomicPrimitives
import Prim = AwsCryptographyPrimitivesTypes
import MP = AwsCryptographyMaterialProvidersTypes
import KeyStoreTypes = AwsCryptographyKeyStoreTypes
Expand Down
2 changes: 1 addition & 1 deletion DynamoDbEncryption/dafny/DynamoDbEncryption/test/BeaconTestFixtures.dfy
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ module BeaconTestFixtures {
import DDBC = Com.Amazonaws.Dynamodb
import KTypes = AwsCryptographyKeyStoreTypes
import SI = SearchableEncryptionInfo
import Aws.Cryptography.Primitives
import Primitives = AtomicPrimitives
import MaterialProviders
import MPT = AwsCryptographyMaterialProvidersTypes
import SortedSets
Expand Down
2 changes: 1 addition & 1 deletion ...StructuredEncryption/src/AwsCryptographyDbEncryptionSdkStructuredEncryptionOperations.dfy
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ module AwsCryptographyDbEncryptionSdkStructuredEncryptionOperations refines Abst
import Prim = AwsCryptographyPrimitivesTypes
import StructuredEncryptionHeader
import Random
import Aws.Cryptography.Primitives
import Primitives = AtomicPrimitives
import Header = StructuredEncryptionHeader
import Footer = StructuredEncryptionFooter
import MaterialProviders
Expand Down
2 changes: 1 addition & 1 deletion DynamoDbEncryption/dafny/StructuredEncryption/src/Crypt.dfy
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ module StructuredEncryptionCrypt {

import CMP = AwsCryptographyMaterialProvidersTypes
import Prim = AwsCryptographyPrimitivesTypes
import Aws.Cryptography.Primitives
import Primitives = AtomicPrimitives
import UTF8
import Header = StructuredEncryptionHeader
import HKDF
Expand Down
2 changes: 1 addition & 1 deletion DynamoDbEncryption/dafny/StructuredEncryption/src/Footer.dfy
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,7 @@ module StructuredEncryptionFooter {
import opened StandardLibrary.UInt
import opened AwsCryptographyDbEncryptionSdkStructuredEncryptionTypes
import opened StructuredEncryptionUtil
import Aws.Cryptography.Primitives
import Primitives = AtomicPrimitives
import Materials
import Header = StructuredEncryptionHeader

Expand Down
2 changes: 1 addition & 1 deletion DynamoDbEncryption/dafny/StructuredEncryption/src/Index.dfy
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ module
{

import Operations = AwsCryptographyDbEncryptionSdkStructuredEncryptionOperations
import Aws.Cryptography.Primitives
import Primitives = AtomicPrimitives
import MaterialProviders

function method DefaultStructuredEncryptionConfig(): StructuredEncryptionConfig
Expand Down
2 changes: 1 addition & 1 deletion DynamoDbEncryption/dafny/StructuredEncryption/test/Header.dfy
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ module TestHeader {
import opened StructuredEncryptionHeader
import opened StructuredEncryptionPaths
import opened UTF8
import Aws.Cryptography.Primitives
import Primitives = AtomicPrimitives
import AlgorithmSuites
import Canonize

Expand Down
2 changes: 1 addition & 1 deletion submodules/MaterialProviders
Open in desktop
Submodule MaterialProviders updated from 66a04b to 70e580
Loading