I hereby claim:
- I am agl on github.
- I am agl (https://keybase.io/agl) on keybase.
- I have a public key whose fingerprint is C921 7238 4F38 7DBA ED4D 4201 65EB 9636 F02C 5704
To claim this, I am signing this object:
Require Import Clightdefs. | |
Require Import floyd.proofauto. | |
Require Import Coq.ZArith.Zdiv. | |
Require Import compcert.common.Values. | |
Local Open Scope Z_scope. | |
Definition _b : ident := 32%positive. | |
Definition ___compcert_va_int64 : ident := 16%positive. | |
Definition ___builtin_fmadd : ident := 24%positive. |
diff --git a/otr/otr.go b/otr/otr.go | |
index 0d18a60..ed560ed 100644 | |
--- a/otr/otr.go | |
+++ b/otr/otr.go | |
@@ -12,20 +12,21 @@ import ( | |
"crypto/cipher" | |
"crypto/dsa" | |
"crypto/hmac" | |
"crypto/rand" | |
"crypto/sha1" |
package main | |
import ( | |
"crypto/tls" | |
"fmt" | |
"net" | |
"os" | |
"bytes" | |
"io" | |
) |
I hereby claim:
To claim this, I am signing this object:
data Attachment = NoAttachment | Platform | CrossPlatform deriving (Show) | |
data ResidentKey = RKNotSpecified | RKDiscouraged | RKPreferred | RKRequired deriving (Show) | |
data UserVerification = UVDiscouraged | UVPreferred | UVRequired deriving (Show) | |
allCreateOptions = do | |
attachment <- [NoAttachment, Platform, CrossPlatform] | |
rk <- [RKNotSpecified, RKDiscouraged, RKPreferred, RKRequired] | |
uv <- [UVDiscouraged, UVPreferred, UVRequired] | |
return (attachment, rk, uv) |