Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Make summary unification more conservative; infer implicit arguments after ↵ | Adam Chlipala | 2009-12-26 |
| | | | | applications | ||
* | Initial generalization of Especialize, with security bug known | Adam Chlipala | 2009-12-15 |
| | |||
* | Convert to task syntax | Adam Chlipala | 2009-12-15 |
| | |||
* | Initializers and setval | Adam Chlipala | 2009-12-13 |
| | |||
* | Tweaking SQL parsing and typing | Adam Chlipala | 2009-12-13 |
| | |||
* | Basis.url and redirects | Adam Chlipala | 2009-12-10 |
| | |||
* | New release | Adam Chlipala | 2009-12-03 |
| | |||
* | More fun with cookies | Adam Chlipala | 2009-11-26 |
| | |||
* | New release | Adam Chlipala | 2009-11-24 |
| | |||
* | New release | Adam Chlipala | 2009-11-08 |
| | |||
* | Use call/cc for recv and sleep | Adam Chlipala | 2009-10-25 |
| | |||
* | RPC uses VM support for call/cc | Adam Chlipala | 2009-10-25 |
| | |||
* | New release | Adam Chlipala | 2009-10-12 |
| | |||
* | Put right date stamp in CHANGELOG | Adam Chlipala | 2009-10-09 |
| | |||
* | New release | Adam Chlipala | 2009-10-09 |
| | |||
* | Initial versioned1 demo working | Adam Chlipala | 2009-10-06 |
| | |||
* | Basic CRUD operations in Orm | Adam Chlipala | 2009-10-05 |
| | |||
* | New release | Adam Chlipala | 2009-09-26 |
| | |||
* | New release | Adam Chlipala | 2009-09-19 |
| | |||
* | New release | Adam Chlipala | 2009-09-12 |
| | |||
* | New release | Adam Chlipala | 2009-08-25 |
| | |||
* | FFI manual section | Adam Chlipala | 2009-07-18 |
| | |||
* | New release | Adam Chlipala | 2009-06-23 |
| | |||
* | Tag CHANGELOG with release date | Adam Chlipala | 2009-05-05 |
| | |||
* | Runtime URL and MIME type filtering | Adam Chlipala | 2009-05-02 |
| | |||
* | Path rewriting | Adam Chlipala | 2009-05-02 |
| | |||
* | Subforms | Adam Chlipala | 2009-04-28 |
| | |||
* | Views in CHANGELOG | Adam Chlipala | 2009-04-28 |
| | |||
* | Outer joins in CHANGELOG | Adam Chlipala | 2009-04-28 |
| | |||
* | Blobs in CHANGELOG | Adam Chlipala | 2009-04-26 |
| | |||
* | Cookie signatures for RPCs | Adam Chlipala | 2009-04-23 |
| | |||
* | URLs | Adam Chlipala | 2009-04-09 |
| | |||
* | Update CHANGELOG | Adam Chlipala | 2009-04-09 |
| | |||
* | CHANGELOG before release | Adam Chlipala | 2009-04-05 |
| | |||
* | Mention src/coq in CHANGELOG | Adam Chlipala | 2009-03-12 |
| | |||
* | Update CHANGELOG | Adam Chlipala | 2009-03-12 |
| | |||
* | Prepare to release | Adam Chlipala | 2008-12-09 |
| | |||
* | Start of manual | Adam Chlipala | 2008-11-27 |
| | |||
* | Note optimizations in changelog | Adam Chlipala | 2008-11-27 |
| | |||
* | Fusing writes with recursive function calls | Adam Chlipala | 2008-11-25 |
| | |||
* | Update CHANGELOG for 20081120 | Adam Chlipala | 2008-11-20 |
| | |||
* | Tag CHANGELOG with release number | Adam Chlipala | 2008-11-18 |
| | |||
* | Mention Especialize in CHANGELOG | Adam Chlipala | 2008-11-18 |
| | |||
* | Inserted a NULL value | Adam Chlipala | 2008-11-06 |
| | |||
* | GCCARGS configure option | Adam Chlipala | 2008-10-28 |
| | |||
* | Remove need for '() <-' notation | Adam Chlipala | 2008-10-27 |
| | |||
* | Switch exit(1) call to uw_error() | Adam Chlipala | 2008-10-27 |