| Thu, 09 Apr 2009 12:31:56 -0400 |
Adam Chlipala |
Made type class system very general; demo compiles |
| 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 12:37:38 -0400 |
Adam Chlipala |
Update the manual |
| 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 |
| Sat, 04 Apr 2009 11:46:24 -0400 |
Adam Chlipala |
Checking spans in dyns |
| 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 |
| 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 |
