debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
...
*	-tc flag	Adam Chlipala	2009-12-24
\|
*	Don't relify in bigLibs; fix some memory bugs in transactionals	Adam Chlipala	2009-12-23
\|
*	Stop skipping Especialization of generated functions; fix Compiler.parseUrp; ↵	Adam Chlipala	2009-12-23
\| \| \| \|	expose uw_really_write(); allow more NULL arguments to uw_register_transactional()
*	Alternate job-parsing interface, to avoid merging library directives	Adam Chlipala	2009-12-22
\|
*	Basis.sql_nullable and Top.queryL	Adam Chlipala	2009-12-22
\|
*	Another try at reasonable Especialize, this time with a custom traversal	Adam Chlipala	2009-12-20
\|
*	Especialize uses a termination measure based on number of arguments introduced	Adam Chlipala	2009-12-15
\|
*	Fix new Especialize security bug: do not duplicate free variables as ↵	Adam Chlipala	2009-12-15
\| \| \| \|	specialized arguments
*	Initial generalization of Especialize, with security bug known	Adam Chlipala	2009-12-15
\|
*	Allow same constructor shorthand for 'view' sig items as for 'table'	Adam Chlipala	2009-12-15
\|
*	Convert to task syntax	Adam Chlipala	2009-12-15
\|
*	Fixing a bug in DInitializer elaboration	Adam Chlipala	2009-12-13
\|
*	Initializers and setval	Adam Chlipala	2009-12-13
\|
*	Weakening-type coercions for SQL values	Adam Chlipala	2009-12-13
\|
*	Better record summary error messages; more tweaking SQL usability	Adam Chlipala	2009-12-13
\|
*	Tweaking SQL parsing and typing	Adam Chlipala	2009-12-13
\|
*	Fix lexing of string literals in XML; treat EError as impure in MonoReduce	Adam Chlipala	2009-12-12
\|
*	Bug fixes in redirect-related stuff	Adam Chlipala	2009-12-10
\|
*	Basis.currentUrl, plus redirect debugging	Adam Chlipala	2009-12-10
\|
*	Basis.url and redirects	Adam Chlipala	2009-12-10
\|
*	Convert ctype is*() function results to booleans	Adam Chlipala	2009-12-08
\|
*	Shake bug fix; pattern reduction in ReduceLocal	Adam Chlipala	2009-12-08
\|
*	Context globals; ctype functions	Adam Chlipala	2009-12-08
\|
*	Fix a Shake bug that led to missing some cons	Adam Chlipala	2009-12-08
\|
*	Move to simpler HTML escaping	Adam Chlipala	2009-12-08
\|
*	Recursive hnormSgn for projections of signatures from modules	Adam Chlipala	2009-12-05
\|
*	Represent FFI function names as strings, to deal with cross-file recursion	Adam Chlipala	2009-12-05
\|
*	Merge	Adam Chlipala	2009-12-03
\|\
* \|	UTF-8 in dynamic escaping	Adam Chlipala	2009-12-03
\| \|
* \|	Escaping UTF-8 in MonoOpt	Adam Chlipala	2009-12-03
\| \|
\| *	Fix handling of clearCookie/getCookie in same page gen	Adam Chlipala	2009-11-27
\| \|
\| *	Port rest of demo to new cookie signature; fix parsing of multiple incoming ↵	Adam Chlipala	2009-11-26
\| \| \| \| \| \| \| \|	cookies
\| *	More fun with cookies	Adam Chlipala	2009-11-26
\| \|
\| *	Fix parsing of long FastCGI lengths	Adam Chlipala	2009-11-26
\|/
*	Hint about disallowed attributes	Adam Chlipala	2009-11-25
\|
*	Better error message for link-handler conflicts	Adam Chlipala	2009-11-25
\|
*	Refactor compile functions; allow empty tag contents	Adam Chlipala	2009-11-25
\|
*	Exit code of 1 on compilation failure	Adam Chlipala	2009-11-25
\|
*	New release	Adam Chlipala	2009-11-24
\|
*	Explicitly abort in-flight RPCs onunload	Adam Chlipala	2009-11-24
\|
*	Get message-passing working in IE6	Adam Chlipala	2009-11-21
\|
*	Send RPCs with POST, to avoid caching	Adam Chlipala	2009-11-21
\|
*	Hooks for measuring how much interesting proving is going on in elaboration	Adam Chlipala	2009-11-17
\|
*	Start of Decision	Adam Chlipala	2009-11-02
\|
*	Saving paper assignments	Adam Chlipala	2009-11-02
\|
*	Switch Monoize back to POST forms	Adam Chlipala	2009-11-02
\|
*	Initial form for paper assignment	Adam Chlipala	2009-11-01
\|
*	Optimizing str1 in MonoOpt	Adam Chlipala	2009-11-01
\|
*	Bidding interface	Adam Chlipala	2009-11-01
\|
*	Start of bidding implementation compiles	Adam Chlipala	2009-10-31
\|