Damir Jelić 26ec0c6368 crypto: Proptest the emoji/decimal calculation.		2020-08-03 17:22:44 +02:00
..
olm	Merge branch 'master' into sas-verification	2020-07-26 21:20:53 +02:00
store	crypto: Hook up marking the device as verified.	2020-08-03 12:38:43 +02:00
verification	crypto: Proptest the emoji/decimal calculation.	2020-08-03 17:22:44 +02:00
device.rs	crypto: Add a method to set the verification state of devices.	2020-07-30 15:54:56 +02:00
error.rs	crypto: Simplify the share_group_session method.	2020-07-21 14:13:10 +02:00
lib.rs	crypto: A bit of cleanup and docs.	2020-07-28 11:29:13 +02:00
machine.rs	crypto: Remove verification objects that are done or canceled.	2020-08-03 16:18:35 +02:00
memory_stores.rs	crypto: Use DeviceId instead of str everywhere.	2020-07-21 10:48:15 +02:00