| Sun, 09 Nov 2008 11:53:52 -0500 |
Adam Chlipala |
Especialize working reasonably well; need to add new closure representation pass |
| Sat, 08 Nov 2008 16:47:04 -0500 |
Adam Chlipala |
Better detection of [let] substitution opportunities |
| Sat, 08 Nov 2008 16:02:59 -0500 |
Adam Chlipala |
Especialize handles records better |
| Sat, 08 Nov 2008 14:42:52 -0500 |
Adam Chlipala |
Broaden set of possible especializations |
| Sat, 08 Nov 2008 13:15:00 -0500 |
Adam Chlipala |
Some small changes while failing to write [restrict] |
| Sat, 08 Nov 2008 12:24:23 -0500 |
Adam Chlipala |
Add help text for generated web servers |
| Sat, 08 Nov 2008 12:12:50 -0500 |
Adam Chlipala |
Handle EError returning a function; handle multiple cookies in one input header |
| Sat, 08 Nov 2008 10:58:59 -0500 |
Adam Chlipala |
Fix parsing of last input header |
| Sat, 08 Nov 2008 10:46:14 -0500 |
Adam Chlipala |
[getCookie] reads cookie settings from current page generation |
| Sat, 08 Nov 2008 10:33:58 -0500 |
Adam Chlipala |
Resolve all tag named in [Basis]; deal with C compilation failure without leaving /tmp files |
| Sat, 08 Nov 2008 09:55:36 -0500 |
Adam Chlipala |
Generated web servers use getopt() |
| 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 17:09:53 -0500 |
Adam Chlipala |
About to begin optimization of recursive transaction functions |
| 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:22:50 -0500 |
Adam Chlipala |
Cookie demo code; fix error message display |
| 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 |
| Thu, 06 Nov 2008 10:48:02 -0500 |
Adam Chlipala |
Cookies through shake2 |
| Thu, 06 Nov 2008 10:43:48 -0500 |
Adam Chlipala |
Cookies through explify |
| Thu, 06 Nov 2008 10:29:55 -0500 |
Adam Chlipala |
Cookies through elaborate |
| Thu, 06 Nov 2008 10:04:03 -0500 |
Adam Chlipala |
Avoid allocating strings for requestHeader |
| Thu, 06 Nov 2008 09:47:16 -0500 |
Adam Chlipala |
Request header reading works |
| Thu, 06 Nov 2008 09:21:34 -0500 |
Adam Chlipala |
Monoizing FFI transactions correctly |
| Tue, 04 Nov 2008 09:33:35 -0500 |
Adam Chlipala |
Nested demo |
| Sat, 01 Nov 2008 21:24:43 -0400 |
Adam Chlipala |
Nested save compiles |
| Sat, 01 Nov 2008 21:19:43 -0400 |
Adam Chlipala |
Almost have that nested save function compiling |
| Sat, 01 Nov 2008 17:19:12 -0400 |
Adam Chlipala |
Fix some type-class detection |
| Sat, 01 Nov 2008 16:50:28 -0400 |
Adam Chlipala |
Remove empty writes |
| Sat, 01 Nov 2008 16:46:16 -0400 |
Adam Chlipala |
Wrapping works in Blog |
| Sat, 01 Nov 2008 16:08:39 -0400 |
Adam Chlipala |
Explify 'let' |
| Sat, 01 Nov 2008 15:58:55 -0400 |
Adam Chlipala |
First Unnest tests working |
| Sat, 01 Nov 2008 11:17:29 -0400 |
Adam Chlipala |
Elaborating 'let' |
| Sat, 01 Nov 2008 10:47:10 -0400 |
Adam Chlipala |
Parsing 'let' |
| Fri, 31 Oct 2008 09:30:22 -0400 |
Adam Chlipala |
Replace 'with' with '++' |
| Thu, 30 Oct 2008 17:07:34 -0400 |
Adam Chlipala |
Remove _espec tag; add some tag fields |
| Thu, 30 Oct 2008 16:58:54 -0400 |
Adam Chlipala |
Especialize |
| Thu, 30 Oct 2008 15:39:06 -0400 |
Adam Chlipala |
Don't inline case expressions |
| Thu, 30 Oct 2008 15:33:28 -0400 |
Adam Chlipala |
CURRENT_TIMESTAMP |
| Thu, 30 Oct 2008 15:16:37 -0400 |
Adam Chlipala |
Time MIN/MAX |
| Thu, 30 Oct 2008 15:11:37 -0400 |
Adam Chlipala |
Marshaling time to SQL |
| Thu, 30 Oct 2008 14:57:15 -0400 |
Adam Chlipala |
Reading timestamps from 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 |
| Tue, 28 Oct 2008 15:05:16 -0400 |
Adam Chlipala |
GCCARGS configure option |
| Mon, 27 Oct 2008 08:27:45 -0400 |
Adam Chlipala |
Remove need for '() <-' notation |
| Mon, 27 Oct 2008 08:16:19 -0400 |
Adam Chlipala |
Switch exit(1) call to uw_error() |
| Sun, 26 Oct 2008 08:41:17 -0400 |
Adam Chlipala |
Avoid using libpq when unneeded |
| Sat, 25 Oct 2008 18:58:45 -0400 |
Adam Chlipala |
Change 'sed' invocation to work in OSX |
| Sat, 25 Oct 2008 12:18:33 -0400 |
Adam Chlipala |
mkdir -p BIN |
| Sat, 25 Oct 2008 12:07:10 -0400 |
Adam Chlipala |
Use configure --prefix |
| Fri, 24 Oct 2008 19:59:17 -0400 |
adamc |
Make *_w function prototypes match header file |
| Fri, 24 Oct 2008 17:39:47 -0400 |
Adam Chlipala |
Add 'package' make target; add LICENSE |
| Fri, 24 Oct 2008 17:35:33 -0400 |
Adam Chlipala |
Remove debug print for optional inputs |
| Fri, 24 Oct 2008 17:30:07 -0400 |
Adam Chlipala |
Properly freeing libpq results on errors |
| Fri, 24 Oct 2008 16:47:18 -0400 |
Adam Chlipala |
Transactions seem to be working |
| Fri, 24 Oct 2008 16:13:53 -0400 |
Adam Chlipala |
Stop including functors in paths |
