debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	New phase: Dbmodecheck	Adam Chlipala	2014-08-17
\|
*	Change handling of returned text blobs, to activate the normal EWrite ↵	Adam Chlipala	2013-12-11
\| \| \| \|	optimizations
*	Basis.tryRpc	Adam Chlipala	2013-04-16
\|
*	Make Scriptcheck catch more script/message-passing uses, and move the phase ↵	Adam Chlipala	2013-03-15
\| \| \| \|	earlier in compilation
*	Remove seemingly inaccurate part of comment (perhaps clarified version can ↵	Adam Chlipala	2012-03-13
\| \| \| \|	be added back in later)
*	Some minor documentation to the Mono AST.	Edward Z. Yang	2012-03-12
\|
*	First part of changes to avoid depending on C function call argument order ↵	Adam Chlipala	2012-01-07
\| \| \| \|	of evaluation (omitting normal Ur function calls, so far)
*	[De]serialization of times in JavaScript; proper integer division in ↵	Adam Chlipala	2010-12-23
\| \| \| \|	JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
*	Server-side 'onError'	Adam Chlipala	2010-09-07
\|
*	tryDml	Adam Chlipala	2010-09-05
\|
*	Roll back WHERE checking	Adam Chlipala	2010-07-27
\|
*	equalAny policies	Adam Chlipala	2010-07-27
\|
*	Initial version of equalKnown working for secret	Adam Chlipala	2010-07-27
\|
*	sendOwnIds policies	Adam Chlipala	2010-04-11
\|
*	Update policies	Adam Chlipala	2010-04-11
\|
*	Delete policies	Adam Chlipala	2010-04-11
\|
*	Insert policies	Adam Chlipala	2010-04-11
\|
*	Change query_policy to sendClient; all arguments passed to SQL predicates ↵	Adam Chlipala	2010-04-08
\| \| \| \|	are variables
*	Pushing policies through	Adam Chlipala	2010-04-04
\|
*	Proper C-side deserialization; Shake.sliceDb	Adam Chlipala	2010-01-03
\|
*	Basis.serialize; separate file for mhash; run transactional finishers in ↵	Adam Chlipala	2009-12-31
\| \| \| \|	reverse order; set needs_sig properly
*	Convert to task syntax	Adam Chlipala	2009-12-15
\|
*	Initializers and setval	Adam Chlipala	2009-12-13
\|
*	Basis.url and redirects	Adam Chlipala	2009-12-10
\|
*	Use call/cc for recv and sleep	Adam Chlipala	2009-10-25
\|
*	RPC uses VM support for call/cc	Adam Chlipala	2009-10-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
*	Redo Jscomp	Adam Chlipala	2009-05-17
\|
*	Mutual datatypes through Pathcheck	Adam Chlipala	2009-05-16
\|
*	Basis.list	Adam Chlipala	2009-04-30
\|
*	A view query works	Adam Chlipala	2009-04-28
\|
*	Returning a blob as page result	Adam Chlipala	2009-04-26
\|
*	Cookie signatures for RPCs	Adam Chlipala	2009-04-23
\|
*	Label exported symbols by effect-ness; factor out some common datatypes	Adam Chlipala	2009-04-16
\|
*	Catching duplicate cookie and style paths	Adam Chlipala	2009-04-16
\|
*	Stop tracking CSS classes in XML types	Adam Chlipala	2009-04-12
\|
*	style declarations	Adam Chlipala	2009-04-12
\|
*	PRIMARY KEY	Adam Chlipala	2009-04-07
\|
*	UNIQUE constraints	Adam Chlipala	2009-04-07
\|
*	sleep and better Scriptcheck	Adam Chlipala	2009-04-04
\|
*	On start-up, delete/nullify rows mentioning clients or channels	Adam Chlipala	2009-04-02
\|
*	Expunging non-nullable rows	Adam Chlipala	2009-03-29
\|
*	Proper recv	Adam Chlipala	2009-03-22
\|
*	Parameterized RPC query	Adam Chlipala	2009-02-15
\|
*	First gimpy RPC	Adam Chlipala	2009-02-15
\|
*	Export RPC functions and push RPC calls through to Mono	Adam Chlipala	2009-02-15
\|
*	Injecting an int	Adam Chlipala	2009-01-01
\|
*	Harmonized source-setting between server and client	Adam Chlipala	2008-12-30
\|
*	Setting a source server-side	Adam Chlipala	2008-12-30
\|