2014-05-03 |
Adam Chlipala |
A .urs comment about [queryL*] |
2012-07-21 |
Adam Chlipala |
Top.postFields |
2012-06-03 |
Adam Chlipala |
Lighter-weight encoding of window function use |
2012-06-02 |
Adam Chlipala |
Track whether SQL expressions may use window functions, in preparation for actual window function support |
2011-12-29 |
Adam Chlipala |
Rename [Top.id] to avoid clash with [Basis.id] |
2011-06-28 |
Robin Green |
top.urs: More comments |
2011-03-11 |
Adam Chlipala |
Make 'ex' kind-generic |
2011-01-20 |
Adam Chlipala |
queryXI and queryX1I |
2011-01-15 |
Adam Chlipala |
Allow subqueries to reference aggregate-only columns of free tables; treat non-COUNT aggregate functions as possibly returning NULL |
2010-12-24 |
Adam Chlipala |
Top.queryI1; fix definition of uw_Basis_minTime |
2010-12-23 |
Adam Chlipala |
[De]serialization of times in JavaScript; proper integer division in JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types |
2010-11-20 |
Adam Chlipala |
queryL1 and List.sort |
2010-03-25 |
Adam Chlipala |
Subquery expressions |
2010-03-04 |
Adam Chlipala |
Louder jscomp; toUpper/Lower fix for JavaScript |
2010-02-28 |
Adam Chlipala |
Fix parsing of space-free .urp directives; use 'class' for 'c*' tags |
2010-02-28 |
Adam Chlipala |
Changing foldRX to mapX |
2010-01-02 |
Adam Chlipala |
Proper 404 generation |
2009-12-26 |
Adam Chlipala |
Make summary unification more conservative; infer implicit arguments after applications |
2009-12-22 |
Adam Chlipala |
Basis.sql_nullable and Top.queryL |
2009-12-15 |
Adam Chlipala |
Allow same constructor shorthand for 'view' sig items as for 'table' |
2009-12-13 |
Adam Chlipala |
Fixing a bug in DInitializer elaboration |
2009-12-13 |
Adam Chlipala |
Weakening-type coercions for SQL values |
2009-12-10 |
Adam Chlipala |
Make oneRowE1 more general |
2009-11-07 |
Adam Chlipala |
Saving paper decisions |
2009-10-22 |
Adam Chlipala |
Checking deadline; sign-in |
2009-10-20 |
Adam Chlipala |
Start of user management |
2009-10-20 |
Adam Chlipala |
Registering for Conference1 |
2009-10-06 |
Adam Chlipala |
SELECT DISTINCT; eta expansion during Cjrization |
2009-09-15 |
Adam Chlipala |
Summary row with aggregates |
2009-08-25 |
Adam Chlipala |
grid1 compiles but gets stuck in JS |
2009-08-09 |
Adam Chlipala |
Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference |
2009-07-19 |
Adam Chlipala |
Working on Grid; have gone from one dynamic table bizareness to another |
2009-05-03 |
Adam Chlipala |
outer demo |
2009-04-12 |
Adam Chlipala |
Stop tracking CSS classes in XML types |
2009-04-12 |
Adam Chlipala |
hello compiles with CSS |
2009-04-05 |
Adam Chlipala |
Chat demo |
2009-03-29 |
Adam Chlipala |
Redo channels, making them single-client |
2009-03-12 |
Adam Chlipala |
Change location/type of [fold] to be more uniform w.r.t. derived folders |
2009-03-10 |
Adam Chlipala |
BatchG demo |
2009-03-10 |
Adam Chlipala |
Avoid any JavaScript when pages don't need it; update demo prose |
2009-02-26 |
Adam Chlipala |
Kind-polymorphic [fst] and friends |
2009-02-24 |
Adam Chlipala |
Demos compile again, with manual folders |
2009-02-24 |
Adam Chlipala |
Make folders abstract |
2009-02-24 |
Adam Chlipala |
Top.Fold.mp |
2009-02-24 |
Adam Chlipala |
Top.Fold.concat elaborates |
2009-02-24 |
Adam Chlipala |
Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses |
2009-02-22 |
Adam Chlipala |
demo/sum working with manual folders |
2009-02-22 |
Adam Chlipala |
Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top |
2009-02-21 |
Adam Chlipala |
"Hello world" compiles, after replacing type-level fold with map |
2009-01-13 |
Adam Chlipala |
Combine lib* directories
base
lib/top.urs@5f211c17e736
|