urweb - functional programming language for web programming

	Commit message (Expand)	Author	Age
*	Remove autogenerated files from version control	Adam Chlipala	2013-11-21
*	Regenerate Makefile.in	Adam Chlipala	2013-11-21
*	compileC: Link libraries in the right order	Anders Kaseorg	2013-11-21
*	Add missing inter-library dependencies	Anders Kaseorg	2013-11-21
*	Identify more local definitions as functions that should be lifted to the top...	Adam Chlipala	2013-11-05
*	Interpret 'table' signature items more flexibly, automatically adding (Ur) co...	Adam Chlipala	2013-11-04
*	Save disjointness environments across top-level declarations	Adam Chlipala	2013-10-17
*	Change Pthread thread creation logic to avoid Cygwin limitations with setting...	Adam Chlipala	2013-10-14
*	Remove uw_cutErrorLocation() hijinks	Adam Chlipala	2013-10-10
*	Remove debug prints	Adam Chlipala	2013-10-10
*	Make transactional FFI functions effectful by default	Adam Chlipala	2013-10-10
*	Take proper account of signatures changing during page generation	Adam Chlipala	2013-10-10
*	Add -print-ccompiler command line option	Sergey Mironov	2013-09-18
*	Add -ccompiler command line argument	Sergey Mironov	2013-08-20
*	Add monoize case for 'dml' type	Adam Chlipala	2013-10-01
*	Detect more SQL uses without 'database' directive	Adam Chlipala	2013-09-30
*	Get -root working properly again	Adam Chlipala	2013-09-26
*	Tweak Sergey's patch to work with Postgres	Adam Chlipala	2013-09-13
*	Add hex SQL syntax for blobs, such as X'0ABC12343'. Works with sqlite.	Sergey Mironov	2013-09-13
*	Potentially exponential search through where to head-normalize in [decompileCon]	Adam Chlipala	2013-08-19
*	Allow [where con] to descend within submodule structure; open submodule const...	Adam Chlipala	2013-08-19
*	Expand coverage of 'functionInside' for Especialize	Adam Chlipala	2013-08-10
*	Extend Especialize rule: find maximal argument prefixes that end in 1 or more...	Adam Chlipala	2013-08-09
*	Make that error message even more helpful	Adam Chlipala	2013-07-17
*	Make that new error message text a bit more accurate	Adam Chlipala	2013-07-17
*	Tweak error message about naughty GET handlers	Adam Chlipala	2013-07-17
*	Postgres unicode printing fix from Artyom Shalkhakov	Adam Chlipala	2013-07-17
*	Add Sigcheck phase to avoid issues with signatures in global initializers	Adam Chlipala	2013-06-15
*	Undo 'let' inlining tweak; improve optimization of 'case' of type 'transaction'	Adam Chlipala	2013-06-07
*	Tweak to 'let' inlining behavior	Adam Chlipala	2013-06-02
*	Get Iflow working again	Adam Chlipala	2013-04-21
*	Get -css flag working again	Adam Chlipala	2013-04-16
*	Basis.tryRpc	Adam Chlipala	2013-04-16
*	Change Name_js to skip code snippets that depend on the CSRF-protection signa...	Adam Chlipala	2013-04-01
*	Attempt to get more static linking for OpenSSL	Adam Chlipala	2013-03-19
*	Make Scriptcheck catch more script/message-passing uses, and move the phase e...	Adam Chlipala	2013-03-15
*	Make CGI programs use Status header to set HTTP status code	Adam Chlipala	2013-03-05
*	Add more HTML singleton tags, anticipating that others may make them availabl...	Adam Chlipala	2012-12-31
*	Add some name-mangling rules to allow XML attribute 'name' and attributes wit...	Adam Chlipala	2012-12-27
*	Fix determination of MySQL timestamp hour fields (may still be wrong once DST...	Adam Chlipala	2012-12-13
*	Autogenerate some files	Adam Chlipala	2012-12-12
*	Ignore polymorphism in JavaScript calls to custom FFI functions, allowing a k...	Adam Chlipala	2012-12-11
*	add Placeholder attribute to <password>; change <textbox> code generation to ...	Adam Chlipala	2012-11-30
*	Fix generation of timestamp literals for MySQL and SQLite	Adam Chlipala	2012-11-30
*	Allow any FFI module to declare new HTML tags	Adam Chlipala	2012-11-28
*	Rename Basis.exp to Basis.pow, to avoid confusion with 'expression'; add a te...	Adam Chlipala	2012-11-28
*	Standard library additions: Option.unsafeGet, Basis.exp	Austin Seipp	2012-11-28
*	Fix broken implementation of 'urweb daemon stop'	Austin Seipp	2012-11-28
*	Switch linker order	Adam Chlipala	2012-10-20
*	New release	Adam Chlipala	2012-09-25