Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Top.queryI1; fix definition of uw_Basis_minTime | 2010-12-24 | |
| | |||
* | [De]serialization of times in JavaScript; proper integer division in ↵ | 2010-12-23 | |
| | | | | JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types | ||
* | Recursive record unification errors, for more detail | 2010-12-23 | |
| | |||
* | Basis.cdataChar | 2010-12-21 | |
| | |||
* | Allow SQL aggregation over nullable types | 2010-12-21 | |
| | |||
* | Periodic tasks | 2010-12-18 | |
| | |||
* | Change tasks to support parametric code; add clientLeaves | 2010-12-18 | |
| | |||
* | postBody type | 2010-12-18 | |
| | |||
* | Fiddly tweaks | 2010-12-16 | |
| | |||
* | Moving Incl and Mem to Meta library | 2010-12-14 | |
| | |||
* | Fix a bug in C list unurlification | 2010-11-21 | |
| | |||
* | queryL1 and List.sort | 2010-11-20 | |
| | |||
* | Monad.appR3 | 2010-10-19 | |
| | |||
* | Monad.appR | 2010-10-19 | |
| | |||
* | Simplify type of Monad.appR2 | 2010-10-17 | |
| | |||
* | Tweaking unification fix to apply to demo/more | 2010-10-10 | |
| | |||
* | tryDml | 2010-09-05 | |
| | |||
* | Support multiple CSS classes for a single tag | 2010-09-05 | |
| | |||
* | Add 'title' attribute | 2010-09-04 | |
| | |||
* | Confirm boxes; proper event handler setting for ctags | 2010-08-22 | |
| | |||
* | Polymorphic variants | 2010-08-19 | |
| | |||
* | Roll back WHERE checking | 2010-07-27 | |
| | |||
* | equalAny policies | 2010-07-27 | |
| | |||
* | Initial version of equalKnown working for secret | 2010-07-27 | |
| | |||
* | List.mapi | 2010-06-13 | |
| | |||
* | More generous wildification, covering map-records | 2010-06-13 | |
| | |||
* | Some serious bug-fix work to get HTML example to compile; this includes ↵ | 2010-06-03 | |
| | | | | fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize | ||
* | Fix C-mangling of datatype names | 2010-05-16 | |
| | |||
* | Add rand to Basis and handle it in Iflow | 2010-04-29 | |
| | |||
* | 'also' policies and policy reduction; calendar in good shape | 2010-04-15 | |
| | |||
* | sendOwnIds policies | 2010-04-11 | |
| | |||
* | Update policies | 2010-04-11 | |
| | |||
* | Delete policies | 2010-04-11 | |
| | |||
* | Insert policies | 2010-04-11 | |
| | |||
* | Change query_policy to sendClient; all arguments passed to SQL predicates ↵ | 2010-04-08 | |
| | | | | are variables | ||
* | Introduced the known() predicate | 2010-04-06 | |
| | |||
* | Pushing policies through | 2010-04-04 | |
| | |||
* | Make SELECT FROM clauses optional | 2010-03-28 | |
| | |||
* | Subquery FROM items | 2010-03-25 | |
| | |||
* | Subquery expressions | 2010-03-25 | |
| | |||
* | COUNT(col) | 2010-03-16 | |
| | |||
* | Spiffed-up Split1; remove spurious error message triggered by 'open'ing a ↵ | 2010-03-09 | |
| | | | | module containing a functor | ||
* | Got split1 working, but noticed a nasty type inference bug with transplanted ↵ | 2010-03-06 | |
| | | | | unification variables | ||
* | Standard library moduls Incl and Mem; tweaks to Especialize and Unpoly | 2010-03-06 | |
| | |||
* | Louder jscomp; toUpper/Lower fix for JavaScript | 2010-03-04 | |
| | |||
* | Monad.foldMapR | 2010-03-02 | |
| | |||
* | String.isPrefix | 2010-03-02 | |
| | |||
* | Fix parsing of space-free .urp directives; use 'class' for 'c*' tags | 2010-02-28 | |
| | |||
* | Changing foldRX to mapX | 2010-02-28 | |
| | |||
* | Remove Basis.getRequestHeader, because it can subvert cookie security | 2010-02-13 | |
| |