debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	foldTR2	Adam Chlipala	2008-09-13
\|
*	Unpoly non-recursive function	Adam Chlipala	2008-09-11
\|
*	Termination checking	Adam Chlipala	2008-09-09
\|
*	Ran a prepared statement with one string parameter	Adam Chlipala	2008-09-07
\|
*	Laconic -> Ur	Adam Chlipala	2008-08-31
\|
*	Specialization of single-parameter datatypes	Adam Chlipala	2008-08-08
\|
*	MonoShake	Adam Chlipala	2008-07-17
\|
*	MonoReduce	Adam Chlipala	2008-07-17
\|
*	Untangle	Adam Chlipala	2008-07-17
\|
*	Starting with closure links	Adam Chlipala	2008-07-13
\|
*	Remove closure conversion in favor of zany fun with modules, which also ↵	Adam Chlipala	2008-07-13
\| \| \| \|	replaces 'page'
*	Fix dependency graph mismatch in sources	Adam Chlipala	2008-07-10
\|
*	Mono optimizations (start with string concat and space eating)	Adam Chlipala	2008-07-03
\|
*	Initial disjointness prover	Adam Chlipala	2008-07-01
\|
*	Factor some operations into ElabOps	Adam Chlipala	2008-07-01
\|
*	Explify	Adam Chlipala	2008-06-19
\|
*	Translation to Cjr	Adam Chlipala	2008-06-10
\|
*	Closure conversion	Adam Chlipala	2008-06-10
\|
*	Monoize	Adam Chlipala	2008-06-10
\|
*	Tree-shaking	Adam Chlipala	2008-06-08
\|
*	Some con reducing	Adam Chlipala	2008-06-08
\|
*	Conversion to Core	Adam Chlipala	2008-06-08
\|
*	Primitive type constants	Adam Chlipala	2008-06-08
\|
*	Lifting cons in ElabEnv	Adam Chlipala	2008-06-08
\|
*	Start of elaborating expressions	Adam Chlipala	2008-03-28
\|
*	Check for leftover kind unifs	Adam Chlipala	2008-01-26
\|
*	Elaborating files	Adam Chlipala	2008-01-26
\|
*	Rename Laconic* modules to Source*	Adam Chlipala	2008-01-26
\|
*	Elaborating cons and decls	Adam Chlipala	2008-01-26
\|
*	Start of elaboration	Adam Chlipala	2008-01-26
\|
*	Initial parsing and pretty-printing	Adam Chlipala	2008-01-26
\|
*	Initial skeleton	Adam Chlipala	2008-01-26