m

TestVectors/runtimes/rust/.gitignore

@@ -1,19 +1,36 @@
-target
 Cargo.lock
+src/aes_gcm.rs
 src/client.rs
 src/client/
+src/concurrent_call.rs
 src/conversions.rs
 src/conversions/
+src/dafny_libraries.rs
+src/ddb.rs
 src/deps.rs
 src/deps/
+src/digest.rs
+src/ecdh.rs
+src/ecdsa.rs
 src/error.rs
 src/error/
+src/hmac.rs
 src/implementation_from_dafny.rs
+src/kms.rs
+src/local_cmc.rs
 src/operation.rs
 src/operation/
+src/random.rs
+src/rsa.rs
+src/sets.rs
+src/software_externs.rs
 src/standard_library_conversions.rs
 src/standard_library_externs.rs
+src/storm_tracker.rs
+src/time.rs
 src/types.rs
 src/types/
+src/uuid.rs
 src/wrapped.rs
 src/wrapped/
+target