Sat, 04 Feb 2012 11:01:06 -0500 |
Adam Chlipala |
Basis.toMilliseconds and diffInMilliseconds, based on a patch from Gergely Buday |
Sat, 14 Jan 2012 23:02:34 +0400 |
Vladimir Shabanov |
Fixed clients mutex initialization for compiling under OS X. |
Tue, 10 Jan 2012 17:32:48 -0500 |
Adam Chlipala |
Fix some locking issues for client array |
Tue, 10 Jan 2012 15:34:18 -0500 |
Adam Chlipala |
Properly handle case where an RPC changes signed cookie state |
Sun, 08 Jan 2012 15:47:05 -0500 |
Adam Chlipala |
Fix channel delivery to handle sending of messages for channels whose clients haven't connected yet |
Sun, 04 Dec 2011 16:32:06 -0500 |
Adam Chlipala |
Fix client-side [int] parsing and extend server-side [time] parsing to support a format that also works portably in JavaScript |
Sun, 04 Dec 2011 14:40:12 -0500 |
Adam Chlipala |
timeFormat .urp directive |
Sat, 03 Dec 2011 10:00:10 -0500 |
Adam Chlipala |
Allow sources to be returned by RPCs |
Sat, 08 Oct 2011 17:23:58 -0400 |
Adam Chlipala |
Primitive int/float functions: ceil, float, round, trunc |
Sat, 03 Sep 2011 12:51:05 -0400 |
Adam Chlipala |
An abstract type of IDs |
Sun, 28 Aug 2011 17:16:54 -0400 |
Adam Chlipala |
Gentle handling of back-button returns to pages with stale message-passing credentials |
Sun, 28 Aug 2011 14:43:30 -0400 |
Adam Chlipala |
Warn about concurrency issues with message-passing |
Fri, 22 Jul 2011 15:39:38 -0400 |
Adam Chlipala |
Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds and Basis.toSeconds |
Tue, 19 Jul 2011 09:18:50 -0400 |
Adam Chlipala |
Change cookie signature comparison to resist timing attacks (based on code suggested by Robin Green and Austin Seipp) |
Sun, 03 Jul 2011 16:50:17 -0400 |
Adam Chlipala |
Change Basis.rand to use cryptographically secure generation |
Sun, 03 Jul 2011 16:21:04 -0400 |
Adam Chlipala |
Basis.currentUrlHasQueryString |