| 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 |
| Sat, 18 Jul 2009 15:08:21 -0400 |
Adam Chlipala |
FFI manual section |
| Sat, 18 Jul 2009 11:01:48 -0400 |
Adam Chlipala |
More command-line options |
| Fri, 17 Jul 2009 12:58:37 -0400 |
Adam Chlipala |
MySQL CGI working |
| 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 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: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 |
| Sat, 27 Jun 2009 17:50:31 -0400 |
Adam Chlipala |
.msgs processing in FastCGI |
| Sat, 27 Jun 2009 10:50:45 -0400 |
Adam Chlipala |
Avoid using prepared statements for non-persistent protocols |
| Sat, 16 May 2009 18:09:14 -0400 |
Adam Chlipala |
Loading an FCKeditor |
| Sat, 16 May 2009 16:02:17 -0400 |
Adam Chlipala |
Mutual datatypes through Cjrize |
| Sat, 16 May 2009 13:10:52 -0400 |
Adam Chlipala |
Add extra XML preamble nonsense |
| Sat, 16 May 2009 12:41:33 -0400 |
Adam Chlipala |
Fix a Core_untangle bug that missed closure variable references; XHTMLize |
| Sun, 03 May 2009 15:38:49 -0400 |
Adam Chlipala |
cookieSec demo |
| Sat, 02 May 2009 18:20:15 -0400 |
Adam Chlipala |
Runtime URL and MIME type filtering |
| 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 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:04:37 -0400 |
Adam Chlipala |
A view query works |
| Sun, 26 Apr 2009 12:47:53 -0400 |
Adam Chlipala |
Extra checks on assumptions about SQL results |
| 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: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 14:49:25 -0400 |
Adam Chlipala |
Label exported symbols by effect-ness; factor out some common datatypes |
| Thu, 16 Apr 2009 12:07:21 -0400 |
Adam Chlipala |
Catching duplicate cookie and style paths |
| Sun, 12 Apr 2009 12:31:54 -0400 |
Adam Chlipala |
Stop tracking CSS classes in XML types |
| Sun, 12 Apr 2009 10:08:11 -0400 |
Adam Chlipala |
style declarations |
| Tue, 07 Apr 2009 16:14:31 -0400 |
Adam Chlipala |
PRIMARY KEY |
| Tue, 07 Apr 2009 12:24:31 -0400 |
Adam Chlipala |
UNIQUE constraints |
| 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 |
| 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 |
| 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 |
| Thu, 26 Mar 2009 16:22:34 -0400 |
Adam Chlipala |
Preliminary work supporting channels in databases |
| Tue, 24 Mar 2009 15:35:46 -0400 |
Adam Chlipala |
Variable timeouts and client keep-alive |
| Thu, 19 Mar 2009 16:34:13 -0400 |
Adam Chlipala |
Dummy message delivery to clients |
| Tue, 10 Mar 2009 11:18:01 -0400 |
Adam Chlipala |
React demo |
| 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:41:55 -0400 |
Adam Chlipala |
RPC returning an option |
