log lib/ur/top.urs

age author description
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