debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
...
*	Shake bug fix; pattern reduction in ReduceLocal	Adam Chlipala	2009-12-08
\|
*	Context globals; ctype functions	Adam Chlipala	2009-12-08
\|
*	Represent FFI function names as strings, to deal with cross-file recursion	Adam Chlipala	2009-12-05
\|
*	Refactor compile functions; allow empty tag contents	Adam Chlipala	2009-11-25
\|
*	Exit code of 1 on compilation failure	Adam Chlipala	2009-11-25
\|
*	RPC uses VM support for call/cc	Adam Chlipala	2009-10-25
\|
*	Inlining threshold for Mono_reduce	Adam Chlipala	2009-10-25
\|
*	Grid changed to use Dlist.replace; filters stopped working	Adam Chlipala	2009-09-17
\|
*	Disable GCC inlining to stop goofy errors	Adam Chlipala	2009-09-17
\|
*	dragList almost kinda works	Adam Chlipala	2009-09-08
\|
*	New release	Adam Chlipala	2009-08-25
\|
*	grid1 compiles but gets stuck in JS	Adam Chlipala	2009-08-25
\|
*	Library improvements; proper list [un]urlification; remove server-side ↵	Adam Chlipala	2009-08-09
\| \| \| \|	ServerCalls; eta reduction in type inference
*	Working on Grid; have gone from one dynamic table bizareness to another	Adam Chlipala	2009-07-19
\|
*	More command-line options	Adam Chlipala	2009-07-18
\|
*	Demo working with MySQL	Adam Chlipala	2009-07-16
\|
*	Start of multi-DBMS support	Adam Chlipala	2009-06-28
\|
*	-debug from the command line	Adam Chlipala	2009-06-27
\|
*	Initial implementation of protocols in Settings	Adam Chlipala	2009-06-23
\|
*	Factor out common request functionality, in preparation for supporting ↵	Adam Chlipala	2009-06-23
\| \| \| \|	different protocols
*	Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; ↵	Adam Chlipala	2009-06-02
\| \| \| \|	Monad library module
*	Fix pathmap bug; expose lower-level heap manipulation from C	Adam Chlipala	2009-05-31
\|
*	Improving/reordering Unpoly and Especialize; pathmaps	Adam Chlipala	2009-05-14
\|
*	Improvements while working on Graftid	Adam Chlipala	2009-05-12
\|
*	allow/deny working in Mono_opt	Adam Chlipala	2009-05-02
\|
*	Path rewriting	Adam Chlipala	2009-05-02
\|
*	Add 'library' directive	Adam Chlipala	2009-05-02
\|
*	More FFI compiler options	Adam Chlipala	2009-05-02
\|
*	Successfully influenced effectful-ness status of FFI func	Adam Chlipala	2009-05-02
\|
*	C FFI compiler options	Adam Chlipala	2009-04-30
\|
*	Reading blobs from the database	Adam Chlipala	2009-04-26
\|
*	Cookie signing working for forms	Adam Chlipala	2009-04-16
\|
*	Effectness analysis	Adam Chlipala	2009-04-16
\|
*	Fix overzealous Marshalcheck; garbage-collect string-embedded closures when ↵	Adam Chlipala	2009-04-04
\| \| \| \|	no dyns are active
*	Marshalcheck	Adam Chlipala	2009-03-28
\|
*	Variable timeouts and client keep-alive	Adam Chlipala	2009-03-24
\|
*	Avoid any JavaScript when pages don't need it; update demo prose	Adam Chlipala	2009-03-10
\|
*	Conversion of functions to CPS, to facilitate ServerCall	Adam Chlipala	2009-03-08
\|
*	Turned off termination checking, for now	Adam Chlipala	2009-02-22
\|
*	Start of RPCification	Adam Chlipala	2009-02-14
\|
*	Initial experiments with nested <dyn>	Adam Chlipala	2009-01-13
\|
*	Handling singnal bind	Adam Chlipala	2008-12-21
\|
*	Start of JsComp	Adam Chlipala	2008-12-20
\|
*	Stop using redundant Defunc pass	Adam Chlipala	2008-11-27
\|
*	Fusing writes with recursive function calls	Adam Chlipala	2008-11-25
\|
*	Profiling support	Adam Chlipala	2008-11-20
\|
*	Get preliminary ThreadedBlog working	Adam Chlipala	2008-11-11
\|
*	Defunctionalization gets CommentBlog working	Adam Chlipala	2008-11-09
\|
*	Especialize working reasonably well; need to add new closure representation pass	Adam Chlipala	2008-11-09
\|
*	Resolve all tag named in [Basis]; deal with C compilation failure without ↵	Adam Chlipala	2008-11-08
\| \| \| \|	leaving /tmp files