Mercurial > urweb

log src/cjrize.sml

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) -48 tip
age author description
Tue, 10 Mar 2009 10:44:26 -0400 Adam Chlipala Avoid any JavaScript when pages don't need it; update demo prose
Sun, 08 Mar 2009 13:28:21 -0400 Adam Chlipala RPC returning a default datatype
Sun, 15 Feb 2009 10:32:50 -0500 Adam Chlipala First gimpy RPC
Sun, 15 Feb 2009 09:27:36 -0500 Adam Chlipala Export RPC functions and push RPC calls through to Mono
Tue, 30 Dec 2008 11:33:31 -0500 Adam Chlipala Harmonized source-setting between server and client
Tue, 30 Dec 2008 10:49:42 -0500 Adam Chlipala Setting a source server-side
Sun, 21 Dec 2008 12:56:39 -0500 Adam Chlipala Trivial use of a source
Sun, 21 Dec 2008 12:30:57 -0500 Adam Chlipala Handling singnal bind
Sat, 20 Dec 2008 16:19:26 -0500 Adam Chlipala Successfully generated a page element from a signal
Sat, 20 Dec 2008 15:46:48 -0500 Adam Chlipala Initial <dyn> support
Fri, 19 Dec 2008 12:38:11 -0500 Adam Chlipala Displayed an alert dialog
Thu, 06 Nov 2008 12:08:41 -0500 Adam Chlipala Reading cookies works
Sat, 01 Nov 2008 21:19:43 -0400 Adam Chlipala Almost have that nested save function compiling
Tue, 21 Oct 2008 09:50:19 -0400 Adam Chlipala Binops; equality tested on int; lame 404 substitute
Sun, 14 Sep 2008 11:02:18 -0400 Adam Chlipala SQL sequences
Thu, 11 Sep 2008 10:14:59 -0400 Adam Chlipala Unpolyed a polymorphic function of two arguments
Sun, 07 Sep 2008 15:05:52 -0400 Adam Chlipala First INSERT works
Sun, 07 Sep 2008 13:29:01 -0400 Adam Chlipala pquery working with all four types of columns
Sun, 07 Sep 2008 11:53:30 -0400 Adam Chlipala 'read' type class
Sun, 07 Sep 2008 11:33:13 -0400 Adam Chlipala Converting string to int
Sun, 07 Sep 2008 10:02:27 -0400 Adam Chlipala 'error' function
Sun, 07 Sep 2008 09:28:13 -0400 Adam Chlipala Ran a prepared statement with one string parameter
Tue, 02 Sep 2008 17:31:45 -0400 Adam Chlipala Compiling a parametrized query the inefficient way
Tue, 02 Sep 2008 13:09:54 -0400 Adam Chlipala Table declarations pushed to Cjr
Tue, 02 Sep 2008 10:51:41 -0400 Adam Chlipala 'database' declaration threaded through compiler
Tue, 02 Sep 2008 09:53:15 -0400 Adam Chlipala Cjrize query
Sun, 31 Aug 2008 13:58:47 -0400 Adam Chlipala Monoized and optimized initial query test
Sun, 31 Aug 2008 10:36:54 -0400 Adam Chlipala Monoize transaction identifiers; improve disjointness prover on irreducible folds; change 'query' type
Sat, 09 Aug 2008 19:23:31 -0400 Adam Chlipala 'Option' datatype encoding
Sat, 09 Aug 2008 16:48:32 -0400 Adam Chlipala Lists all the way through
Sun, 03 Aug 2008 19:49:21 -0400 Adam Chlipala Datatype representation optimization
Sun, 03 Aug 2008 18:53:20 -0400 Adam Chlipala bool in Basis
Sun, 03 Aug 2008 17:57:47 -0400 Adam Chlipala FFI datatypes
Sun, 03 Aug 2008 12:43:20 -0400 Adam Chlipala Compiled pattern matching to C
Sun, 03 Aug 2008 11:17:33 -0400 Adam Chlipala Cjrize ECon
Sun, 03 Aug 2008 11:03:35 -0400 Adam Chlipala Cjrize EStrcat
Sun, 03 Aug 2008 09:26:49 -0400 Adam Chlipala First part of getting cases through monoize
Tue, 29 Jul 2008 15:43:17 -0400 Adam Chlipala Storing datatype constructors in type references past monoize
Tue, 29 Jul 2008 14:28:44 -0400 Adam Chlipala Start of unurlify for datatypes
Tue, 29 Jul 2008 13:50:53 -0400 Adam Chlipala Datatypes through cjrize, modulo decoding
Tue, 29 Jul 2008 13:32:07 -0400 Adam Chlipala Datatypes through monoize
Tue, 22 Jul 2008 15:12:20 -0400 Adam Chlipala Simple forms work
Thu, 17 Jul 2008 11:02:10 -0400 Adam Chlipala Compiled (non-mutual) 'val rec'
Thu, 17 Jul 2008 10:38:03 -0400 Adam Chlipala Tagging (non-mutual) 'val rec'
Sun, 13 Jul 2008 20:24:05 -0400 Adam Chlipala Multiple arguments to web functions
Sun, 13 Jul 2008 20:07:10 -0400 Adam Chlipala Passing an argument to a web function
Sun, 13 Jul 2008 13:38:23 -0400 Adam Chlipala Basic web server
Sun, 13 Jul 2008 12:06:47 -0400 Adam Chlipala Closure code generation almost there
less more | (0) -48 tip