urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
*	Some more string parsing functions; naughtyDebug	Adam Chlipala	2011-01-11
\|
*	String processing optimizations	Adam Chlipala	2011-01-11
\|
*	Handle opening of modules that define signatures	Adam Chlipala	2011-01-06
\|
*	Basis.currentUrlHasPost	Adam Chlipala	2011-01-06
\|
*	Client-side redirects	Adam Chlipala	2011-01-06
\|
*	Ignore unknown names in query string name-value pairs; allow any side ↵	Adam Chlipala	2011-01-06
\| \| \| \|	effects by Extern URLs, without signature checking
*	Expand valueish again	Adam Chlipala	2011-01-06
\|
*	Broaden definition of valueish	Adam Chlipala	2011-01-06
\|
*	Detect missing 'database' directive; don't compile garbage C files	Adam Chlipala	2011-01-06
\|
*	Thanks to Vag Vagoff, catch some cases of an obsolete notation for guarded ↵	Adam Chlipala	2011-01-06
\| \| \| \|	types in the manual
*	Remove unnecessary #include (patch from Karn Kallio)	Adam Chlipala	2011-01-03
\|
*	Add a note about Explify to the manual	Adam Chlipala	2011-01-02
\|
*	Fix jsifyTime to work on 32-bit systems	Adam Chlipala	2010-12-30
\|
*	Fix new urlifyTime to work properly on 32-bit systems	Adam Chlipala	2010-12-30
\|
*	Don't forget to call tzset()	Adam Chlipala	2010-12-29
\|
*	Next attempt at getting time parsing right	Adam Chlipala	2010-12-29
\|
*	Latest attempt to get readUtc working properly	Adam Chlipala	2010-12-29
\|
*	Basis.readUtc	Adam Chlipala	2010-12-28
\|
*	Fix time comparison operators; safer saving of queryStrings	Adam Chlipala	2010-12-27
\|
*	queryString and effectfulUrl	Adam Chlipala	2010-12-26
\|
*	Expose buffer type for other C libraries; replace minusSeconds with addSeconds	Adam Chlipala	2010-12-26
\|
*	Switch from libmhash to OpenSSL	Adam Chlipala	2010-12-26
\|
*	Include microseconds in uw_Basis_sqlifyTime() output	Adam Chlipala	2010-12-25
\|
*	JavaScript compilation of time comparison; fix lexing of XML that includes ↵	Adam Chlipala	2010-12-24
\| \| \| \|	open parens
*	Changed uw_Basis_time to store microseconds	Adam Chlipala	2010-12-24
\|
*	Fix Postgres date serialization	Adam Chlipala	2010-12-24
\|
*	Top.queryI1; fix definition of uw_Basis_minTime	Adam Chlipala	2010-12-24
\|
*	Add an extra Especialize pass before Rpcify	Adam Chlipala	2010-12-24
\|
*	Fix soundness bug in Effectize, where it missed some functions that might ↵	Adam Chlipala	2010-12-23
\| \| \| \|	have effectful RPCs
*	[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
*	Recursive record unification errors, for more detail	Adam Chlipala	2010-12-23
\|
*	Basis.cdataChar	Adam Chlipala	2010-12-21
\|
*	Allow SQL aggregation over nullable types	Adam Chlipala	2010-12-21
\|
*	More detail on Especialize in the manual	Adam Chlipala	2010-12-21
\|
*	Hopeful fix to stop Especialize infinite looping	Adam Chlipala	2010-12-21
\|
*	Fix manual mistake about '@' notations; remove obsolete demos	Adam Chlipala	2010-12-20
\|
*	Remove redundant macro	Adam Chlipala	2010-12-20
\|
*	Use proper string time format for SQLite	Adam Chlipala	2010-12-20
\|
*	Implement constrained type kinding properly; bump mono inline threshhold	Adam Chlipala	2010-12-20
\|
*	Fix manual discussion of tuple syntax	Adam Chlipala	2010-12-20
\|
*	Periodic tasks	Adam Chlipala	2010-12-18
\|
*	Change tasks to support parametric code; add clientLeaves	Adam Chlipala	2010-12-18
\|
*	postBody type	Adam Chlipala	2010-12-18
\|
*	Restore behavior of not complaining about undetermined unification variables ↵	Adam Chlipala	2010-12-16
\| \| \| \|	when there are other errors
*	Fiddly tweaks	Adam Chlipala	2010-12-16
\|
*	Clarify that you aren't supposed to be able to create new XML tags	Adam Chlipala	2010-12-16
\|
*	Enforce character constraints on source filenames	Adam Chlipala	2010-12-16
\|
*	Small tweaks to update demos for record unification change	Adam Chlipala	2010-12-15
\|
*	Smarter record unification	Adam Chlipala	2010-12-15
\|
*	Allow use of path variables in strings with no slashes	Adam Chlipala	2010-12-14
\|