| Sun, 11 Apr 2010 13:11:25 -0400 |
Adam Chlipala |
Update policies |
| Sun, 11 Apr 2010 12:38:21 -0400 |
Adam Chlipala |
Delete policies |
| Sun, 11 Apr 2010 10:57:52 -0400 |
Adam Chlipala |
Insert policies |
| Thu, 08 Apr 2010 09:57:37 -0400 |
Adam Chlipala |
Change query_policy to sendClient; all arguments passed to SQL predicates are variables |
| Tue, 06 Apr 2010 09:51:36 -0400 |
Adam Chlipala |
Introduced the known() predicate |
| Sun, 04 Apr 2010 12:29:34 -0400 |
Adam Chlipala |
Pushing policies through |
| Thu, 01 Apr 2010 17:21:16 -0400 |
Adam Chlipala |
Relational operators portability |
| Sun, 28 Mar 2010 10:10:35 -0400 |
Adam Chlipala |
Make SELECT FROM clauses optional |
| Thu, 25 Mar 2010 16:06:04 -0400 |
Adam Chlipala |
Subquery FROM items |
| Thu, 25 Mar 2010 15:44:24 -0400 |
Adam Chlipala |
Subquery expressions |
| Tue, 16 Mar 2010 15:54:35 -0400 |
Adam Chlipala |
COUNT(col) |
| Tue, 02 Mar 2010 16:00:48 -0500 |
Adam Chlipala |
Tone down Reduce and compensate with a new push-lambda-inside-case rule in MonoOpt; expand more Basis synonyms in Monoize |
| Sun, 28 Feb 2010 15:46:41 -0500 |
Adam Chlipala |
Fix parsing of space-free .urp directives; use 'class' for 'c*' tags |
| Thu, 25 Feb 2010 14:55:35 -0500 |
Adam Chlipala |
Use COALESCE to hide NULL results of aggregate functions; fix bug with improper ordering of query result columns |
| Thu, 28 Jan 2010 20:10:32 -0500 |
Adam Chlipala |
Small tweaks |
| 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) |
| Tue, 07 Apr 2009 16:14:31 -0400 |
Adam Chlipala |
PRIMARY KEY |
| 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 10:48:11 -0400 |
Adam Chlipala |
Threads demo |
| 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 |
| 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 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:26:35 -0400 |
Adam Chlipala |
Make sql_injectable class nicer with inclusion |
| Sun, 22 Mar 2009 16:03:45 -0400 |
Adam Chlipala |
Proper recv |
| 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 |
| Tue, 10 Mar 2009 17:29:03 -0400 |
Adam Chlipala |
Noisy demo |
| Tue, 10 Mar 2009 12:44:40 -0400 |
Adam Chlipala |
ListEdit demo, minus prose |
| Tue, 10 Mar 2009 10:44:26 -0400 |
Adam Chlipala |
Avoid any JavaScript when pages don't need it; update demo prose |
| Sun, 22 Feb 2009 17:17:01 -0500 |
Adam Chlipala |
demo/hello compiles with kind polymorphism |
| Sun, 22 Feb 2009 16:10:25 -0500 |
Adam Chlipala |
Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top |
| Sat, 21 Feb 2009 15:33:20 -0500 |
Adam Chlipala |
"Hello world" compiles, after replacing type-level fold with map |
| Sun, 15 Feb 2009 13:03:09 -0500 |
Adam Chlipala |
Parameterized RPC query |
| Sun, 15 Feb 2009 10:32:50 -0500 |
Adam Chlipala |
First gimpy RPC |
| Sun, 15 Feb 2009 09:27:36 -0500 |
Adam Chlipala |
Export RPC functions and push RPC calls through to Mono |
| Sat, 14 Feb 2009 14:07:56 -0500 |
Adam Chlipala |
Start of RPCification |
| Tue, 27 Jan 2009 09:53:51 -0500 |
Adam Chlipala |
Use normal fields of ctextboxes |
| Fri, 16 Jan 2009 15:49:10 -0500 |
Adam Chlipala |
dlist example working |
| Tue, 13 Jan 2009 15:17:11 -0500 |
Adam Chlipala |
Initial experiments with nested <dyn> |
| Sun, 11 Jan 2009 10:22:19 -0500 |
Adam Chlipala |
Use header to set default script type |
| Sun, 11 Jan 2009 10:05:06 -0500 |
Adam Chlipala |
Hooking a source into an input |
| Thu, 01 Jan 2009 15:11:17 -0500 |
Adam Chlipala |
Injecting an int |
| Tue, 30 Dec 2008 11:33:31 -0500 |
Adam Chlipala |
Harmonized source-setting between server and client |
| Tue, 30 Dec 2008 10:49:42 -0500 |
Adam Chlipala |
Setting a source server-side |
| Tue, 30 Dec 2008 09:43:41 -0500 |
Adam Chlipala |
Starting to implement source set |
| Sun, 21 Dec 2008 12:56:39 -0500 |
Adam Chlipala |
Trivial use of a source |
| Sun, 21 Dec 2008 12:30:57 -0500 |
Adam Chlipala |
Handling singnal bind |
| Sun, 21 Dec 2008 12:01:00 -0500 |
Adam Chlipala |
Switch to using dyn() function in JavaScript |
| Sat, 20 Dec 2008 16:19:26 -0500 |
Adam Chlipala |
Successfully generated a page element from a signal |
| Sat, 20 Dec 2008 15:46:48 -0500 |
Adam Chlipala |
Initial <dyn> support |
| Fri, 19 Dec 2008 12:38:11 -0500 |
Adam Chlipala |
Displayed an alert dialog |
| Fri, 19 Dec 2008 11:47:18 -0500 |
Adam Chlipala |
Creation of sources in server code |
| Fri, 19 Dec 2008 10:27:58 -0500 |
Adam Chlipala |
Monad type class seems to be working |
| Tue, 09 Dec 2008 14:41:19 -0500 |
Adam Chlipala |
Add SQL arithmetic operators |
| Sun, 07 Dec 2008 10:02:04 -0500 |
Adam Chlipala |
Finish documenting queries; remove a stray [unit] argument |
| Tue, 11 Nov 2008 19:20:37 -0500 |
Adam Chlipala |
Add CutMulti |
| Tue, 11 Nov 2008 16:27:51 -0500 |
Adam Chlipala |
More ThreadedBlog progress |
| Thu, 06 Nov 2008 19:43:48 -0500 |
Adam Chlipala |
Tree demo working (and other assorted regressions fixed) |
| Thu, 06 Nov 2008 18:49:38 -0500 |
Adam Chlipala |
Tree demo works |
| Thu, 06 Nov 2008 15:52:13 -0500 |
Adam Chlipala |
Ensql'ing nullables |
| Thu, 06 Nov 2008 15:37:38 -0500 |
Adam Chlipala |
Inserted a NULL value |
| Thu, 06 Nov 2008 14:03:50 -0500 |
Adam Chlipala |
Cookies work across pages |
| Thu, 06 Nov 2008 12:46:45 -0500 |
Adam Chlipala |
Cookie prose; fix bugs that broke demo compilation |
| Thu, 06 Nov 2008 12:08:41 -0500 |
Adam Chlipala |
Reading cookies works |
| Thu, 06 Nov 2008 11:29:16 -0500 |
Adam Chlipala |
Setting a cookie |
| Sat, 01 Nov 2008 17:19:12 -0400 |
Adam Chlipala |
Fix some type-class detection |
| Sat, 01 Nov 2008 16:46:16 -0400 |
Adam Chlipala |
Wrapping works in Blog |
| Fri, 31 Oct 2008 09:30:22 -0400 |
Adam Chlipala |
Replace 'with' with '++' |
| Thu, 30 Oct 2008 15:33:28 -0400 |
Adam Chlipala |
CURRENT_TIMESTAMP |
| Thu, 30 Oct 2008 15:11:37 -0400 |
Adam Chlipala |
Marshaling time to SQL |
| Thu, 30 Oct 2008 14:40:42 -0400 |
Adam Chlipala |
Add time to some type classes |
| Thu, 30 Oct 2008 14:36:48 -0400 |
Adam Chlipala |
time type |
| Thu, 23 Oct 2008 18:45:10 -0400 |
Adam Chlipala |
Crud2 demo |
| Thu, 23 Oct 2008 12:58:35 -0400 |
Adam Chlipala |
Fix nasty de Bruijn substitution bug; TcSum demo |
| Tue, 21 Oct 2008 18:44:52 -0400 |
Adam Chlipala |
Sql demo |
| Tue, 21 Oct 2008 16:41:11 -0400 |
Adam Chlipala |
New implicit argument handling |
| Tue, 21 Oct 2008 11:22:10 -0400 |
Adam Chlipala |
ord_string |
| Tue, 21 Oct 2008 11:19:17 -0400 |
Adam Chlipala |
ord_float and ord_bool |
| Tue, 21 Oct 2008 11:04:24 -0400 |
Adam Chlipala |
gt, ge |
| Tue, 21 Oct 2008 10:56:43 -0400 |
Adam Chlipala |
lt, le working for int |
| Tue, 21 Oct 2008 10:40:22 -0400 |
Adam Chlipala |
num_float |
| Tue, 21 Oct 2008 10:34:07 -0400 |
Adam Chlipala |
num working for int |
| Tue, 21 Oct 2008 09:52:52 -0400 |
Adam Chlipala |
Monoize eq_[bool|string] |
| Tue, 21 Oct 2008 09:50:19 -0400 |
Adam Chlipala |
Binops; equality tested on int; lame 404 substitute |
| Sun, 19 Oct 2008 15:47:47 -0400 |
Adam Chlipala |
Support for URL prefixes that works with local demo |
| Tue, 14 Oct 2008 16:41:48 -0400 |
Adam Chlipala |
lform -> form |
| Sat, 04 Oct 2008 16:15:13 -0400 |
Adam Chlipala |
Use checkbox in CRUD example |
| Sun, 14 Sep 2008 19:22:04 -0400 |
Adam Chlipala |
Fix inexhaustive match |
| Sun, 14 Sep 2008 11:02:18 -0400 |
Adam Chlipala |
SQL sequences |
| Thu, 11 Sep 2008 17:41:52 -0400 |
Adam Chlipala |
Crud listing IDs |
| Tue, 09 Sep 2008 12:36:13 -0400 |
Adam Chlipala |
Termination checking allows anything in links and actions |
| Sun, 07 Sep 2008 15:40:42 -0400 |
Adam Chlipala |
Rename 'lw' prefixes to 'uw' |
| Sun, 07 Sep 2008 15:16:10 -0400 |
Adam Chlipala |
First DELETE works |
| Sun, 07 Sep 2008 15:12:47 -0400 |
Adam Chlipala |
First UPDATE works |
| Sun, 07 Sep 2008 15:05:52 -0400 |
Adam Chlipala |
First INSERT works |
| Sun, 07 Sep 2008 13:29:01 -0400 |
Adam Chlipala |
pquery working with all four types of columns |
| Sun, 07 Sep 2008 12:15:46 -0400 |
Adam Chlipala |
Error-parsing ints |
| Sun, 07 Sep 2008 11:53:30 -0400 |
Adam Chlipala |
'read' type class |
| Sun, 07 Sep 2008 11:33:13 -0400 |
Adam Chlipala |
Converting string to int |
| Sun, 07 Sep 2008 10:48:51 -0400 |
Adam Chlipala |
'show' type class; htmlification optimizations |
| Sun, 07 Sep 2008 10:02:27 -0400 |
Adam Chlipala |
'error' function |
| Tue, 02 Sep 2008 15:29:45 -0400 |
Adam Chlipala |
First query execution (not retrieving results yet) |
| Tue, 02 Sep 2008 13:44:54 -0400 |
Adam Chlipala |
Generating SQL files |
| Tue, 02 Sep 2008 13:09:54 -0400 |
Adam Chlipala |
Table declarations pushed to Cjr |
| Tue, 02 Sep 2008 10:51:41 -0400 |
Adam Chlipala |
'database' declaration threaded through compiler |
| Sun, 31 Aug 2008 16:54:13 -0400 |
Adam Chlipala |
Monoize ASC/DESC |
| Sun, 31 Aug 2008 16:32:49 -0400 |
Adam Chlipala |
Changed EQuery not to use a function in its body |
| Sun, 31 Aug 2008 16:26:50 -0400 |
Adam Chlipala |
Monoize aggregates |
| Sun, 31 Aug 2008 16:20:34 -0400 |
Adam Chlipala |
Monoize COUNT(*) |
| Sun, 31 Aug 2008 16:13:07 -0400 |
Adam Chlipala |
Monoize unops |
| Sun, 31 Aug 2008 16:11:15 -0400 |
Adam Chlipala |
Monoize OFFSET |
| Sun, 31 Aug 2008 16:10:20 -0400 |
Adam Chlipala |
Monoize LIMIT |
| Sun, 31 Aug 2008 16:03:43 -0400 |
Adam Chlipala |
Monoize ORDER BY |
| Sun, 31 Aug 2008 15:47:32 -0400 |
Adam Chlipala |
Monoize relops |
| Sun, 31 Aug 2008 15:36:15 -0400 |
Adam Chlipala |
Monoize HAVING |
| Sun, 31 Aug 2008 15:32:31 -0400 |
Adam Chlipala |
Avoid unnecessary WHERE clause |
| Sun, 31 Aug 2008 15:04:10 -0400 |
Adam Chlipala |
Monoized GROUP BY |
| Sun, 31 Aug 2008 14:33:22 -0400 |
Adam Chlipala |
Monoized binary operators |
| Sun, 31 Aug 2008 14:27:01 -0400 |
Adam Chlipala |
Monoized a WHERE clause with a comparison |
| Sun, 31 Aug 2008 13:58:47 -0400 |
Adam Chlipala |
Monoized and optimized initial query test |
| Sun, 31 Aug 2008 10:36:54 -0400 |
Adam Chlipala |
Monoize transaction identifiers; improve disjointness prover on irreducible folds; change 'query' type |
| Sun, 31 Aug 2008 09:00:28 -0400 |
Adam Chlipala |
Corify tables |
| Sat, 16 Aug 2008 15:03:05 -0400 |
Adam Chlipala |
Corifying con-tuples |
| Sat, 09 Aug 2008 20:08:29 -0400 |
Adam Chlipala |
Urlifying records |
| Sat, 09 Aug 2008 19:23:31 -0400 |
Adam Chlipala |
'Option' datatype encoding |
| Sat, 09 Aug 2008 16:48:32 -0400 |
Adam Chlipala |
Lists all the way through |
| Fri, 08 Aug 2008 17:55:51 -0400 |
Adam Chlipala |
Specialization of single-parameter datatypes |
| Fri, 08 Aug 2008 10:59:06 -0400 |
Adam Chlipala |
Parametrized datatypes through corify |
| Thu, 07 Aug 2008 13:09:26 -0400 |
Adam Chlipala |
Checkboxes |
| Sun, 03 Aug 2008 19:49:21 -0400 |
Adam Chlipala |
Datatype representation optimization |
| Sun, 03 Aug 2008 18:53:20 -0400 |
Adam Chlipala |
bool in Basis |
| Sun, 03 Aug 2008 17:57:47 -0400 |
Adam Chlipala |
FFI datatypes |
| Sun, 03 Aug 2008 13:30:27 -0400 |
Adam Chlipala |
Optimizing 'case' in Mono_reduce |
| Sun, 03 Aug 2008 12:43:20 -0400 |
Adam Chlipala |
Compiled pattern matching to C |
| Sun, 03 Aug 2008 10:48:36 -0400 |
Adam Chlipala |
Cases through monoize |
| Sun, 03 Aug 2008 09:26:49 -0400 |
Adam Chlipala |
First part of getting cases through monoize |
| Sat, 02 Aug 2008 11:15:32 -0400 |
Adam Chlipala |
Case through corify |
| Tue, 29 Jul 2008 15:43:17 -0400 |
Adam Chlipala |
Storing datatype constructors in type references past monoize |
| Tue, 29 Jul 2008 15:25:42 -0400 |
Adam Chlipala |
Unurlifying a datatype; longjmp-based error signaling mechanism |
