| Tue, 10 Mar 2009 10:44:26 -0400 |
Adam Chlipala |
Avoid any JavaScript when pages don't need it; update demo prose |
| Sun, 08 Mar 2009 20:34:21 -0400 |
Adam Chlipala |
Conversion of functions to CPS, to facilitate ServerCall |
| Sun, 22 Feb 2009 16:33:55 -0500 |
Adam Chlipala |
Turned off termination checking, for now |
| Sat, 14 Feb 2009 14:07:56 -0500 |
Adam Chlipala |
Start of RPCification |
| Tue, 13 Jan 2009 15:17:11 -0500 |
Adam Chlipala |
Initial experiments with nested <dyn> |
| Sun, 21 Dec 2008 12:30:57 -0500 |
Adam Chlipala |
Handling singnal bind |
| Sat, 20 Dec 2008 14:19:21 -0500 |
Adam Chlipala |
Start of JsComp |
| Thu, 27 Nov 2008 10:46:45 -0500 |
Adam Chlipala |
Stop using redundant Defunc pass |
| Tue, 25 Nov 2008 10:05:44 -0500 |
Adam Chlipala |
Fusing writes with recursive function calls |
| Thu, 20 Nov 2008 12:16:30 -0500 |
Adam Chlipala |
Profiling support |
| Tue, 11 Nov 2008 15:12:24 -0500 |
Adam Chlipala |
Get preliminary ThreadedBlog working |
| Sun, 09 Nov 2008 16:54:42 -0500 |
Adam Chlipala |
Defunctionalization gets CommentBlog working |
| 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 10:33:58 -0500 |
Adam Chlipala |
Resolve all tag named in [Basis]; deal with C compilation failure without leaving /tmp files |
| Thu, 06 Nov 2008 09:47:16 -0500 |
Adam Chlipala |
Request header reading works |
| Sat, 01 Nov 2008 21:24:43 -0400 |
Adam Chlipala |
Nested save compiles |
| Sat, 01 Nov 2008 15:58:55 -0400 |
Adam Chlipala |
First Unnest tests working |
| Thu, 30 Oct 2008 16:58:54 -0400 |
Adam Chlipala |
Especialize |
| Tue, 28 Oct 2008 15:05:16 -0400 |
Adam Chlipala |
GCCARGS configure option |
| Sun, 26 Oct 2008 08:41:17 -0400 |
Adam Chlipala |
Avoid using libpq when unneeded |
| Thu, 23 Oct 2008 11:38:31 -0400 |
adamc |
Add newline at end of file |
| Tue, 21 Oct 2008 16:41:11 -0400 |
Adam Chlipala |
New implicit argument handling |
| Tue, 21 Oct 2008 13:24:54 -0400 |
Adam Chlipala |
Simple listShop working |
| Tue, 21 Oct 2008 10:40:22 -0400 |
Adam Chlipala |
num_float |
| Sun, 19 Oct 2008 15:47:47 -0400 |
Adam Chlipala |
Support for URL prefixes that works with local demo |
| Sun, 19 Oct 2008 12:47:10 -0400 |
Adam Chlipala |
Proper configuration and installation |
| Sun, 19 Oct 2008 12:12:59 -0400 |
Adam Chlipala |
Proper generation of relation names; checking that sequences exist |
| Sat, 04 Oct 2008 15:54:03 -0400 |
Adam Chlipala |
Small clean-ups in crud; Compiler.check |
| Thu, 11 Sep 2008 17:41:52 -0400 |
Adam Chlipala |
Crud listing IDs |
| Thu, 11 Sep 2008 10:34:47 -0400 |
Adam Chlipala |
Fix memory bounds checks; specialization of multi-argument polymorphic function works |
| Thu, 11 Sep 2008 09:36:47 -0400 |
Adam Chlipala |
Unpoly non-recursive function |
| Tue, 09 Sep 2008 11:46:33 -0400 |
Adam Chlipala |
Termination checking |
| Sun, 07 Sep 2008 13:29:01 -0400 |
Adam Chlipala |
pquery working with all four types of columns |
| Sun, 07 Sep 2008 10:52:51 -0400 |
Adam Chlipala |
Ask GCC to strip executables |
| Sun, 07 Sep 2008 09:28:13 -0400 |
Adam Chlipala |
Ran a prepared statement with one string parameter |
| Tue, 02 Sep 2008 17:31:45 -0400 |
Adam Chlipala |
Compiling a parametrized query the inefficient way |
| Tue, 02 Sep 2008 13:44:54 -0400 |
Adam Chlipala |
Generating SQL files |
| Tue, 02 Sep 2008 11:57:25 -0400 |
Adam Chlipala |
Initializing database connection |
| Tue, 02 Sep 2008 10:51:41 -0400 |
Adam Chlipala |
'database' declaration threaded through compiler |
| Tue, 02 Sep 2008 10:31:16 -0400 |
Adam Chlipala |
Parsing jobs |
| Sun, 31 Aug 2008 16:54:13 -0400 |
Adam Chlipala |
Monoize ASC/DESC |
| Sun, 31 Aug 2008 15:32:31 -0400 |
Adam Chlipala |
Avoid unnecessary WHERE clause |
| Sun, 31 Aug 2008 08:32:18 -0400 |
Adam Chlipala |
Laconic -> Ur |
| Tue, 12 Aug 2008 14:55:05 -0400 |
Adam Chlipala |
Finish moving all phases to the new interface |
| Tue, 12 Aug 2008 14:40:07 -0400 |
Adam Chlipala |
Consolidating compiler phase interface and adding timing |
| Fri, 08 Aug 2008 17:55:51 -0400 |
Adam Chlipala |
Specialization of single-parameter datatypes |
| Sun, 03 Aug 2008 18:53:20 -0400 |
Adam Chlipala |
bool in Basis |
| Sun, 03 Aug 2008 13:30:27 -0400 |
Adam Chlipala |
Optimizing 'case' in Mono_reduce |
| Tue, 29 Jul 2008 13:16:21 -0400 |
Adam Chlipala |
Datatypes through corify |
| Sat, 19 Jul 2008 18:56:57 -0400 |
Adam Chlipala |
Change driver to use Pthreads |
| Thu, 17 Jul 2008 13:33:56 -0400 |
Adam Chlipala |
Proper escaping of cdata |
| Thu, 17 Jul 2008 13:12:16 -0400 |
Adam Chlipala |
MonoShake |
| Thu, 17 Jul 2008 12:59:52 -0400 |
Adam Chlipala |
MonoReduce |
| Thu, 17 Jul 2008 12:40:21 -0400 |
Adam Chlipala |
Proper topological sorting in untangle |
| Thu, 17 Jul 2008 12:19:44 -0400 |
Adam Chlipala |
Untangle |
| Sun, 13 Jul 2008 12:51:58 -0400 |
Adam Chlipala |
Print a message on Laconic compilation failure |
| Sun, 13 Jul 2008 12:47:54 -0400 |
Adam Chlipala |
Turn on gcc -O3 |
| Sun, 13 Jul 2008 11:43:57 -0400 |
Adam Chlipala |
Starting with closure links |
| Sun, 13 Jul 2008 10:17:06 -0400 |
Adam Chlipala |
Remove closure conversion in favor of zany fun with modules, which also replaces 'page' |
| Thu, 10 Jul 2008 14:02:54 -0400 |
Adam Chlipala |
Writing HTML |
| Thu, 03 Jul 2008 18:06:52 -0400 |
Adam Chlipala |
Mono optimizations (start with string concat and space eating) |
| Sun, 22 Jun 2008 14:23:05 -0400 |
Adam Chlipala |
Separate compilation and automatic basis importation |
| Sun, 22 Jun 2008 11:04:10 -0400 |
Adam Chlipala |
Parsing signature files |
| Thu, 19 Jun 2008 12:39:22 -0400 |
Adam Chlipala |
Corify removes modules |
