debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	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
\|
*	Cookies work across pages	Adam Chlipala	2008-11-06
\|
*	Cookie prose; fix bugs that broke demo compilation	Adam Chlipala	2008-11-06
\|