Sun, 01 Nov 2009 14:26:20 -0500 |
Adam Chlipala |
Initial form for paper assignment |
Sun, 01 Nov 2009 10:20:20 -0500 |
Adam Chlipala |
Bidding interface |
Thu, 22 Oct 2009 16:15:56 -0400 |
Adam Chlipala |
Initial support for char in SQL |
Thu, 22 Oct 2009 11:15:37 -0400 |
Adam Chlipala |
Checking deadline; sign-in |
Tue, 06 Oct 2009 17:36:45 -0400 |
Adam Chlipala |
Versioned1 demo working |
Tue, 06 Oct 2009 15:59:11 -0400 |
Adam Chlipala |
Initial versioned1 demo working |
Tue, 22 Sep 2009 13:27:47 -0400 |
Adam Chlipala |
Functions working 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) |
Fri, 18 Sep 2009 19:30:09 -0400 |
Adam Chlipala |
Fix C substring implementation |
Tue, 15 Sep 2009 10:50:49 -0400 |
Adam Chlipala |
Fix Postgres timestamp round-tripping |
Sat, 12 Sep 2009 10:31:34 -0400 |
Adam Chlipala |
Debugging new string urlification |
Sat, 12 Sep 2009 09:31:50 -0400 |
Adam Chlipala |
Change string URLification to avoid using the empty string, which confuses Apache no2slash() |
Wed, 09 Sep 2009 08:15:46 -0400 |
Adam Chlipala |
Find chances to use mstrcat() |
Wed, 09 Sep 2009 08:00:45 -0400 |
Adam Chlipala |
Don't replace <sc> in blob returns; optimize more 'option' pattern matches; detect more opportunities for 'let' inlining |
Tue, 08 Sep 2009 10:55:49 -0400 |
Adam Chlipala |
dragList demo working, save for Gecko load delay and highlighting |
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 |
Fri, 17 Jul 2009 16:29:36 -0400 |
Adam Chlipala |
demo/sql works with SQLite |
Thu, 16 Jul 2009 18:10:29 -0400 |
Adam Chlipala |
Demo working with MySQL |
Sun, 12 Jul 2009 15:05:40 -0400 |
Adam Chlipala |
MySQL demo/sql succeeds in reading no rows |
Sun, 28 Jun 2009 13:49:32 -0400 |
Adam Chlipala |
Start of multi-DBMS support |
Sat, 27 Jun 2009 19:07:28 -0400 |
Adam Chlipala |
FastCGI working with lighttpd |
Sat, 27 Jun 2009 17:50:31 -0400 |
Adam Chlipala |
.msgs processing in FastCGI |
Sat, 27 Jun 2009 14:44:00 -0400 |
Adam Chlipala |
Serving Hello via FastCGI |
Tue, 23 Jun 2009 17:59:23 -0400 |
Adam Chlipala |
cgi protocol |
Tue, 23 Jun 2009 15:40:35 -0400 |
Adam Chlipala |
Further refactoring of request.c to work with CGI |
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, 31 May 2009 13:43:02 -0400 |
Adam Chlipala |
Fix pathmap bug; expose lower-level heap manipulation from C |
Sun, 31 May 2009 12:41:34 -0400 |
Adam Chlipala |
strcspn and friends |
Sat, 30 May 2009 13:29:00 -0400 |
Adam Chlipala |
Substring functions; fix a nasty MonoReduce pattern match substitution bug |
Sat, 30 May 2009 09:59:10 -0400 |
Adam Chlipala |
String.length |
Tue, 26 May 2009 12:25:06 -0400 |
Adam Chlipala |
Chars and more string operations |
Thu, 14 May 2009 18:13:09 -0400 |
Adam Chlipala |
Fix nasty bugs with longjmp() looping for uw_set_input(); and bad variable indexes for nested JavaScript in jscomp |
Tue, 12 May 2009 18:02:25 -0400 |
Adam Chlipala |
Improvements while working on Graftid |
Sat, 02 May 2009 18:46:00 -0400 |
Adam Chlipala |
Update FFI type of Basis.self |
Sat, 02 May 2009 18:41:21 -0400 |
Adam Chlipala |
FFI transactionals |
Sat, 02 May 2009 18:20:15 -0400 |
Adam Chlipala |
Runtime URL and MIME type filtering |
Thu, 30 Apr 2009 14:43:55 -0400 |
Adam Chlipala |
Megaform test |
Thu, 30 Apr 2009 13:47:46 -0400 |
Adam Chlipala |
subforms working |
Tue, 28 Apr 2009 17:26:53 -0400 |
Adam Chlipala |
Subforms |
Sun, 26 Apr 2009 11:07:25 -0400 |
Adam Chlipala |
blobSize |
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:47:16 -0400 |
Adam Chlipala |
Add MIME type to file |
Sat, 25 Apr 2009 14:35:49 -0400 |
Adam Chlipala |
Only allow single-file upload per control |
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, 16 Apr 2009 19:12:12 -0400 |
Adam Chlipala |
Cookie signing working for forms |