log
graph
tags
bookmarks
branches
changeset
browse
file
diff
comparison
annotate
file log
raw
help
Mercurial
>
urweb
log lib/ur/list.urs
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
|
(0)
tip
age
author
description
2011-12-11
Adam Chlipala
Some new List functions, based on code by Ron de Bruijn
2011-08-21
Adam Chlipala
Fix another list unurlification segfault bug; List.foldlMi
2011-08-15
Adam Chlipala
List.mapXi
2011-07-24
Adam Chlipala
List.find
2011-06-27
Robin Green
recToList
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-16
Adam Chlipala
Fiddly tweaks
2010-11-21
Adam Chlipala
Fix a bug in C list unurlification
2010-11-20
Adam Chlipala
queryL1 and List.sort
2010-06-13
Adam Chlipala
List.mapi
2010-03-25
Adam Chlipala
Subquery expressions
2009-12-31
Adam Chlipala
Eta-expand bodies of transaction functions in Monoization, to enable later optimization
2009-12-05
Adam Chlipala
Represent FFI function names as strings, to deal with cross-file recursion
2009-09-08
Adam Chlipala
dragList almost kinda works
2009-08-22
Adam Chlipala
Convert to requiring explicit 'rpc' marker
2009-06-16
Adam Chlipala
Fix a variable capture bug in nested JavaScript; some more list stuff
2009-06-09
Adam Chlipala
Some standard library reorgs and additions; handle mutual datatypes better in Specialize
2009-06-09
Adam Chlipala
Mark current as effectful; add List functions
2009-06-07
Adam Chlipala
Fix datatype import bug in Elaborate; fix server-side source setting; more standard library stuff
2009-06-07
Adam Chlipala
List.all; fix ANDALSO/ORELSE parsing precedence
2009-06-06
Adam Chlipala
Fix unbound name problem in Jscomp injectors; more List stuff
2009-06-06
Adam Chlipala
List library additions; fix another substructure unification bug
2009-05-30
Adam Chlipala
Defer pattern-matching exhaustiveness checks and normalize pattern types more thoroughly
2009-05-28
Adam Chlipala
fn-pattern code in but not tested yet; hello compiles
2009-05-26
Adam Chlipala
Chars and more string operations
2009-05-14
Adam Chlipala
Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering
2009-05-14
Adam Chlipala
Fix a nasty binding bug in CoreUtil
2009-05-14
Adam Chlipala
Improving/reordering Unpoly and Especialize; pathmaps
less
more
|
(0)
tip