Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Use Ur/Web library .mlb | Adam Chlipala | 2009-05-10 |
* | Make Effectize more precise | Adam Chlipala | 2009-05-05 |
* | cookieSec demo | Adam Chlipala | 2009-05-03 |
* | outer demo | Adam Chlipala | 2009-05-03 |
* | upload demo | Adam Chlipala | 2009-05-03 |
* | css demo | Adam Chlipala | 2009-05-03 |
* | url demo | Adam Chlipala | 2009-05-03 |
* | constraints demo | Adam Chlipala | 2009-05-03 |
* | Update FFI type of Basis.self | Adam Chlipala | 2009-05-02 |
* | FFI transactionals | Adam Chlipala | 2009-05-02 |
* | Runtime URL and MIME type filtering | Adam Chlipala | 2009-05-02 |
* | allow/deny working in Mono_opt | Adam Chlipala | 2009-05-02 |
* | Path rewriting | Adam Chlipala | 2009-05-02 |
* | Add 'library' directive | Adam Chlipala | 2009-05-02 |
* | More FFI compiler options | Adam Chlipala | 2009-05-02 |
* | Successfully influenced effectful-ness status of FFI func | Adam Chlipala | 2009-05-02 |
* | C FFI compiler options | Adam Chlipala | 2009-04-30 |
* | Lexing character entities | Adam Chlipala | 2009-04-30 |
* | List notations | Adam Chlipala | 2009-04-30 |
* | <input type='hidden'> | Adam Chlipala | 2009-04-30 |
* | Megaform test | Adam Chlipala | 2009-04-30 |
* | subforms working | Adam Chlipala | 2009-04-30 |
* | Subforms type-checks; lists urlified and unurlified | Adam Chlipala | 2009-04-30 |
* | Basis.list | Adam Chlipala | 2009-04-30 |
* | Subforms | Adam Chlipala | 2009-04-28 |
* | A view query works | Adam Chlipala | 2009-04-28 |
* | Preparing to allow views in SELECT FROM clauses | Adam Chlipala | 2009-04-28 |
* | RIGHT and FULL JOIN | Adam Chlipala | 2009-04-28 |
* | LEFT JOIN | Adam Chlipala | 2009-04-28 |
* | INNER JOIN | Adam Chlipala | 2009-04-28 |
* | Switch to using sql_from_items | Adam Chlipala | 2009-04-28 |
* | Extra checks on assumptions about SQL results | Adam Chlipala | 2009-04-26 |
* | sql_ufunc and octet_length | Adam Chlipala | 2009-04-26 |
* | blobSize | Adam Chlipala | 2009-04-26 |
* | Handling nullable blobs | Adam Chlipala | 2009-04-26 |
* | Reading blobs from the database | Adam Chlipala | 2009-04-26 |
* | Returning a blob as page result | Adam Chlipala | 2009-04-26 |
* | Add MIME type to file | Adam Chlipala | 2009-04-25 |
* | Only allow single-file upload per control | Adam Chlipala | 2009-04-25 |
* | Prepared statements with blobs | Adam Chlipala | 2009-04-25 |
* | Initial support for blobs and upload | Adam Chlipala | 2009-04-25 |
* | Cookie signatures for RPCs | Adam Chlipala | 2009-04-23 |
* | Only use cookie signatures when cookies might be read | Adam Chlipala | 2009-04-23 |
* | Cookie signing working for forms | Adam Chlipala | 2009-04-16 |
* | Effectness analysis | Adam Chlipala | 2009-04-16 |
* | Label exported symbols by effect-ness; factor out some common datatypes | Adam Chlipala | 2009-04-16 |
* | POST support | Adam Chlipala | 2009-04-16 |
* | Some client-side error handling | Adam Chlipala | 2009-04-16 |
* | Show XML | Adam Chlipala | 2009-04-16 |
* | onError | Adam Chlipala | 2009-04-16 |