Tue, 26 Jan 2010 08:46:25 -0500 |
Adam Chlipala |
<img> has dimensions and needs special HTML handling |
Sun, 03 Jan 2010 12:47:27 -0500 |
Adam Chlipala |
Proper C-side deserialization; Shake.sliceDb |
Fri, 01 Jan 2010 12:48:06 -0500 |
Adam Chlipala |
Proper [un]urlification of unit |
Thu, 31 Dec 2009 18:07:53 -0500 |
Adam Chlipala |
Eta-expand bodies of transaction functions in Monoization, to enable later optimization |
Thu, 31 Dec 2009 11:41:57 -0500 |
Adam Chlipala |
Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly |
Tue, 29 Dec 2009 13:34:03 -0500 |
Adam Chlipala |
ctextarea; s/header/include in the manual |
Tue, 22 Dec 2009 12:13:23 -0500 |
Adam Chlipala |
Basis.sql_nullable and Top.queryL |
Tue, 15 Dec 2009 10:19:05 -0500 |
Adam Chlipala |
Convert to task syntax |
Sun, 13 Dec 2009 14:20:41 -0500 |
Adam Chlipala |
Initializers and setval |
Sun, 13 Dec 2009 13:00:55 -0500 |
Adam Chlipala |
Weakening-type coercions for SQL values |
Sun, 13 Dec 2009 11:28:47 -0500 |
Adam Chlipala |
Better record summary error messages; more tweaking SQL usability |
Sun, 13 Dec 2009 10:13:06 -0500 |
Adam Chlipala |
Tweaking SQL parsing and typing |
Thu, 10 Dec 2009 15:46:07 -0500 |
Adam Chlipala |
Bug fixes in redirect-related stuff |
Thu, 10 Dec 2009 13:32:09 -0500 |
Adam Chlipala |
Basis.url and redirects |
Thu, 26 Nov 2009 14:20:00 -0500 |
Adam Chlipala |
More fun with cookies |
Tue, 24 Nov 2009 09:48:28 -0500 |
Adam Chlipala |
New release |
Tue, 24 Nov 2009 09:24:25 -0500 |
Adam Chlipala |
Explicitly abort in-flight RPCs onunload |
Mon, 02 Nov 2009 11:37:41 -0500 |
Adam Chlipala |
Switch Monoize back to POST forms |
Sun, 01 Nov 2009 14:26:20 -0500 |
Adam Chlipala |
Initial form for paper assignment |
Sun, 25 Oct 2009 15:29:21 -0400 |
Adam Chlipala |
Use call/cc for recv and sleep |
Sun, 25 Oct 2009 14:07:10 -0400 |
Adam Chlipala |
RPC uses VM support for call/cc |
Thu, 22 Oct 2009 17:36:30 -0400 |
Adam Chlipala |
Chars working with SQLite |
Thu, 22 Oct 2009 16:15:56 -0400 |
Adam Chlipala |
Initial support for char in SQL |
Tue, 06 Oct 2009 15:39:27 -0400 |
Adam Chlipala |
SELECT DISTINCT; eta expansion during Cjrization |
Mon, 05 Oct 2009 12:51:17 -0400 |
Adam Chlipala |
Mangle local table names to avoid keyword clashes in SQL |
Sat, 26 Sep 2009 12:45:19 -0400 |
Adam Chlipala |
Whitelisting tags that may be self-closed |
Thu, 24 Sep 2009 12:26:30 -0400 |
Adam Chlipala |
Fix sel() generation bug |
Tue, 22 Sep 2009 17:12:20 -0400 |
Adam Chlipala |
demo/react works with interpretation |
Tue, 22 Sep 2009 12:23:21 -0400 |
Adam Chlipala |
Hopefully complete refactoring of Jscomp to output ASTs; partial implementation of interpreter in runtime system (demo/alert works) |
Sat, 19 Sep 2009 13:32:33 -0400 |
Adam Chlipala |
Grid sorting working |
Thu, 17 Sep 2009 17:11:23 -0400 |
Adam Chlipala |
tail example working |
Thu, 17 Sep 2009 16:35:11 -0400 |
Adam Chlipala |
Basic tail recursion introduction seems to be working |
Sat, 12 Sep 2009 10:03:12 -0400 |
Adam Chlipala |
Prevent event bubbling |
Tue, 08 Sep 2009 10:18:19 -0400 |
Adam Chlipala |
dragList almost kinda works |
Tue, 25 Aug 2009 13:57:56 -0400 |
Adam Chlipala |
grid1 compiles but gets stuck in JS |
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 |
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 14:57:44 -0400 |
Adam Chlipala |
<dyn> inside <tr> |
Thu, 06 Aug 2009 14:24:40 -0400 |
Adam Chlipala |
dlist row add working with Konqueror |
Thu, 06 Aug 2009 11:54:28 -0400 |
Adam Chlipala |
dtable example and demos both working |
Sat, 18 Jul 2009 12:53:26 -0400 |
Adam Chlipala |
Key events get key code input |
Sat, 18 Jul 2009 10:27:32 -0400 |
Adam Chlipala |
Blobs tested in MySQL and SQLite |
Fri, 17 Jul 2009 17:03:37 -0400 |
Adam Chlipala |
Most of demo working with SQLite |
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 |
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 |
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 11:13:18 -0400 |
Adam Chlipala |
Start of Option; Basis.current; fix missed cases in Jscomp.isNullable |
Tue, 02 Jun 2009 11:50:53 -0400 |
Adam Chlipala |
Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Monad library module |
Thu, 28 May 2009 10:35:25 -0400 |
Adam Chlipala |
Demo compiles with pattern-matching-fu |
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 |
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 13:25:57 -0400 |
Adam Chlipala |
Corify FFI datatypes properly; eliminate nested JavaScript markers |
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 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 13:18:31 -0400 |
Adam Chlipala |
Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering |
Thu, 14 May 2009 09:33:48 -0400 |
Adam Chlipala |
cselect |
Sun, 03 May 2009 14:57:33 -0400 |
Adam Chlipala |
outer demo |
Sun, 03 May 2009 12:36:25 -0400 |
Adam Chlipala |
css demo |
Thu, 30 Apr 2009 17:15:14 -0400 |
Adam Chlipala |
C FFI compiler options |
Thu, 30 Apr 2009 14:48:23 -0400 |
Adam Chlipala |
<input type='hidden'> |
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 |
Tue, 28 Apr 2009 14:02:23 -0400 |
Adam Chlipala |
Preparing to allow views in SELECT FROM clauses |
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:35:45 -0400 |
Adam Chlipala |
sql_ufunc and octet_length |
Sun, 26 Apr 2009 09:02:17 -0400 |
Adam Chlipala |
Returning a blob as page result |
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:35:01 -0400 |
Adam Chlipala |
POST support |
Thu, 16 Apr 2009 12:43:55 -0400 |
Adam Chlipala |
Show XML |
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> |
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:30:15 -0400 |
Adam Chlipala |
CHECK constraints |
Thu, 09 Apr 2009 13:59:34 -0400 |
Adam Chlipala |
More flexible foreign keying |
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) |