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
/
monoize.sml
Commit message (
Expand
)
Author
Age
*
Crud listing IDs
Adam Chlipala
2008-09-11
*
Termination checking allows anything in links and actions
Adam Chlipala
2008-09-09
*
Rename 'lw' prefixes to 'uw'
Adam Chlipala
2008-09-07
*
First DELETE works
Adam Chlipala
2008-09-07
*
First UPDATE works
Adam Chlipala
2008-09-07
*
First INSERT works
Adam Chlipala
2008-09-07
*
pquery working with all four types of columns
Adam Chlipala
2008-09-07
*
Error-parsing ints
Adam Chlipala
2008-09-07
*
'read' type class
Adam Chlipala
2008-09-07
*
Converting string to int
Adam Chlipala
2008-09-07
*
'show' type class; htmlification optimizations
Adam Chlipala
2008-09-07
*
'error' function
Adam Chlipala
2008-09-07
*
First query execution (not retrieving results yet)
Adam Chlipala
2008-09-02
*
Generating SQL files
Adam Chlipala
2008-09-02
*
Table declarations pushed to Cjr
Adam Chlipala
2008-09-02
*
'database' declaration threaded through compiler
Adam Chlipala
2008-09-02
*
Monoize ASC/DESC
Adam Chlipala
2008-08-31
*
Changed EQuery not to use a function in its body
Adam Chlipala
2008-08-31
*
Monoize aggregates
Adam Chlipala
2008-08-31
*
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
*
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
*
Corify tables
Adam Chlipala
2008-08-31
*
Corifying con-tuples
Adam Chlipala
2008-08-16
*
Urlifying records
Adam Chlipala
2008-08-09
*
'Option' datatype encoding
Adam Chlipala
2008-08-09
*
Lists 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
*
Checkboxes
Adam Chlipala
2008-08-07
*
Datatype representation optimization
Adam Chlipala
2008-08-03
*
bool in Basis
Adam Chlipala
2008-08-03
*
FFI datatypes
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
*
Cases through monoize
Adam Chlipala
2008-08-03
*
First part of getting cases through monoize
Adam Chlipala
2008-08-03
*
Case through corify
Adam Chlipala
2008-08-02
*
Storing datatype constructors in type references past monoize
Adam Chlipala
2008-07-29
*
Unurlifying a datatype; longjmp-based error signaling mechanism
Adam Chlipala
2008-07-29
[next]