log

age author description
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