log

age author description
Sun, 03 May 2009 12:01:55 -0400 Adam Chlipala constraints demo
Sat, 02 May 2009 18:46:00 -0400 Adam Chlipala Update FFI type of Basis.self
Sat, 02 May 2009 18:41:21 -0400 Adam Chlipala FFI transactionals
Sat, 02 May 2009 18:20:15 -0400 Adam Chlipala Runtime URL and MIME type filtering
Sat, 02 May 2009 13:37:52 -0400 Adam Chlipala allow/deny working in Mono_opt
Sat, 02 May 2009 13:23:07 -0400 Adam Chlipala Path rewriting
Sat, 02 May 2009 12:50:52 -0400 Adam Chlipala Add 'library' directive
Sat, 02 May 2009 12:10:43 -0400 Adam Chlipala More FFI compiler options
Sat, 02 May 2009 11:27:26 -0400 Adam Chlipala Successfully influenced effectful-ness status of FFI func
Thu, 30 Apr 2009 17:15:14 -0400 Adam Chlipala C FFI compiler options
Thu, 30 Apr 2009 16:25:27 -0400 Adam Chlipala Lexing character entities
Thu, 30 Apr 2009 15:10:13 -0400 Adam Chlipala List notations
Thu, 30 Apr 2009 14:48:23 -0400 Adam Chlipala <input type='hidden'>
Thu, 30 Apr 2009 14:43:55 -0400 Adam Chlipala Megaform test
Thu, 30 Apr 2009 13:47:46 -0400 Adam Chlipala subforms working
Thu, 30 Apr 2009 11:48:56 -0400 Adam Chlipala Subforms type-checks; lists urlified and unurlified
Thu, 30 Apr 2009 11:07:29 -0400 Adam Chlipala Basis.list
Tue, 28 Apr 2009 17:26:53 -0400 Adam Chlipala Subforms
Tue, 28 Apr 2009 15:15:21 -0400 Adam Chlipala Views in CHANGELOG
Tue, 28 Apr 2009 15:04:37 -0400 Adam Chlipala A view query works
Tue, 28 Apr 2009 14:02:23 -0400 Adam Chlipala Preparing to allow views in SELECT FROM clauses
Tue, 28 Apr 2009 11:18:27 -0400 Adam Chlipala Outer joins in CHANGELOG
Tue, 28 Apr 2009 11:14:24 -0400 Adam Chlipala RIGHT and FULL JOIN
Tue, 28 Apr 2009 11:05:28 -0400 Adam Chlipala LEFT JOIN
Tue, 28 Apr 2009 10:11:56 -0400 Adam Chlipala INNER JOIN
Tue, 28 Apr 2009 09:45:17 -0400 Adam Chlipala Switch to using sql_from_items
Sun, 26 Apr 2009 12:47:53 -0400 Adam Chlipala Extra checks on assumptions about SQL results
Sun, 26 Apr 2009 12:35:45 -0400 Adam Chlipala sql_ufunc and octet_length
Sun, 26 Apr 2009 11:07:25 -0400 Adam Chlipala blobSize
Sun, 26 Apr 2009 10:54:45 -0400 Adam Chlipala Blobs in CHANGELOG
Sun, 26 Apr 2009 10:53:36 -0400 Adam Chlipala Handling nullable blobs
Sun, 26 Apr 2009 10:45:59 -0400 Adam Chlipala Reading blobs from the database
Sun, 26 Apr 2009 09:02:17 -0400 Adam Chlipala Returning a blob as page result
Sat, 25 Apr 2009 14:47:16 -0400 Adam Chlipala Add MIME type to file
Sat, 25 Apr 2009 14:35:49 -0400 Adam Chlipala Only allow single-file upload per control
Sat, 25 Apr 2009 14:04:38 -0400 Adam Chlipala Prepared statements with blobs
Sat, 25 Apr 2009 13:59:11 -0400 Adam Chlipala Initial support for blobs and upload
Thu, 23 Apr 2009 16:13:02 -0400 Adam Chlipala Cookie signatures for RPCs
Thu, 23 Apr 2009 14:10:10 -0400 Adam Chlipala Only use cookie signatures when cookies might be read
Thu, 16 Apr 2009 19:12:12 -0400 Adam Chlipala Cookie signing working for forms
Thu, 16 Apr 2009 15:38:01 -0400 Adam Chlipala Add more buttons to demo, to avoid effectful GET
Thu, 16 Apr 2009 15:29:39 -0400 Adam Chlipala Effectness analysis
Thu, 16 Apr 2009 14:49:25 -0400 Adam Chlipala Label exported symbols by effect-ness; factor out some common datatypes
Thu, 16 Apr 2009 14:35:01 -0400 Adam Chlipala POST support
Thu, 16 Apr 2009 13:47:20 -0400 Adam Chlipala Some client-side error handling
Thu, 16 Apr 2009 13:00:40 -0400 Adam Chlipala Avoid thread death via message receive
Thu, 16 Apr 2009 12:43:55 -0400 Adam Chlipala Show XML
Thu, 16 Apr 2009 12:36:01 -0400 Adam Chlipala onError
Thu, 16 Apr 2009 12:07:21 -0400 Adam Chlipala Catching duplicate cookie and style paths
Thu, 16 Apr 2009 12:00:44 -0400 Adam Chlipala <link>
Mon, 13 Apr 2009 08:44:32 -0400 Adam Chlipala Simplify type class requirement for tree demo
Sun, 12 Apr 2009 14:21:19 -0400 Adam Chlipala Tiny increment to style test
Sun, 12 Apr 2009 14:19:15 -0400 Adam Chlipala Classes as optional arguments to Basis.tag
Sun, 12 Apr 2009 12:31:54 -0400 Adam Chlipala Stop tracking CSS classes in XML types
Sun, 12 Apr 2009 11:08:00 -0400 Adam Chlipala hello compiles with CSS
Sun, 12 Apr 2009 10:08:11 -0400 Adam Chlipala style declarations
Thu, 09 Apr 2009 16:36:50 -0400 Adam Chlipala URLs
Thu, 09 Apr 2009 15:58:36 -0400 Adam Chlipala Update CHANGELOG
Thu, 09 Apr 2009 15:51:50 -0400 Adam Chlipala Use FOREIGN KEY in Tree demo
Thu, 09 Apr 2009 15:30:15 -0400 Adam Chlipala CHECK constraints
Thu, 09 Apr 2009 14:59:29 -0400 Adam Chlipala Retry failed record summary unifications at the end, in hopes that more has been learned
Thu, 09 Apr 2009 13:59:34 -0400 Adam Chlipala More flexible foreign keying
Thu, 09 Apr 2009 12:31:56 -0400 Adam Chlipala Made type class system very general; demo compiles
Tue, 07 Apr 2009 20:38:01 -0400 Adam Chlipala Get demo type-inferring again
Tue, 07 Apr 2009 18:47:47 -0400 Adam Chlipala FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingering problems in row inference)
Tue, 07 Apr 2009 16:22:11 -0400 Adam Chlipala Add primary keys to demo
Tue, 07 Apr 2009 16:14:31 -0400 Adam Chlipala PRIMARY KEY
Tue, 07 Apr 2009 15:04:07 -0400 Adam Chlipala Enhance table sig item support and get demo compiling again
Tue, 07 Apr 2009 14:11:32 -0400 Adam Chlipala Track uniqueness sets in table types
Tue, 07 Apr 2009 12:24:31 -0400 Adam Chlipala UNIQUE constraints
Sun, 05 Apr 2009 16:17:32 -0400 Adam Chlipala Fixing some regressions and other bugs
Sun, 05 Apr 2009 12:41:41 -0400 Adam Chlipala CHANGELOG before release
Sun, 05 Apr 2009 12:37:38 -0400 Adam Chlipala Update the manual
Sun, 05 Apr 2009 12:05:19 -0400 Adam Chlipala Initialize contexts a little more vigorously
Sun, 05 Apr 2009 11:48:55 -0400 Adam Chlipala Chat demo
Sun, 05 Apr 2009 11:24:55 -0400 Adam Chlipala RoundTrip demo
Sun, 05 Apr 2009 10:48:11 -0400 Adam Chlipala Threads demo
Sun, 05 Apr 2009 09:26:00 -0400 Adam Chlipala Avoid generating empty <script> blocks
Sat, 04 Apr 2009 15:56:47 -0400 Adam Chlipala sleep and better Scriptcheck
Sat, 04 Apr 2009 14:55:36 -0400 Adam Chlipala spawn
Sat, 04 Apr 2009 14:03:39 -0400 Adam Chlipala _Really_ implement embedded closure GC; extend Scriptcheck to figure out when client IDs must be assigned
Sat, 04 Apr 2009 12:54:39 -0400 Adam Chlipala Fix overzealous Marshalcheck; garbage-collect string-embedded closures when no dyns are active
Sat, 04 Apr 2009 11:46:24 -0400 Adam Chlipala Checking spans in dyns
Thu, 02 Apr 2009 15:12:06 -0400 Adam Chlipala Redo signal implementation to avoid memory leaks
Thu, 02 Apr 2009 13:48:59 -0400 Adam Chlipala Make sure only one pull request runs at a time for each client
Thu, 02 Apr 2009 13:31:13 -0400 Adam Chlipala Detect serialization failures
Thu, 02 Apr 2009 11:42:26 -0400 Adam Chlipala On start-up, delete/nullify rows mentioning clients or channels
Thu, 02 Apr 2009 10:57:14 -0400 Adam Chlipala Don't self-update ctextboxes unnecessarily
Thu, 02 Apr 2009 10:55:00 -0400 Adam Chlipala Stop holding client locks throughout request processing
Sun, 29 Mar 2009 14:13:50 -0400 Adam Chlipala Expunging nullable fields
Sun, 29 Mar 2009 13:30:01 -0400 Adam Chlipala Expunging non-nullable rows
Sun, 29 Mar 2009 11:37:29 -0400 Adam Chlipala Redo channels, making them single-client
Sat, 28 Mar 2009 11:15:42 -0400 Adam Chlipala Switch back to starting listener on load
Sat, 28 Mar 2009 11:13:36 -0400 Adam Chlipala Marshalcheck
Thu, 26 Mar 2009 18:26:50 -0400 Adam Chlipala Chat example working nicely, but without dead channel removal
Thu, 26 Mar 2009 16:22:34 -0400 Adam Chlipala Preliminary work supporting channels in databases
Thu, 26 Mar 2009 15:54:04 -0400 Adam Chlipala Enforce termination of type class instances
Thu, 26 Mar 2009 15:26:35 -0400 Adam Chlipala Make sql_injectable class nicer with inclusion
Thu, 26 Mar 2009 15:13:36 -0400 Adam Chlipala Type class inclusions
Thu, 26 Mar 2009 14:37:31 -0400 Adam Chlipala Type class reductions, but no inclusions yet
Tue, 24 Mar 2009 15:35:46 -0400 Adam Chlipala Variable timeouts and client keep-alive
Tue, 24 Mar 2009 15:05:28 -0400 Adam Chlipala Fix some AJAX annoyances
Tue, 24 Mar 2009 14:44:45 -0400 Adam Chlipala Transactionalize channel operations
Sun, 22 Mar 2009 16:03:45 -0400 Adam Chlipala Proper recv
Sun, 22 Mar 2009 15:16:34 -0400 Adam Chlipala Press a button to send a message
Sun, 22 Mar 2009 15:05:07 -0400 Adam Chlipala First message send delivered, but not interpreted
Thu, 19 Mar 2009 16:34:13 -0400 Adam Chlipala Dummy message delivery to clients
Thu, 19 Mar 2009 13:47:02 -0400 Adam Chlipala Factor out some common buffer functionality
Thu, 12 Mar 2009 12:37:02 -0400 Adam Chlipala Mention src/coq in CHANGELOG
Thu, 12 Mar 2009 12:34:39 -0400 Adam Chlipala Spell-check manual
Thu, 12 Mar 2009 12:30:21 -0400 Adam Chlipala Update CHANGELOG
Thu, 12 Mar 2009 12:25:05 -0400 Adam Chlipala Add guard elim rule
Thu, 12 Mar 2009 12:23:23 -0400 Adam Chlipala Update compiler phases
Thu, 12 Mar 2009 12:18:11 -0400 Adam Chlipala Describe AJAX RPC structure
Thu, 12 Mar 2009 12:10:02 -0400 Adam Chlipala Functional-reactive subsection
Thu, 12 Mar 2009 11:56:10 -0400 Adam Chlipala Update old Ur/Web library section, before adding new stuff
Thu, 12 Mar 2009 11:36:27 -0400 Adam Chlipala Describe folders
Thu, 12 Mar 2009 11:27:23 -0400 Adam Chlipala Revise type inference section
Thu, 12 Mar 2009 11:18:54 -0400 Adam Chlipala Revise manual, through static semantics
Thu, 12 Mar 2009 10:38:13 -0400 Adam Chlipala Revise manual, through end of Syntax
Thu, 12 Mar 2009 10:26:04 -0400 Adam Chlipala Change location/type of [fold] to be more uniform w.r.t. derived folders
Thu, 12 Mar 2009 10:16:59 -0400 Adam Chlipala Revising manual, through main syntax section
Tue, 10 Mar 2009 17:29:03 -0400 Adam Chlipala Noisy demo
Tue, 10 Mar 2009 16:38:38 -0400 Adam Chlipala BatchG demo
Tue, 10 Mar 2009 15:17:23 -0400 Adam Chlipala Batch example
Tue, 10 Mar 2009 13:57:09 -0400 Adam Chlipala Increment demo
Tue, 10 Mar 2009 13:46:45 -0400 Adam Chlipala Prose for ListEdit
Tue, 10 Mar 2009 12:44:40 -0400 Adam Chlipala ListEdit demo, minus prose