comparison src/ur/openidFfi.urs @ 7:976121190b2d

Authentication verification almost working: signatures not computing correctly
author Adam Chlipala <adam@chlipala.net>
date Tue, 28 Dec 2010 19:57:25 -0500
parents 99496175078b
children 870d99055dd1
comparison
equal deleted inserted replaced
6:99496175078b 7:976121190b2d
13 val getOutput : outputs -> string -> option string 13 val getOutput : outputs -> string -> option string
14 14
15 val direct : string -> inputs -> transaction outputs 15 val direct : string -> inputs -> transaction outputs
16 val indirect : queryString -> transaction outputs 16 val indirect : queryString -> transaction outputs
17 17
18 val sha256 : string -> string 18 val sha256 : string -> string -> string