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 (
Expand
)
Author
Age
*
Improve linear-let optimization
Adam Chlipala
2008-09-11
*
Optimization removes linear let-bindings of impure expressions
Adam Chlipala
2008-09-11
*
Fix memory bounds checks; specialization of multi-argument polymorphic functi...
Adam Chlipala
2008-09-11
*
Unpolyed a polymorphic function of two arguments
Adam Chlipala
2008-09-11
*
Unpoly non-recursive function
Adam Chlipala
2008-09-11
*
Termination checking allows anything in links and actions
Adam Chlipala
2008-09-09
*
Termination checking
Adam Chlipala
2008-09-09
*
Datatype positivity check
Adam Chlipala
2008-09-09
*
Rename 'lw' prefixes to 'uw'
Adam Chlipala
2008-09-07
*
Automatically add table annotations in UPDATE and DELETE
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
*
Scratch that change....
Adam Chlipala
2008-09-07
*
Remove need to mention table name in expressions for UPDATE and DELETE
Adam Chlipala
2008-09-07
*
Parsing DELETE
Adam Chlipala
2008-09-07
*
Parsing UPDATE
Adam Chlipala
2008-09-07
*
Parsing INSERT
Adam Chlipala
2008-09-07
*
Elaborated 'update'
Adam Chlipala
2008-09-07
*
Elaborated 'insert'
Adam Chlipala
2008-09-07
*
pquery working with all four types of columns
Adam Chlipala
2008-09-07
*
Reading bools from SQL
Adam Chlipala
2008-09-07
*
Reading ints and floats from SQL
Adam Chlipala
2008-09-07
*
Error-parsing floats and bools
Adam Chlipala
2008-09-07
*
Error-parsing ints
Adam Chlipala
2008-09-07
*
'read' for strings
Adam Chlipala
2008-09-07
*
'read' type class
Adam Chlipala
2008-09-07
*
Parsing strings for floats and bools
Adam Chlipala
2008-09-07
*
Converting string to int
Adam Chlipala
2008-09-07
*
Ask GCC to strip executables
Adam Chlipala
2008-09-07
*
'show' type class; htmlification optimizations
Adam Chlipala
2008-09-07
*
toString for float and bool
Adam Chlipala
2008-09-07
*
intToString
Adam Chlipala
2008-09-07
*
'error' function
Adam Chlipala
2008-09-07
*
Ran a prepared statement with one string parameter
Adam Chlipala
2008-09-07
*
Change sqlify[int|float|string] to annotate with SQL types
Adam Chlipala
2008-09-04
*
Compiling a parametrized query the inefficient way
Adam Chlipala
2008-09-02
*
Update MLton main file
Adam Chlipala
2008-09-02
*
First query example working
Adam Chlipala
2008-09-02
*
First query execution (not retrieving results yet)
Adam Chlipala
2008-09-02
*
Switch base types to 64-bit versions
Adam Chlipala
2008-09-02
*
Validating schema of a live database
Adam Chlipala
2008-09-02
*
Generating SQL files
Adam Chlipala
2008-09-02
*
Table declarations pushed to Cjr
Adam Chlipala
2008-09-02
*
Initializing database connection
Adam Chlipala
2008-09-02
*
'database' declaration threaded through compiler
Adam Chlipala
2008-09-02
*
Parsing jobs
Adam Chlipala
2008-09-02
*
Cjrize query
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
[next]