log lib/ur/list.urs

age author description
2012-12-27 Adam Chlipala Add some name-mangling rules to allow XML attribute 'name' and attributes with dashes
2012-05-19 Adam Chlipala Some standard library additions from Edward Z. Yang
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