Mercurial > urweb

log src/monoize.sml

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
Thu, 23 Oct 2008 18:45:10 -0400 Adam Chlipala Crud2 demo
Thu, 23 Oct 2008 12:58:35 -0400 Adam Chlipala Fix nasty de Bruijn substitution bug; TcSum demo
Tue, 21 Oct 2008 18:44:52 -0400 Adam Chlipala Sql demo
Tue, 21 Oct 2008 16:41:11 -0400 Adam Chlipala New implicit argument handling
Tue, 21 Oct 2008 11:22:10 -0400 Adam Chlipala ord_string
Tue, 21 Oct 2008 11:19:17 -0400 Adam Chlipala ord_float and ord_bool
Tue, 21 Oct 2008 11:04:24 -0400 Adam Chlipala gt, ge
Tue, 21 Oct 2008 10:56:43 -0400 Adam Chlipala lt, le working for int
Tue, 21 Oct 2008 10:40:22 -0400 Adam Chlipala num_float
Tue, 21 Oct 2008 10:34:07 -0400 Adam Chlipala num working for int
Tue, 21 Oct 2008 09:52:52 -0400 Adam Chlipala Monoize eq_[bool|string]
Tue, 21 Oct 2008 09:50:19 -0400 Adam Chlipala Binops; equality tested on int; lame 404 substitute
Sun, 19 Oct 2008 15:47:47 -0400 Adam Chlipala Support for URL prefixes that works with local demo
Tue, 14 Oct 2008 16:41:48 -0400 Adam Chlipala lform -> form
Sat, 04 Oct 2008 16:15:13 -0400 Adam Chlipala Use checkbox in CRUD example
Sun, 14 Sep 2008 19:22:04 -0400 Adam Chlipala Fix inexhaustive match
Sun, 14 Sep 2008 11:02:18 -0400 Adam Chlipala SQL sequences
Thu, 11 Sep 2008 17:41:52 -0400 Adam Chlipala Crud listing IDs
Tue, 09 Sep 2008 12:36:13 -0400 Adam Chlipala Termination checking allows anything in links and actions
Sun, 07 Sep 2008 15:40:42 -0400 Adam Chlipala Rename 'lw' prefixes to 'uw'
Sun, 07 Sep 2008 15:16:10 -0400 Adam Chlipala First DELETE works
Sun, 07 Sep 2008 15:12:47 -0400 Adam Chlipala First UPDATE works
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 12:15:46 -0400 Adam Chlipala Error-parsing ints
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:48:51 -0400 Adam Chlipala 'show' type class; htmlification optimizations
Sun, 07 Sep 2008 10:02:27 -0400 Adam Chlipala 'error' function
Tue, 02 Sep 2008 15:29:45 -0400 Adam Chlipala First query execution (not retrieving results yet)
Tue, 02 Sep 2008 13:44:54 -0400 Adam Chlipala Generating SQL files
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
Sun, 31 Aug 2008 16:54:13 -0400 Adam Chlipala Monoize ASC/DESC
Sun, 31 Aug 2008 16:32:49 -0400 Adam Chlipala Changed EQuery not to use a function in its body
Sun, 31 Aug 2008 16:26:50 -0400 Adam Chlipala Monoize aggregates
Sun, 31 Aug 2008 16:20:34 -0400 Adam Chlipala Monoize COUNT(*)
Sun, 31 Aug 2008 16:13:07 -0400 Adam Chlipala Monoize unops
Sun, 31 Aug 2008 16:11:15 -0400 Adam Chlipala Monoize OFFSET
Sun, 31 Aug 2008 16:10:20 -0400 Adam Chlipala Monoize LIMIT
Sun, 31 Aug 2008 16:03:43 -0400 Adam Chlipala Monoize ORDER BY
Sun, 31 Aug 2008 15:47:32 -0400 Adam Chlipala Monoize relops
Sun, 31 Aug 2008 15:36:15 -0400 Adam Chlipala Monoize HAVING
Sun, 31 Aug 2008 15:32:31 -0400 Adam Chlipala Avoid unnecessary WHERE clause
Sun, 31 Aug 2008 15:04:10 -0400 Adam Chlipala Monoized GROUP BY
Sun, 31 Aug 2008 14:33:22 -0400 Adam Chlipala Monoized binary operators
Sun, 31 Aug 2008 14:27:01 -0400 Adam Chlipala Monoized a WHERE clause with a comparison
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
Sun, 31 Aug 2008 09:00:28 -0400 Adam Chlipala Corify tables
Sat, 16 Aug 2008 15:03:05 -0400 Adam Chlipala Corifying con-tuples
Sat, 09 Aug 2008 20:08:29 -0400 Adam Chlipala Urlifying records
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
Fri, 08 Aug 2008 17:55:51 -0400 Adam Chlipala Specialization of single-parameter datatypes
Fri, 08 Aug 2008 10:59:06 -0400 Adam Chlipala Parametrized datatypes through corify
Thu, 07 Aug 2008 13:09:26 -0400 Adam Chlipala Checkboxes
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 13:30:27 -0400 Adam Chlipala Optimizing 'case' in Mono_reduce
Sun, 03 Aug 2008 12:43:20 -0400 Adam Chlipala Compiled pattern matching to C
Sun, 03 Aug 2008 10:48:36 -0400 Adam Chlipala Cases through monoize
Sun, 03 Aug 2008 09:26:49 -0400 Adam Chlipala First part of getting cases through monoize
Sat, 02 Aug 2008 11:15:32 -0400 Adam Chlipala Case through corify
Tue, 29 Jul 2008 15:43:17 -0400 Adam Chlipala Storing datatype constructors in type references past monoize
Tue, 29 Jul 2008 15:25:42 -0400 Adam Chlipala Unurlifying a datatype; longjmp-based error signaling mechanism
Tue, 29 Jul 2008 13:32:07 -0400 Adam Chlipala Datatypes through monoize
Tue, 29 Jul 2008 13:16:21 -0400 Adam Chlipala Datatypes through corify
Thu, 24 Jul 2008 11:32:01 -0400 Adam Chlipala Password inputs
Thu, 24 Jul 2008 11:16:54 -0400 Adam Chlipala HTML select
Thu, 24 Jul 2008 11:10:23 -0400 Adam Chlipala radio and radioOption
Thu, 24 Jul 2008 10:41:53 -0400 Adam Chlipala textarea
Thu, 24 Jul 2008 10:09:21 -0400 Adam Chlipala Record cut
Tue, 22 Jul 2008 19:12:25 -0400 Adam Chlipala gform in proper order
Tue, 22 Jul 2008 15:12:20 -0400 Adam Chlipala Simple forms work
Sun, 20 Jul 2008 13:30:19 -0400 Adam Chlipala Almost ready to have a form work
Sun, 20 Jul 2008 11:33:23 -0400 Adam Chlipala Initial form support
Sun, 20 Jul 2008 10:40:25 -0400 Adam Chlipala A simpler context encoding
Sun, 20 Jul 2008 10:11:16 -0400 Adam Chlipala Form binding parameters threaded through
Thu, 17 Jul 2008 13:33:56 -0400 Adam Chlipala Proper escaping of cdata
Thu, 17 Jul 2008 10:48:25 -0400 Adam Chlipala Monoizing (non-mutual) 'val rec'
Thu, 17 Jul 2008 10:23:04 -0400 Adam Chlipala Corifying (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 15:47:18 -0400 Adam Chlipala Serving pages with links
Sun, 13 Jul 2008 12:56:39 -0400 Adam Chlipala Cjr ready for dispatch code generation
Sun, 13 Jul 2008 12:06:47 -0400 Adam Chlipala Closure code generation almost there
Sun, 13 Jul 2008 11:43:57 -0400 Adam Chlipala Starting with closure links
Sun, 13 Jul 2008 10:17:06 -0400 Adam Chlipala Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
Thu, 10 Jul 2008 15:49:14 -0400 Adam Chlipala More with attributes and efficient serialization
Thu, 10 Jul 2008 15:19:06 -0400 Adam Chlipala Stringifying attributes
Thu, 10 Jul 2008 15:04:32 -0400 Adam Chlipala Initial HTML attributes support
Thu, 10 Jul 2008 14:02:54 -0400 Adam Chlipala Writing HTML
Thu, 10 Jul 2008 10:11:35 -0400 Adam Chlipala page declaration, up through monoize
Thu, 03 Jul 2008 17:53:28 -0400 Adam Chlipala Monoizing joins and tags
Thu, 03 Jul 2008 17:39:17 -0400 Adam Chlipala Monoizing cdata
Tue, 01 Jul 2008 13:23:46 -0400 Adam Chlipala Push KUnit and CUnit through the phases
Thu, 26 Jun 2008 11:32:29 -0400 Adam Chlipala Corify efold
Thu, 26 Jun 2008 09:53:52 -0400 Adam Chlipala Corify cfold
Sun, 22 Jun 2008 10:12:23 -0400 Adam Chlipala FFI through monoize
Sun, 22 Jun 2008 09:27:29 -0400 Adam Chlipala Start of FFI
Tue, 10 Jun 2008 18:28:43 -0400 Adam Chlipala Translation to Cjr
Tue, 10 Jun 2008 15:56:33 -0400 Adam Chlipala Closure conversion
Tue, 10 Jun 2008 13:14:45 -0400 Adam Chlipala Monoize
less more | (0) tip