log

age author description
Thu, 17 Sep 2009 16:35:11 -0400 Adam Chlipala Basic tail recursion introduction seems to be working
Thu, 17 Sep 2009 14:57:38 -0400 Adam Chlipala Bad sort functions tested
Thu, 17 Sep 2009 14:42:02 -0400 Adam Chlipala Insert dummy Sort parameter
Thu, 17 Sep 2009 14:27:00 -0400 Adam Chlipala Make filter argument to render, not create
Thu, 17 Sep 2009 13:44:08 -0400 Adam Chlipala Don't try to compile sigString() calls to JavaScript
Thu, 17 Sep 2009 13:30:56 -0400 Adam Chlipala Disable GCC inlining to stop goofy errors
Thu, 17 Sep 2009 12:55:22 -0400 Adam Chlipala Find more opportunities for 'let' inlining with better purity information
Thu, 17 Sep 2009 09:25:03 -0400 Adam Chlipala Print char patterns in C
Tue, 15 Sep 2009 16:27:24 -0400 Adam Chlipala Filters displaying properly
Tue, 15 Sep 2009 16:06:12 -0400 Adam Chlipala Filters displaying awfully
Tue, 15 Sep 2009 15:48:53 -0400 Adam Chlipala Filters implementation type-checking
Tue, 15 Sep 2009 13:07:57 -0400 Adam Chlipala Fix JavaScript char literals; don't generate demo links to nonexistent files
Tue, 15 Sep 2009 12:41:54 -0400 Adam Chlipala Escape character constants; lift indices properly in Reduce 'case' simplification
Tue, 15 Sep 2009 12:23:42 -0400 Adam Chlipala Fixed a Mono_reduce bug, which was breaking selection enabling in Grid
Tue, 15 Sep 2009 11:18:20 -0400 Adam Chlipala Selection working, but switching it on isn't
Tue, 15 Sep 2009 10:50:49 -0400 Adam Chlipala Fix Postgres timestamp round-tripping
Tue, 15 Sep 2009 10:43:01 -0400 Adam Chlipala Fix MySQL timestamp input
Tue, 15 Sep 2009 10:18:56 -0400 Adam Chlipala Summary row with aggregates
Tue, 15 Sep 2009 09:45:46 -0400 Adam Chlipala Include 'key' type in Grid
Tue, 15 Sep 2009 09:40:51 -0400 Adam Chlipala Dropped in initial aggregate types
Mon, 14 Sep 2009 19:04:38 -0400 Adam Chlipala Fix a bug in Jscomp environment calculation for EQuery; smarter embedding of record projection in JavaScript
Sun, 13 Sep 2009 15:33:11 -0400 Adam Chlipala Fix some MySQL bugs
Sun, 13 Sep 2009 13:25:09 -0400 Adam Chlipala Full Grid1 compiles, thanks to avoiding code size blow-up in mono_reduce
Sun, 13 Sep 2009 12:00:34 -0400 Adam Chlipala Have nullable columns working with Dbgrid
Sat, 12 Sep 2009 15:08:16 -0400 Adam Chlipala Nullable columns *might* be working, but too much JS is generated for the page to load in finite time
Sat, 12 Sep 2009 10:36:17 -0400 Adam Chlipala New release
Sat, 12 Sep 2009 10:31:49 -0400 Adam Chlipala Merge
Sat, 12 Sep 2009 10:31:34 -0400 Adam Chlipala Debugging new string urlification
Sat, 12 Sep 2009 10:03:12 -0400 Adam Chlipala Prevent event bubbling
Sat, 12 Sep 2009 09:31:50 -0400 Adam Chlipala Change string URLification to avoid using the empty string, which confuses Apache no2slash()
Thu, 10 Sep 2009 14:55:27 -0400 Adam Chlipala Add grid CSS ACL
Thu, 10 Sep 2009 14:54:47 -0400 Adam Chlipala Add grid CSS
Wed, 09 Sep 2009 08:15:46 -0400 Adam Chlipala Find chances to use mstrcat()
Wed, 09 Sep 2009 08:00:45 -0400 Adam Chlipala Don't replace <sc> in blob returns; optimize more 'option' pattern matches; detect more opportunities for 'let' inlining
Tue, 08 Sep 2009 20:12:17 -0400 Adam Chlipala Fix memmem() signature; fix mono_reduce environment bookkeeping
Tue, 08 Sep 2009 19:42:12 -0400 Adam Chlipala 'more' demos working after optimizer fix
Tue, 08 Sep 2009 11:02:53 -0400 Adam Chlipala Use cdata for shorter Monad map
Tue, 08 Sep 2009 10:55:49 -0400 Adam Chlipala dragList demo working, save for Gecko load delay and highlighting
Tue, 08 Sep 2009 10:18:19 -0400 Adam Chlipala dragList almost kinda works
Tue, 08 Sep 2009 07:48:57 -0400 Adam Chlipala Start 'more' demo with dbgrid
Tue, 25 Aug 2009 17:33:13 -0400 Adam Chlipala New release
Tue, 25 Aug 2009 17:12:21 -0400 Adam Chlipala Fix structure wildification to take concrete con decls into account
Tue, 25 Aug 2009 15:19:00 -0400 Adam Chlipala Fix inconsistency in bool URLification between C and JavaScript
Tue, 25 Aug 2009 14:50:19 -0400 Adam Chlipala Fix list jsification bug; grid1 working with foreign key, but booleans not getting into database properly
Tue, 25 Aug 2009 13:57:56 -0400 Adam Chlipala grid1 compiles but gets stuck in JS
Sat, 22 Aug 2009 16:32:31 -0400 Adam Chlipala Fixed bug in reduce bind-commutation
Sat, 22 Aug 2009 12:55:18 -0400 Adam Chlipala Convert to requiring explicit 'rpc' marker
Tue, 11 Aug 2009 12:01:54 -0400 Adam Chlipala JavaScript urlifying of bools; correct Link attribute escaping
Tue, 11 Aug 2009 11:26:37 -0400 Adam Chlipala Be careful in Jscomp to avoid interpreting non-boolean/reference types as booleans with ?:
Sun, 09 Aug 2009 16:13:27 -0400 Adam Chlipala Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference
Thu, 06 Aug 2009 15:23:04 -0400 Adam Chlipala Fix type class resolution infinite loop, discovered while meeting with Ezra
Thu, 06 Aug 2009 14:57:44 -0400 Adam Chlipala <dyn> inside <tr>
Thu, 06 Aug 2009 14:39:03 -0400 Adam Chlipala dlist add and delete both working in Iceape and Konqueror
Thu, 06 Aug 2009 14:24:40 -0400 Adam Chlipala dlist row add working with Konqueror
Thu, 06 Aug 2009 11:58:38 -0400 Adam Chlipala Tweaking dyn() implementation to get grid working
Thu, 06 Aug 2009 11:54:28 -0400 Adam Chlipala dtable example and demos both working
Sun, 19 Jul 2009 17:45:02 -0400 Adam Chlipala Working on Grid; have gone from one dynamic table bizareness to another
Sat, 18 Jul 2009 15:08:21 -0400 Adam Chlipala FFI manual section
Sat, 18 Jul 2009 13:46:22 -0400 Adam Chlipala New command-line options; describe simple SQLite build in demo intro
Sat, 18 Jul 2009 12:53:26 -0400 Adam Chlipala Key events get key code input
Sat, 18 Jul 2009 12:37:19 -0400 Adam Chlipala Testing new events
Sat, 18 Jul 2009 12:28:25 -0400 Adam Chlipala Goodbye <font>; hello <h5> and <h6>
Sat, 18 Jul 2009 11:58:54 -0400 Adam Chlipala Try to add all applicable JavaScript events
Sat, 18 Jul 2009 11:01:48 -0400 Adam Chlipala More command-line options
Sat, 18 Jul 2009 10:27:32 -0400 Adam Chlipala Blobs tested in MySQL and SQLite
Fri, 17 Jul 2009 18:13:02 -0400 Adam Chlipala Tweaking demos a bit
Fri, 17 Jul 2009 17:14:23 -0400 Adam Chlipala Fix month off-by-one for MySQL timestamps
Fri, 17 Jul 2009 17:09:55 -0400 Adam Chlipala Timestamps working with SQLite
Fri, 17 Jul 2009 17:03:37 -0400 Adam Chlipala Most of demo working with SQLite
Fri, 17 Jul 2009 16:29:36 -0400 Adam Chlipala demo/sql works with SQLite
Fri, 17 Jul 2009 14:04:05 -0400 Adam Chlipala Check for existence of sequences (MySQL)
Fri, 17 Jul 2009 13:19:41 -0400 Adam Chlipala Avoid preparing the same statement twice
Fri, 17 Jul 2009 12:58:37 -0400 Adam Chlipala MySQL CGI working
Fri, 17 Jul 2009 12:34:00 -0400 Adam Chlipala Fix dependency misordering
Fri, 17 Jul 2009 12:25:34 -0400 Adam Chlipala Testing nested queries
Thu, 16 Jul 2009 18:10:29 -0400 Adam Chlipala Demo working with MySQL
Thu, 16 Jul 2009 16:29:13 -0400 Adam Chlipala Sequence code compiles in MySQL
Thu, 16 Jul 2009 13:59:30 -0400 Adam Chlipala MySQL accepts generated demo DDL
Sun, 12 Jul 2009 16:09:54 -0400 Adam Chlipala Demo compiles again with Postgres and MySQL; MySQL version lacks sequence code and so doesn't work yet
Sun, 12 Jul 2009 15:42:24 -0400 Adam Chlipala demo/sql working with MySQL
Sun, 12 Jul 2009 15:05:40 -0400 Adam Chlipala MySQL demo/sql succeeds in reading no rows
Sun, 12 Jul 2009 13:16:05 -0400 Adam Chlipala MySQL query gets up to C linking
Tue, 30 Jun 2009 16:17:32 -0400 Adam Chlipala Validating views
Tue, 30 Jun 2009 15:59:41 -0400 Adam Chlipala Switch to Information Schema from Postgres catalog
Tue, 30 Jun 2009 15:45:10 -0400 Adam Chlipala Move all DBMS initialization to #init
Sun, 28 Jun 2009 16:41:10 -0400 Adam Chlipala Moved nextval code into Settings
Sun, 28 Jun 2009 16:22:17 -0400 Adam Chlipala Moved dml code into Settings
Sun, 28 Jun 2009 16:03:00 -0400 Adam Chlipala Moved query code into Settings
Sun, 28 Jun 2009 13:49:32 -0400 Adam Chlipala Start of multi-DBMS support
Sun, 28 Jun 2009 11:49:04 -0400 Adam Chlipala Move http protocol into its own file
Sat, 27 Jun 2009 19:07:28 -0400 Adam Chlipala FastCGI working with lighttpd
Sat, 27 Jun 2009 17:50:31 -0400 Adam Chlipala .msgs processing in FastCGI
Sat, 27 Jun 2009 16:56:32 -0400 Adam Chlipala Fix memory leak in fastcgi environment management
Sat, 27 Jun 2009 15:36:56 -0400 Adam Chlipala Fix env-reading bug in fastcgi; a bunch of non-AJAXy demos working
Sat, 27 Jun 2009 14:44:00 -0400 Adam Chlipala Serving Hello via FastCGI
Sat, 27 Jun 2009 12:38:23 -0400 Adam Chlipala Successfully starting FastCGI sessions with Apache
Sat, 27 Jun 2009 10:50:45 -0400 Adam Chlipala Avoid using prepared statements for non-persistent protocols
Sat, 27 Jun 2009 10:30:51 -0400 Adam Chlipala -debug from the command line
Tue, 23 Jun 2009 17:59:23 -0400 Adam Chlipala cgi protocol
Tue, 23 Jun 2009 15:56:04 -0400 Adam Chlipala Initial implementation of protocols in Settings
Tue, 23 Jun 2009 15:40:35 -0400 Adam Chlipala Further refactoring of request.c to work with CGI
Tue, 23 Jun 2009 14:05:12 -0400 Adam Chlipala Factor out common request functionality, in preparation for supporting different protocols
Tue, 23 Jun 2009 12:53:47 -0400 Adam Chlipala New release
Thu, 18 Jun 2009 18:06:15 -0400 Adam Chlipala Fix a bug with 'Some p' patterns, where 'p' needs specialization
Tue, 16 Jun 2009 17:52:44 -0400 Adam Chlipala Fix a variable capture bug in nested JavaScript; some more list stuff
Tue, 16 Jun 2009 14:38:01 -0400 Adam Chlipala Fix a bug in type class enrichment from substructures
Sat, 13 Jun 2009 15:42:24 -0400 Adam Chlipala Fix MonoReduce unsoundness with lets and fns
Sat, 13 Jun 2009 14:29:36 -0400 Adam Chlipala <dyn> inside <table>; fix Specialize bug with datatype decls generating other mutually-recursive datatype decls
Tue, 09 Jun 2009 18:11:59 -0400 Adam Chlipala Some standard library reorgs and additions; handle mutual datatypes better in Specialize
Tue, 09 Jun 2009 11:12:34 -0400 Adam Chlipala Mark current as effectful; add List functions
Sun, 07 Jun 2009 16:45:00 -0400 Adam Chlipala Fix datatype import bug in Elaborate; fix server-side source setting; more standard library stuff
Sun, 07 Jun 2009 14:15:22 -0400 Adam Chlipala List.all; fix ANDALSO/ORELSE parsing precedence
Sun, 07 Jun 2009 12:01:55 -0400 Adam Chlipala && and ||
Sun, 07 Jun 2009 11:13:18 -0400 Adam Chlipala Start of Option; Basis.current; fix missed cases in Jscomp.isNullable
Sat, 06 Jun 2009 15:29:34 -0400 Adam Chlipala Fix unbound name problem in Jscomp injectors; more List stuff
Sat, 06 Jun 2009 14:09:30 -0400 Adam Chlipala List library additions; fix another substructure unification bug
Tue, 02 Jun 2009 19:28:25 -0400 Adam Chlipala Lexing some more string escape sequences; JS versions of number read; fix problem with signature unification; escape < more often in Jscomp
Tue, 02 Jun 2009 15:43:18 -0400 Adam Chlipala Tweak -- precedence; use right env for final exhaustiveness errors
Tue, 02 Jun 2009 13:55:10 -0400 Adam Chlipala Fix relative precedence of ; and case-stuff
Tue, 02 Jun 2009 12:40:09 -0400 Adam Chlipala Less whining about match failures; fix singleton record Jscomp bug
Tue, 02 Jun 2009 11:50:53 -0400 Adam Chlipala Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Monad library module
Sun, 31 May 2009 15:25:27 -0400 Adam Chlipala Expose resolveClass from Elaborate
Sun, 31 May 2009 13:43:02 -0400 Adam Chlipala Fix pathmap bug; expose lower-level heap manipulation from C
Sun, 31 May 2009 12:41:34 -0400 Adam Chlipala strcspn and friends
Sat, 30 May 2009 14:44:29 -0400 Adam Chlipala Defer pattern-matching exhaustiveness checks and normalize pattern types more thoroughly
Sat, 30 May 2009 13:29:00 -0400 Adam Chlipala Substring functions; fix a nasty MonoReduce pattern match substitution bug
Sat, 30 May 2009 09:59:10 -0400 Adam Chlipala String.length
Thu, 28 May 2009 13:47:05 -0400 Adam Chlipala Fix variable adjustment bug in fn/case alternation
Thu, 28 May 2009 12:40:55 -0400 Adam Chlipala Fix EDLet elab_util bug
Thu, 28 May 2009 12:07:05 -0400 Adam Chlipala Destructing local let, to the point where demo compiles
Thu, 28 May 2009 11:45:45 -0400 Adam Chlipala Use a timeout to avoid errors after unload
Thu, 28 May 2009 10:35:25 -0400 Adam Chlipala Demo compiles with pattern-matching-fu
Thu, 28 May 2009 10:16:50 -0400 Adam Chlipala fn-pattern code in but not tested yet; hello compiles
Tue, 26 May 2009 12:25:06 -0400 Adam Chlipala Chars and more string operations
Sat, 23 May 2009 10:14:51 -0400 Adam Chlipala Change monoization of monads to allow partial applications of operations
Sat, 23 May 2009 09:45:02 -0400 Adam Chlipala Switch to Maranget's pattern exhaustiveness algorithm
Thu, 21 May 2009 11:45:04 -0400 Adam Chlipala Change List.mapM' to avoid leaving functions around
Thu, 21 May 2009 10:34:56 -0400 Adam Chlipala ccheckbox
Thu, 21 May 2009 10:18:20 -0400 Adam Chlipala Split JavaScript inp() into separate functions
Sun, 17 May 2009 18:41:43 -0400 Adam Chlipala Redo Jscomp
Sun, 17 May 2009 14:36:55 -0400 Adam Chlipala Fix argument ordering bug in fuse; fix case subsitution bug in MonoReduce
Sun, 17 May 2009 13:25:57 -0400 Adam Chlipala Corify FFI datatypes properly; eliminate nested JavaScript markers
Sat, 16 May 2009 18:09:14 -0400 Adam Chlipala Loading an FCKeditor
Sat, 16 May 2009 16:59:24 -0400 Adam Chlipala Fix initialization of cselect from source
Sat, 16 May 2009 16:37:48 -0400 Adam Chlipala Fix another problem with overwrites during JavaScript pattern matching
Sat, 16 May 2009 16:02:17 -0400 Adam Chlipala Mutual datatypes through Cjrize
Sat, 16 May 2009 15:55:15 -0400 Adam Chlipala Mutual datatypes through Pathcheck
Sat, 16 May 2009 15:45:12 -0400 Adam Chlipala Mutual datatypes through Effectize
Sat, 16 May 2009 15:22:05 -0400 Adam Chlipala Mutual datatypes through Corify
Sat, 16 May 2009 15:14:17 -0400 Adam Chlipala Mutual datatypes through Elaborate
Sat, 16 May 2009 13:10:52 -0400 Adam Chlipala Add extra XML preamble nonsense
Sat, 16 May 2009 12:47:01 -0400 Adam Chlipala Catch more unclosed bodyless tags in Monoize
Sat, 16 May 2009 12:41:33 -0400 Adam Chlipala Fix a Core_untangle bug that missed closure variable references; XHTMLize
Thu, 14 May 2009 18:13:09 -0400 Adam Chlipala Fix nasty bugs with longjmp() looping for uw_set_input(); and bad variable indexes for nested JavaScript in jscomp
Thu, 14 May 2009 13:18:31 -0400 Adam Chlipala Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering
Thu, 14 May 2009 11:04:56 -0400 Adam Chlipala cselect.onchange
Thu, 14 May 2009 10:31:11 -0400 Adam Chlipala Improvements while working on Graftid
Thu, 14 May 2009 09:33:48 -0400 Adam Chlipala cselect
Thu, 14 May 2009 09:11:58 -0400 Adam Chlipala Fix a nasty binding bug in CoreUtil
Thu, 14 May 2009 08:15:36 -0400 Adam Chlipala Testing custom paths
Thu, 14 May 2009 08:13:54 -0400 Adam Chlipala Improving/reordering Unpoly and Especialize; pathmaps
Tue, 12 May 2009 20:15:11 -0400 Adam Chlipala Stop potential buffer overrun of path_copy
Tue, 12 May 2009 18:02:25 -0400 Adam Chlipala Improvements while working on Graftid
Sun, 10 May 2009 10:13:41 -0400 Adam Chlipala Use Ur/Web library .mlb
Tue, 05 May 2009 14:47:11 -0400 Adam Chlipala Tag CHANGELOG with release date
Tue, 05 May 2009 14:45:21 -0400 Adam Chlipala Describe GET/POST
Tue, 05 May 2009 14:36:16 -0400 Adam Chlipala Constraint syntax
Tue, 05 May 2009 14:15:55 -0400 Adam Chlipala on* handlers
Tue, 05 May 2009 13:21:26 -0400 Adam Chlipala Revised query types
Tue, 05 May 2009 12:49:16 -0400 Adam Chlipala Table constraint Ur code
Tue, 05 May 2009 11:59:50 -0400 Adam Chlipala Revising manual through end of Section 6
Tue, 05 May 2009 11:45:03 -0400 Adam Chlipala Revising manual through end of Section 3
Tue, 05 May 2009 10:23:16 -0400 Adam Chlipala Make Effectize more precise
Sun, 03 May 2009 16:00:43 -0400 Adam Chlipala crud3 demo
Sun, 03 May 2009 15:53:29 -0400 Adam Chlipala subforms demo
Sun, 03 May 2009 15:38:49 -0400 Adam Chlipala cookieSec demo
Sun, 03 May 2009 15:13:00 -0400 Adam Chlipala view demo
Sun, 03 May 2009 14:57:33 -0400 Adam Chlipala outer demo
Sun, 03 May 2009 12:49:47 -0400 Adam Chlipala upload demo
Sun, 03 May 2009 12:36:25 -0400 Adam Chlipala css demo
Sun, 03 May 2009 12:24:39 -0400 Adam Chlipala url demo
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