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 |