Add StructuredEncryption smithy model and stubbed APIs

.gitignore

@@ -0,0 +1,16 @@
+.idea/*
+.vscode/*
+*.sln*
+**/.DS_Store
+**/obj
+**/bin
+build/*
+test/**/Output/*
+/package-lock.json
+/node_modules
+
+# Duvet output
+specification_compliance_report.html
+
+# VS Code local history
+/.history

.gitmodules

@@ -0,0 +1,6 @@
+[submodule "libraries"]
+	path = libraries
+	url = [email protected]:dafny-lang/libraries.git
+[submodule "polymorph"]
+	path = polymorph
+	url = [email protected]:awslabs/polymorph.git

Makefile

@@ -0,0 +1,15 @@
+build:
+	cd src/StructuredEncryption/src;\
+	dotnet build
+
+test: build
+	cd src/StructuredEncryption/runtimes/net;\
+	dotnet test -f netcoreapp3.1 Test
+
+generate-models:
+	cd polymorph/smithy-dotnet;\
+	./gradlew run --args="\
+		-m src/StructuredEncryption/model\
+		-namespace aws.cryptography.structuredEncryption\
+		--output-dotnet src/StructuredEncryption/runtimes/net/Generated\
+		-d src/StructuredEncryption/model"

README.md

@@ -1,11 +1,42 @@
-## My Project
+## DynamoDB Encryption Client for Dafny
 
-TODO: Fill this README out!
+TODO: Edit your repository description on GitHub
 
-Be sure to:
+### Development Requirements
 
-* Change the title in this README
-* Edit your repository description on GitHub
+Right now this repo has a bare-bones Makefile to help with some building/testing.
+The Makefile doesn't currently build dev requirements, so you will need to grab these yourself.
+
+You will need at least:
+- dotnet (I'm using v5.0.402)
+- dafny (I'm using v3.4.0)
+
+Additionally, I am working off a Mac and cannot guarantee that these commands will work on other platforms.
+
+### Rebuild the model
+
+```
+make generate-models
+```
+
+Generates new models using the polymorph submodule.
+Will overwrite models, but will not clean up old models that are not overwritten.
+
+### Build and Verify Dafny Code
+
+```
+make build
+```
+
+Builds and verifies the dafny code.
+
+### Run the tests
+
+```
+make test
+```
+
+Re-builds/re-verifies the dafny code and runs the dafny generated tests.
 
 ## Security