index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
Commit message (
Collapse
)
Author
Age
*
Resolving lingering type class constraints
Adam Chlipala
2008-08-21
|
*
GROUP BY and HAVING
Adam Chlipala
2008-08-21
|
*
Basic GROUP BY
Adam Chlipala
2008-08-21
|
*
Change [sql_field] type to get 'where' test to check again
Adam Chlipala
2008-08-21
|
*
GROUP BY added to query type, with trivial parsing, for now
Adam Chlipala
2008-08-21
|
*
Queries back to working as well as before, after start of refactoring to ↵
Adam Chlipala
2008-08-21
|
|
|
|
support grouping
*
Integer and float constants in SQL
Adam Chlipala
2008-08-16
|
*
Fields in SQL expressions
Adam Chlipala
2008-08-16
|
*
SQL boolean operators
Adam Chlipala
2008-08-16
|
*
SQL comparison operators
Adam Chlipala
2008-08-16
|
*
Signature ascription for type classes
Adam Chlipala
2008-08-16
|
*
Fun with type classes and modules
Adam Chlipala
2008-08-16
|
*
Looking up in a type class from a module
Adam Chlipala
2008-08-16
|
*
Compiling a con-tuple-using test case
Adam Chlipala
2008-08-16
|
*
Corifying con-tuples
Adam Chlipala
2008-08-16
|
*
Explifying type classes
Adam Chlipala
2008-08-16
|
*
Testing type-class-parameterized functions
Adam Chlipala
2008-08-16
|
*
Initial type class support
Adam Chlipala
2008-08-16
|
*
Inferring sql_type's
Adam Chlipala
2008-08-16
|
*
Stub WHERE support
Adam Chlipala
2008-08-16
|
*
-timing option for command-line compiler
Adam Chlipala
2008-08-16
|
*
Non-star SELECT
Adam Chlipala
2008-08-14
|
*
Remove extraneous disjointness goal
Adam Chlipala
2008-08-14
|
*
Elaborating 'SELECT *' queries
Adam Chlipala
2008-08-14
|
*
Parsing the simplest SQL query
Adam Chlipala
2008-08-14
|
*
Parsing and elaborating 'table'
Adam Chlipala
2008-08-14
|
*
Finish moving all phases to the new interface
Adam Chlipala
2008-08-12
|
*
Consolidating compiler phase interface and adding timing
Adam Chlipala
2008-08-12
|
*
Urlifying records
Adam Chlipala
2008-08-09
|
*
strings get 'Option' datatype handling; fix datatype unurlifying
Adam Chlipala
2008-08-09
|
*
'Option' datatype encoding
Adam Chlipala
2008-08-09
|
*
Re-consistent-ify naming of union members
Adam Chlipala
2008-08-09
|
*
Lists all the way through
Adam Chlipala
2008-08-09
|
*
Tuples syntactic sugar
Adam Chlipala
2008-08-09
|
*
A multi-parameter datatype all the way through
Adam Chlipala
2008-08-09
|
*
Specialization of single-parameter datatypes
Adam Chlipala
2008-08-08
|
*
Parametrized datatypes through corify
Adam Chlipala
2008-08-08
|
*
Parametrized datatypes through explify
Adam Chlipala
2008-08-08
|
*
Checkboxes
Adam Chlipala
2008-08-07
|
*
Update bool to follow datatype representation change
Adam Chlipala
2008-08-03
|
*
Datatype representation optimization
Adam Chlipala
2008-08-03
|
*
Mono_opt for urlifying bools
Adam Chlipala
2008-08-03
|
*
bool in Basis
Adam Chlipala
2008-08-03
|
*
FFI datatypes
Adam Chlipala
2008-08-03
|
*
Push write inside case
Adam Chlipala
2008-08-03
|
*
Optimizing 'case' in Mono_reduce
Adam Chlipala
2008-08-03
|
*
Compiled pattern matching to C
Adam Chlipala
2008-08-03
|
*
Cjrize ECon
Adam Chlipala
2008-08-03
|
*
Cjrize EStrcat
Adam Chlipala
2008-08-03
|
*
Cases through monoize
Adam Chlipala
2008-08-03
|
[next]