m

Author: lucasmcdonald3

AwsEncryptionSDK/.gitignore

@@ -4,6 +4,8 @@ TestsFromDafny.cs
 ImplementationFromDafny-cs.dtr
 TestsFromDafny-cs.dtr
 
+*.pyc
+
 bin/
 obj/
 

AwsEncryptionSDK/project.properties

@@ -0,0 +1,10 @@
+# Important: Do not use this code. This package is AWS-internal.
+
+This is NOT the released version of the AWS Encryption SDK for Java.
+
+You can access the AWS Encryption SDK for Java at:
+
+* Github: https://github.com/aws/aws-encryption-sdk-java
+* Maven: https://mvnrepository.com/artifact/com.amazonaws/aws-encryption-sdk-java
+
+This is an in-development rewrite of the AWS Encryption SDK for Java and should not be used until development is complete.

AwsEncryptionSDK/runtimes/java/README.md

@@ -0,0 +1,16 @@
+# Python build artifacts
+__pycache__
+**/__pycache__
+*.pyc
+src/**.egg-info/
+build
+poetry.lock
+**/poetry.lock
+dist
+
+# Dafny-generated Python
+**/internaldafny/generated/*.py
+
+# Python test artifacts
+.tox
+.pytest_cache

AwsEncryptionSDK/runtimes/python/.gitignore

@@ -0,0 +1,10 @@
+# Important: Do not use this code. This package is AWS-internal.
+
+This is NOT the released version of the AWS Encryption SDK for Python.
+
+You can access the AWS Encryption SDK for Python at:
+
+* Github: https://github.com/aws/aws-encryption-sdk-python
+* PyPI: https://pypi.org/project/aws-encryption-sdk/
+
+This is an in-development rewrite of the AWS Encryption SDK for Python and should not be used until development is complete.

AwsEncryptionSDK/runtimes/python/README.md

@@ -1,8 +1,22 @@
 [tool.poetry]
+# Note: We should not release this library with this name.
+# We should release this library under the name `aws-encryption-sdk`.
+# But this repo's TestVectors test the released, native version of the ESDK,
+#   which has this name.
+# The names conflict, and issues arise from this.
+# When we are ready to release the Dafny-Python ESDK, we should rename this,
+#   but figure out if/how we can still test the native ESDK in this repo.
 name = "aws-encryption-sdk-dafny"
 version = "0.1.0"
 description = ""
 authors = ["AWS Crypto Tools <[email protected]>"]
+# Note: We should not release this library with this package name.
+# We should release this library with the package name `aws_encryption_sdk`.
+# But this repo's TestVectors test the released, native version of the ESDK,
+#   which has this name.
+# The names conflict, and issues arise from this.
+# When we are ready to release the Dafny-Python ESDK, we should rename this,
+#   but figure out if/how we can still test the native ESDK in this repo.
 packages = [
     { include = "aws_encryption_sdk_dafny", from = "src" }
 ]

AwsEncryptionSDK/runtimes/python/pyproject.toml

@@ -5,6 +5,7 @@ ImplementationFromDafny-cs.dtr
 TestsFromDafny-cs.dtr
 **/bin
 **/obj
+*.pyc
 runtimes/java/dafny
 runtimes/**/encrypt-manifest.json
 runtimes/**/decrypt-manifest.json

TestVectors/.gitignore

@@ -0,0 +1,16 @@
+# Python build artifacts
+__pycache__
+**/__pycache__
+*.pyc
+src/**.egg-info/
+build
+poetry.lock
+**/poetry.lock
+dist
+
+# Dafny-generated Python
+**/internaldafny/generated/*.py
+
+# Python test artifacts
+.tox
+.pytest_cache