2008-08-28 |
Adam Chlipala |
Shorthand for multi-binding exp 'fn' |
2008-08-28 |
Adam Chlipala |
Shorthand for multi-binding con declaration |
2008-08-28 |
Adam Chlipala |
Shorthand for multi-binding con 'fn' |
2008-08-28 |
Adam Chlipala |
Checking for well-formed 'val rec' |
2008-08-28 |
Adam Chlipala |
Tested aggregate functions with GROUP BY |
2008-08-28 |
Adam Chlipala |
More aggregate functions |
2008-08-28 |
Adam Chlipala |
COUNT |
2008-08-28 |
Adam Chlipala |
SELECTed expressions in ORDER BY |
2008-08-28 |
Adam Chlipala |
SELECTing arbitrary expressions |
2008-08-21 |
Adam Chlipala |
OFFSET |
2008-08-21 |
Adam Chlipala |
LIMIT |
2008-08-21 |
Adam Chlipala |
ORDER BY |
2008-08-21 |
Adam Chlipala |
Relational operators; string literals for SQL |
2008-08-21 |
Adam Chlipala |
Resolving lingering type class constraints |
2008-08-21 |
Adam Chlipala |
GROUP BY and HAVING |
2008-08-21 |
Adam Chlipala |
Basic GROUP BY |
2008-08-21 |
Adam Chlipala |
Change [sql_field] type to get 'where' test to check again |
2008-08-21 |
Adam Chlipala |
GROUP BY added to query type, with trivial parsing, for now |
2008-08-21 |
Adam Chlipala |
Queries back to working as well as before, after start of refactoring to support grouping |
2008-08-16 |
Adam Chlipala |
Integer and float constants in SQL |
2008-08-16 |
Adam Chlipala |
Fields in SQL expressions |
2008-08-16 |
Adam Chlipala |
SQL boolean operators |
2008-08-16 |
Adam Chlipala |
SQL comparison operators |
2008-08-16 |
Adam Chlipala |
Signature ascription for type classes |
2008-08-16 |
Adam Chlipala |
Fun with type classes and modules |
2008-08-16 |
Adam Chlipala |
Looking up in a type class from a module |
2008-08-16 |
Adam Chlipala |
Compiling a con-tuple-using test case |
2008-08-16 |
Adam Chlipala |
Corifying con-tuples |
2008-08-16 |
Adam Chlipala |
Explifying type classes |
2008-08-16 |
Adam Chlipala |
Testing type-class-parameterized functions |
2008-08-16 |
Adam Chlipala |
Initial type class support |
2008-08-16 |
Adam Chlipala |
Inferring sql_type's |
2008-08-16 |
Adam Chlipala |
Stub WHERE support |
2008-08-16 |
Adam Chlipala |
-timing option for command-line compiler |
2008-08-14 |
Adam Chlipala |
Non-star SELECT |
2008-08-14 |
Adam Chlipala |
Remove extraneous disjointness goal |
2008-08-14 |
Adam Chlipala |
Elaborating 'SELECT *' queries |
2008-08-14 |
Adam Chlipala |
Parsing the simplest SQL query |
2008-08-14 |
Adam Chlipala |
Parsing and elaborating 'table' |
2008-08-12 |
Adam Chlipala |
Finish moving all phases to the new interface |
2008-08-12 |
Adam Chlipala |
Consolidating compiler phase interface and adding timing |
2008-08-10 |
Adam Chlipala |
Urlifying records |
2008-08-09 |
Adam Chlipala |
strings get 'Option' datatype handling; fix datatype unurlifying |
2008-08-09 |
Adam Chlipala |
'Option' datatype encoding |
2008-08-09 |
Adam Chlipala |
Re-consistent-ify naming of union members |
2008-08-09 |
Adam Chlipala |
Lists all the way through |
2008-08-09 |
Adam Chlipala |
Tuples syntactic sugar |
2008-08-09 |
Adam Chlipala |
A multi-parameter datatype all the way through |
2008-08-08 |
Adam Chlipala |
Specialization of single-parameter datatypes |
2008-08-08 |
Adam Chlipala |
Parametrized datatypes through corify |
2008-08-08 |
Adam Chlipala |
Parametrized datatypes through explify |
2008-08-07 |
Adam Chlipala |
Checkboxes |
2008-08-03 |
Adam Chlipala |
Update bool to follow datatype representation change |
2008-08-03 |
Adam Chlipala |
Datatype representation optimization |
2008-08-03 |
Adam Chlipala |
Mono_opt for urlifying bools |
2008-08-03 |
Adam Chlipala |
bool in Basis |
2008-08-03 |
Adam Chlipala |
FFI datatypes |
2008-08-03 |
Adam Chlipala |
Push write inside case |
2008-08-03 |
Adam Chlipala |
Optimizing 'case' in Mono_reduce |
2008-08-03 |
Adam Chlipala |
Compiled pattern matching to C |