index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Monoize COUNT(*)
Adam Chlipala
2008-08-31
*
Monoize unops
Adam Chlipala
2008-08-31
*
Monoize OFFSET
Adam Chlipala
2008-08-31
*
Monoize LIMIT
Adam Chlipala
2008-08-31
*
Monoize ORDER BY
Adam Chlipala
2008-08-31
*
Monoize relops
Adam Chlipala
2008-08-31
*
Monoize HAVING
Adam Chlipala
2008-08-31
*
Avoid unnecessary WHERE clause
Adam Chlipala
2008-08-31
*
Add 'ne' to 'eq' type class
Adam Chlipala
2008-08-31
*
'eq' type class
Adam Chlipala
2008-08-31
*
Monoized GROUP BY
Adam Chlipala
2008-08-31
*
Monoized binary operators
Adam Chlipala
2008-08-31
*
Monoized a WHERE clause with a comparison
Adam Chlipala
2008-08-31
*
Monoized and optimized initial query test
Adam Chlipala
2008-08-31
*
Monoize transaction identifiers; improve disjointness prover on irreducible f...
Adam Chlipala
2008-08-31
*
Fix Core con comparison
Adam Chlipala
2008-08-31
*
Corify transaction wrappers
Adam Chlipala
2008-08-31
*
Fix shaking of tables
Adam Chlipala
2008-08-31
*
Corify tables
Adam Chlipala
2008-08-31
*
Explify tables
Adam Chlipala
2008-08-31
*
Rename lacweb.c
Adam Chlipala
2008-08-31
*
Laconic -> Ur
Adam Chlipala
2008-08-31
*
Transactions and queries, at source level
Adam Chlipala
2008-08-28
*
Shorthand for multi-binding exp declaration
Adam Chlipala
2008-08-28
*
Shorthand for multi-binding exp 'fn'
Adam Chlipala
2008-08-28
*
Shorthand for multi-binding con declaration
Adam Chlipala
2008-08-28
*
Shorthand for multi-binding con 'fn'
Adam Chlipala
2008-08-28
*
Checking for well-formed 'val rec'
Adam Chlipala
2008-08-28
*
Tested aggregate functions with GROUP BY
Adam Chlipala
2008-08-28
*
More aggregate functions
Adam Chlipala
2008-08-28
*
COUNT
Adam Chlipala
2008-08-28
*
SELECTed expressions in ORDER BY
Adam Chlipala
2008-08-28
*
SELECTing arbitrary expressions
Adam Chlipala
2008-08-28
*
OFFSET
Adam Chlipala
2008-08-21
*
LIMIT
Adam Chlipala
2008-08-21
*
ORDER BY
Adam Chlipala
2008-08-21
*
Relational operators; string literals for SQL
Adam Chlipala
2008-08-21
*
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 supp...
Adam Chlipala
2008-08-21
*
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
[next]