Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Functions working with interpretation | Adam Chlipala | 2009-09-22 |
| | |||
* | Basic arithmetic working with interpretation | Adam Chlipala | 2009-09-22 |
| | |||
* | Don't try to check if functions are already tail-recursive | Adam Chlipala | 2009-09-17 |
| | |||
* | Basic tail recursion introduction seems to be working | Adam Chlipala | 2009-09-17 |
| | |||
* | Be careful in Jscomp to avoid interpreting non-boolean/reference types as ↵ | Adam Chlipala | 2009-08-11 |
| | | | | booleans with ?: | ||
* | Fix type class resolution infinite loop, discovered while meeting with Ezra | Adam Chlipala | 2009-08-06 |
| | |||
* | <dyn> inside <tr> | Adam Chlipala | 2009-08-06 |
| | |||
* | dtable example and demos both working | Adam Chlipala | 2009-08-06 |
| | |||
* | Key events get key code input | Adam Chlipala | 2009-07-18 |
| | |||
* | Testing new events | Adam Chlipala | 2009-07-18 |
| | |||
* | Blobs tested in MySQL and SQLite | Adam Chlipala | 2009-07-18 |
| | |||
* | Testing nested queries | Adam Chlipala | 2009-07-17 |
| | |||
* | Fix a bug in type class enrichment from substructures | Adam Chlipala | 2009-06-16 |
| | |||
* | <dyn> inside <table>; fix Specialize bug with datatype decls generating ↵ | Adam Chlipala | 2009-06-13 |
| | | | | other mutually-recursive datatype decls | ||
* | Substring functions; fix a nasty MonoReduce pattern match substitution bug | Adam Chlipala | 2009-05-30 |
| | |||
* | Chars and more string operations | Adam Chlipala | 2009-05-26 |
| | |||
* | Mutual datatypes through Effectize | Adam Chlipala | 2009-05-16 |
| | |||
* | Mutual datatypes through Elaborate | Adam Chlipala | 2009-05-16 |
| | |||
* | cselect.onchange | Adam Chlipala | 2009-05-14 |
| | |||
* | cselect | Adam Chlipala | 2009-05-14 |
| | |||
* | Fix a nasty binding bug in CoreUtil | Adam Chlipala | 2009-05-14 |
| | |||
* | Testing custom paths | Adam Chlipala | 2009-05-14 |
| | |||
* | Improving/reordering Unpoly and Especialize; pathmaps | Adam Chlipala | 2009-05-14 |
| | |||
* | 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 |
| | |||
* | 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 |
| | |||
* | 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 |
| |