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
*
Update Crud demo to use local functions
Adam Chlipala
2008-11-20
*
Extend prose about server .exes
Adam Chlipala
2008-11-18
*
Tag CHANGELOG with release number
Adam Chlipala
2008-11-18
*
Mention Especialize in CHANGELOG
Adam Chlipala
2008-11-18
*
Fix type calculation for applying-a-case optimization
Adam Chlipala
2008-11-11
*
Map distributivity rule in hnormCon
Adam Chlipala
2008-11-11
*
Add CutMulti
Adam Chlipala
2008-11-11
*
Handle nullary transaction pages; avoid marking up headers array when reading...
Adam Chlipala
2008-11-11
*
Fix demo regression
Adam Chlipala
2008-11-11
*
More ThreadedBlog progress
Adam Chlipala
2008-11-11
*
Ignore UseRel effects in [let] expansions
Adam Chlipala
2008-11-11
*
Get preliminary ThreadedBlog working
Adam Chlipala
2008-11-11
*
Get threadedBlog to work
Adam Chlipala
2008-11-11
*
Remove some allocation
Adam Chlipala
2008-11-09
*
Prevent overzealous Especialization
Adam Chlipala
2008-11-09
*
Defunctionalization gets CommentBlog working
Adam Chlipala
2008-11-09
*
Remove an extra line
Adam Chlipala
2008-11-09
*
Especialize working reasonably well; need to add new closure representation pass
Adam Chlipala
2008-11-09
*
Better detection of [let] substitution opportunities
Adam Chlipala
2008-11-08
*
Especialize handles records better
Adam Chlipala
2008-11-08
*
Broaden set of possible especializations
Adam Chlipala
2008-11-08
*
Some small changes while failing to write [restrict]
Adam Chlipala
2008-11-08
*
Add help text for generated web servers
Adam Chlipala
2008-11-08
*
Handle EError returning a function; handle multiple cookies in one input header
Adam Chlipala
2008-11-08
*
Fix parsing of last input header
Adam Chlipala
2008-11-08
*
[getCookie] reads cookie settings from current page generation
Adam Chlipala
2008-11-08
*
Resolve all tag named in [Basis]; deal with C compilation failure without lea...
Adam Chlipala
2008-11-08
*
Generated web servers use getopt()
Adam Chlipala
2008-11-08
*
Tree demo working (and other assorted regressions fixed)
Adam Chlipala
2008-11-06
*
Tree demo works
Adam Chlipala
2008-11-06
*
About to begin optimization of recursive transaction functions
Adam Chlipala
2008-11-06
*
Ensql'ing nullables
Adam Chlipala
2008-11-06
*
Inserted a NULL value
Adam Chlipala
2008-11-06
*
Cookies work across pages
Adam Chlipala
2008-11-06
*
Cookie prose; fix bugs that broke demo compilation
Adam Chlipala
2008-11-06
*
Cookie demo code; fix error message display
Adam Chlipala
2008-11-06
*
Reading cookies works
Adam Chlipala
2008-11-06
*
Setting a cookie
Adam Chlipala
2008-11-06
*
Cookies through shake2
Adam Chlipala
2008-11-06
*
Cookies through explify
Adam Chlipala
2008-11-06
*
Cookies through elaborate
Adam Chlipala
2008-11-06
*
Avoid allocating strings for requestHeader
Adam Chlipala
2008-11-06
*
Request header reading works
Adam Chlipala
2008-11-06
*
Monoizing FFI transactions correctly
Adam Chlipala
2008-11-06
*
Nested demo
Adam Chlipala
2008-11-04
*
Nested save compiles
Adam Chlipala
2008-11-01
*
Almost have that nested save function compiling
Adam Chlipala
2008-11-01
*
Fix some type-class detection
Adam Chlipala
2008-11-01
*
Remove empty writes
Adam Chlipala
2008-11-01
*
Wrapping works in Blog
Adam Chlipala
2008-11-01
[next]