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
*
Improved inference of records of tuples
Adam Chlipala
2008-10-04
*
Use checkbox in CRUD example
Adam Chlipala
2008-10-04
*
Small clean-ups in crud; Compiler.check
Adam Chlipala
2008-10-04
*
Merge CDisjoint and TDisjoint
Adam Chlipala
2008-10-04
*
Force existence of bin and clib directories
Adam Chlipala
2008-09-18
*
Fix inexhaustive match
Adam Chlipala
2008-09-14
*
Crud completed
Adam Chlipala
2008-09-14
*
Crud update form
Adam Chlipala
2008-09-14
*
Push writes inside lets
Adam Chlipala
2008-09-14
*
Crud supports INSERT
Adam Chlipala
2008-09-14
*
SQL sequences
Adam Chlipala
2008-09-14
*
Deletion for Crud
Adam Chlipala
2008-09-13
*
Crud gets column headings
Adam Chlipala
2008-09-13
*
Name disjointness check changed to case insensitive
Adam Chlipala
2008-09-13
*
queryX
Adam Chlipala
2008-09-13
*
Change prefix.cm to work with latest smlnj Debian package
Adam Chlipala
2008-09-13
*
foldTRX2
Adam Chlipala
2008-09-13
*
Optimize immediate writes of query results
Adam Chlipala
2008-09-13
*
Remove unneeded 'rec' in Reduce
Adam Chlipala
2008-09-13
*
foldTR2
Adam Chlipala
2008-09-13
*
Fixed a mind-numbing De Bruijn bug
Adam Chlipala
2008-09-11
*
Fix bug in subsignature check for con synonyms
Adam Chlipala
2008-09-11
*
Crud list works
Adam Chlipala
2008-09-11
*
Crud listing IDs
Adam Chlipala
2008-09-11
*
More opportunities to use regions and lack of string copying
Adam Chlipala
2008-09-11
*
Region memory allocation for query parameters
Adam Chlipala
2008-09-11
*
Improve detection of opportunities for prepared statements with bool parameters
Adam Chlipala
2008-09-11
*
Fix memory management bug
Adam Chlipala
2008-09-11
*
Expand scope of base type conversion coalesce optimizations
Adam Chlipala
2008-09-11
*
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 'delete'
Adam Chlipala
2008-09-07
*
Elaborated 'update'
Adam Chlipala
2008-09-07
*
Elaborated 'insert'
Adam Chlipala
2008-09-07
[next]