| Sat, 31 May 2014 03:08:16 -0400 |
Ziv Scully |
Cleans up interface (it's now a command line option) and renames project to "sqlcache" in the all-one-word style. Still has issues to do with concurrency, retrying transactions, and foreign function calls that either rely on state or have side effects. |
| Tue, 25 Mar 2014 02:04:06 -0400 |
Ziv Scully |
ML half of initial prototype. (Doesn't compile because there's no C yet.) |
| Sat, 08 Mar 2014 05:06:22 -0500 |
Ziv Scully |
Identifies tables read or touched by queries. |
| Sun, 17 Aug 2014 13:07:56 -0400 |
Adam Chlipala |
New phase: Dbmodecheck |
| Sun, 19 Jan 2014 13:08:01 -0500 |
Adam Chlipala |
New compiler option: -stop |
| Sat, 15 Jun 2013 08:18:47 -0400 |
Adam Chlipala |
Add Sigcheck phase to avoid issues with signatures in global initializers |
| Fri, 15 Mar 2013 16:09:55 -0400 |
Adam Chlipala |
Make Scriptcheck catch more script/message-passing uses, and move the phase earlier in compilation |
| Thu, 02 Aug 2012 18:12:37 -0400 |
Adam Chlipala |
New NameJs phase, still needing some debugging |
| Thu, 02 Aug 2012 16:33:25 -0400 |
Adam Chlipala |
Basis.getenv |
| Wed, 02 May 2012 17:17:57 -0400 |
Edward Z. Yang |
Add support for -boot flag, which allows in-tree execution of Ur/Web |
| Sun, 22 Apr 2012 10:57:22 -0400 |
Adam Chlipala |
'linker' .urp directive |
| Thu, 12 Jan 2012 20:37:39 -0500 |
Adam Chlipala |
-dumpSource flag; Especialize tweak: may specialize any argument sequence ending in a value of function-containing type |
| Mon, 14 Nov 2011 09:15:10 -0500 |
Adam Chlipala |
Better error messages about server-side use of client-side functions |
| Mon, 15 Aug 2011 11:26:10 -0400 |
Adam Chlipala |
Compiler frees as much memory as possible before passing control to C compiler |
