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 (
Collapse
)
Author
Age
*
Finish documenting queries; remove a stray [unit] argument
Adam Chlipala
2008-12-07
|
*
Avoid Especializing polymorphic code
Adam Chlipala
2008-11-27
|
*
Ditch use of ElabEnv.env in Especialize, to realize big speed-up
Adam Chlipala
2008-11-27
|
*
Untangle and shake within Especialize loop
Adam Chlipala
2008-11-27
|
*
Optimize CoreUntangle
Adam Chlipala
2008-11-27
|
*
Remove some isUnitCon cases
Adam Chlipala
2008-11-27
|
*
Catch another unneeded lift in ElabEnv.pushCRel
Adam Chlipala
2008-11-27
|
*
Optimized ElabOps.subConInCon
Adam Chlipala
2008-11-27
|
*
Stop using redundant Defunc pass
Adam Chlipala
2008-11-27
|
*
Remove unnecessary lifts in ElabEnv.pushCRel
Adam Chlipala
2008-11-27
|
*
Remove unnecessary [kindof] calls
Adam Chlipala
2008-11-27
|
*
Port Reduce improvements to ReduceLocal
Adam Chlipala
2008-11-26
|
*
crud1 compiles with new Reduce
Adam Chlipala
2008-11-26
|
*
Fix environments for repeat visits for exp reduction
Adam Chlipala
2008-11-26
|
*
Most exp rules for new Reduce
Adam Chlipala
2008-11-26
|
*
Start of new Reduce
Adam Chlipala
2008-11-26
|
*
Fusing writes with recursive function calls
Adam Chlipala
2008-11-25
|
*
Ignore SIGPIPE
Adam Chlipala
2008-11-23
|
*
Profiling support
Adam Chlipala
2008-11-20
|
*
Some demo improvements
Adam Chlipala
2008-11-20
|
*
Fix missing initial <html> after restarts
Adam Chlipala
2008-11-20
|
*
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 ↵
Adam Chlipala
2008-11-11
|
|
|
|
reading cookies
*
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 ↵
Adam Chlipala
2008-11-08
|
|
|
|
leaving /tmp files
*
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
|
[next]