log

age author description
Wed, 11 Dec 2013 17:11:32 -0500 Adam Chlipala Fix 'hidden' constraintdefault tip
Wed, 06 Nov 2013 18:25:51 -0500 Adam Chlipala Fix to track a change in Ur/Web's 'table' signature item syntactic sugar
Sat, 21 Jul 2012 10:16:20 -0400 Adam Chlipala Update for key/mouse handler change
Wed, 26 Oct 2011 09:07:48 -0400 Adam Chlipala Turn off warnings about deprecated functions, to placate silly OpenSSL change for OS X
Fri, 21 Oct 2011 18:08:39 -0400 Adam Chlipala Add aclocal.m4 to repo
Tue, 09 Aug 2011 10:05:50 -0400 Adam Chlipala Change error message delivery so that IE's 500 message hiding doesn't apply
Tue, 09 Aug 2011 09:53:40 -0400 Adam Chlipala Graceful handling of OpenID providers that log the user in as the wrong identifier
Wed, 03 Aug 2011 08:17:21 -0400 Adam Chlipala Fix an include path bug
Sun, 24 Jul 2011 13:03:11 -0430 Karn Kallio Merge from upstream.
Tue, 19 Jul 2011 11:03:29 -0430 Karn Kallio Merge from upstream.
Mon, 04 Jul 2011 10:36:15 -0430 Karn Kallio Merge from upstream.
Sun, 03 Jul 2011 14:39:26 -0430 Karn Kallio Merge from upstream.
Sun, 03 Jul 2011 14:26:26 -0430 Karn Kallio Add missing module qualifier.
Sun, 24 Jul 2011 10:51:35 -0400 Adam Chlipala Merge
Sun, 24 Jul 2011 10:23:50 -0400 Adam Chlipala renew
Mon, 04 Jul 2011 17:29:13 +0100 Robin Green Merge
Mon, 04 Jul 2011 14:08:00 +0100 Robin Green Make logout clear the session on the server
Tue, 19 Jul 2011 09:27:10 -0400 Adam Chlipala Use uw_streq(); update to newer Autoconf
Sun, 03 Jul 2011 17:52:29 -0400 Adam Chlipala Based on a security suggestion by Robin Green, start a new session after authentication at an OP and after submission of a signup form
Sun, 03 Jul 2011 16:40:55 -0400 Adam Chlipala Don't redirect back to URLs that have query strings
Sun, 03 Jul 2011 14:09:03 -0400 Adam Chlipala Fix type error
Sat, 02 Jul 2011 20:34:26 +0100 Robin Green Secure HMAC comparison
Sun, 12 Jun 2011 18:12:47 -0400 Adam Chlipala Announce when provider only supports old OpenID version
Sun, 12 Jun 2011 17:49:43 -0400 Adam Chlipala Fix OpenSSL memory leak (spotted by Chris Double)
Sun, 12 Jun 2011 17:16:30 -0400 Adam Chlipala Tell libcurl to use SSLv3
Wed, 01 Jun 2011 07:51:55 -0400 Adam Chlipala Proper handling of known vs. to-be-chosen identifiers
Mon, 16 May 2011 22:31:26 -0400 Adam Chlipala Stop setting an id callback
Sat, 23 Apr 2011 09:53:55 -0400 Adam Chlipala Small formatting cleanups
Thu, 21 Apr 2011 20:06:46 -0430 Karn Kallio Merge Adam's upstream changes and update tests.
Wed, 20 Apr 2011 15:45:27 -0430 Karn Kallio Generalize the formatting options a bit.
Mon, 18 Apr 2011 01:49:24 -0430 Karn Kallio Merge from upstream.
Mon, 18 Apr 2011 01:20:39 -0430 Karn Kallio Add some formatting options to the user control xml.
Thu, 21 Apr 2011 13:24:55 -0400 Adam Chlipala Change some field names and update utest
Mon, 18 Apr 2011 01:20:39 -0430 Karn Kallio Add some formatting options to the user control xml.
Sun, 17 Apr 2011 13:15:10 -0400 Adam Chlipala A silly RPC bug that I'm surprised wasn't caught before now
Thu, 24 Feb 2011 17:29:45 -0500 Adam Chlipala Fix Utest to track latest change
Thu, 24 Feb 2011 17:29:05 -0500 Adam Chlipala More type class instances for user type; allow choose to fail
Sun, 23 Jan 2011 17:40:42 -0500 Adam Chlipala Some XRDS fixes; ignore query strings in naming endpoints for association purposes
Sun, 23 Jan 2011 14:57:49 -0500 Adam Chlipala Some default OPs, along with some tweaks to keep them happy
Thu, 20 Jan 2011 12:23:44 -0500 Adam Chlipala More flexibility in placement of login form and other similar stuff
Mon, 17 Jan 2011 16:07:24 -0500 Adam Chlipala Remove garbage configure message about GCCARGS
Sun, 16 Jan 2011 13:21:34 -0500 Adam Chlipala fakeId parameter
Sat, 15 Jan 2011 15:24:42 -0500 Adam Chlipala Fix calculation of URL to return to after sign-up
Sat, 08 Jan 2011 18:47:27 -0500 Adam Chlipala Fix embarrassing bug that deleted sessions that were too new, rather than old
Thu, 06 Jan 2011 16:46:09 -0500 Adam Chlipala New OpenidUser.Make parameter: ready
Thu, 06 Jan 2011 15:25:11 -0500 Adam Chlipala Utest example
Thu, 06 Jan 2011 15:17:15 -0500 Adam Chlipala Pretend user isn't logged in when he gives bogus session data; add some documentation to openidUser.urs
Thu, 06 Jan 2011 14:42:37 -0500 Adam Chlipala Successfully created an account
Thu, 06 Jan 2011 12:48:13 -0500 Adam Chlipala Beginning of OpenidUser
Sun, 02 Jan 2011 11:22:30 -0500 Adam Chlipala Realms; documentation and license
Sun, 02 Jan 2011 10:33:07 -0500 Adam Chlipala Change postify to satisfy more OPs; add untested invalidate_handle support
Sun, 02 Jan 2011 10:11:38 -0500 Adam Chlipala Stateless verification worked
Sat, 01 Jan 2011 14:00:52 -0500 Adam Chlipala Diffie-Hellman seems to be working
Wed, 29 Dec 2010 16:25:32 -0500 Adam Chlipala Test with RP-side nonces
Wed, 29 Dec 2010 14:38:56 -0500 Adam Chlipala Call user-specified function after authentication
Wed, 29 Dec 2010 14:17:27 -0500 Adam Chlipala Fixed checking of nonce timestamp range
Wed, 29 Dec 2010 12:16:32 -0500 Adam Chlipala Diffie-Hellman started but not fully tested; successfully checked signature from AOL
Tue, 28 Dec 2010 19:57:25 -0500 Adam Chlipala Authentication verification almost working: signatures not computing correctly
Mon, 27 Dec 2010 13:18:02 -0500 Adam Chlipala Added preliminary versions of all the authentication verification steps
Sun, 26 Dec 2010 17:36:07 -0500 Adam Chlipala Detecting cancellation