2012-12-27 |
Adam Chlipala |
Add some name-mangling rules to allow XML attribute 'name' and attributes with dashes |
2012-06-03 |
Adam Chlipala |
Lighter-weight encoding of window function use |
2012-06-02 |
Adam Chlipala |
Compiled a window function use |
2012-05-04 |
Adam Chlipala |
Reinitialize lexer state properly |
2012-04-29 |
Adam Chlipala |
Initial support for reusing elaboration results |
2012-02-02 |
Adam Chlipala |
'ORDER BY RANDOM' (based on a patch from Ron de Bruijn) |
2011-11-23 |
Karn Kallio |
Add LIKE operator to SQL sublanguage. |
2011-11-19 |
Adam Chlipala |
COALESCE |
2011-11-05 |
Adam Chlipala |
Support the full set of XHTML character entities |
2011-11-05 |
Adam Chlipala |
Adjust for different ml-lex behavior between SML/NJ and MLton |
2011-10-14 |
Karn Kallio |
IF THEN ELSE conditional for SQL. |
2011-03-11 |
Adam Chlipala |
Cope with DOS-format line breaks in source code |
2010-12-24 |
Adam Chlipala |
JavaScript compilation of time comparison; fix lexing of XML that includes open parens |
2010-10-11 |
Adam Chlipala |
:::_ notation; switch to TooDeep error message |
2010-10-10 |
Adam Chlipala |
Flex kinds for type-level tuples; ::_ notation |
2010-09-16 |
Adam Chlipala |
Fix typing of cut operators; fix lexing of XML comments |
2010-08-10 |
Adam Chlipala |
Better UTF-8 escaping for JavaScript and SQL literals |
2010-08-10 |
Adam Chlipala |
HTML comments |
2010-08-10 |
Adam Chlipala |
ML-style comments inside XML |
2010-04-04 |
Adam Chlipala |
Pushing policies through |
2010-01-12 |
Adam Chlipala |
Allow escaped backslashes in literals; conversion betwixt int and char |
2009-12-29 |
Adam Chlipala |
Octal and hexidecimal string escapes |
2009-12-15 |
Adam Chlipala |
Convert to task syntax |
2009-12-13 |
Adam Chlipala |
Initializers and setval |
2009-12-13 |
Adam Chlipala |
Better record summary error messages; more tweaking SQL usability |
2009-12-12 |
Adam Chlipala |
Fix lexing of string literals in XML; treat EError as impure in MonoReduce |
2009-10-06 |
Adam Chlipala |
SELECT DISTINCT; eta expansion during Cjrization |
2009-06-07 |
Adam Chlipala |
&& and || |
2009-06-02 |
Adam Chlipala |
Lexing some more string escape sequences; JS versions of number read; fix problem with signature unification; escape < more often in Jscomp |
2009-05-26 |
Adam Chlipala |
Chars and more string operations |