Mercurial > urweb
log src/compiler.sig
| age | author | description |
|---|---|---|
| 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 |