log
graph
tags
bookmarks
branches
changeset
browse
file
diff
comparison
annotate
file log
raw
help
Mercurial
>
urweb
log lib/ur/top.ur
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
|
(0)
-30
tip
age
author
description
2011-01-20
Adam Chlipala
Fix the two functions I just added
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-28
Adam Chlipala
fn-pattern code in but not tested yet; hello compiles
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
less
more
|
(0)
-30
tip