You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: README.md
+5-2Lines changed: 5 additions & 2 deletions
Original file line number
Diff line number
Diff line change
@@ -48,7 +48,9 @@ This repository is a top level repository which houses all source code in order
48
48
different runtimes.
49
49
50
50
This library is written in Dafny, a formally verifiable programming language that can be compiled into
51
-
different runtimes. This library is currently **ONLY** supported in Java and .NET
51
+
different runtimes. This library is currently **ONLY** supported in Java, .NET and Rust.
52
+
53
+
<!-- TODO: Add Go to supported languages https://sim.amazon.com/issues/CrypTool-5444 -->
52
54
53
55
### AWS Integration
54
56
@@ -68,10 +70,11 @@ You need an Amazon Web Services (AWS) account to use the DB-ESDK for DynamoDB as
68
70
- .NET
69
71
- Dafny
70
72
- Rust
73
+
<!-- TODO: Add Go to supported languages https://sim.amazon.com/issues/CrypTool-5444 -->
71
74
72
75
# Contributing
73
76
74
-
See [CONTRIBUTING](CONTRIBUTING.md) for more information.
77
+
See [CONTRIBUTING](CONTRIBUTING.md) for more information. For detailed information about code organization and development see [DynamoDbEncryption README](./DynamoDbEncryption/README.md)
0 commit comments