urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
*	Fix last fix, to handle checkboxes properly	Adam Chlipala	2017-07-27
\|
*	Add test cases for last commit	Adam Chlipala	2017-07-27
\|
*	Skip inappropriate postprocessing of text fields from multipart form data ↵	Adam Chlipala	2017-07-27
\| \| \| \|	(fixes #82)
*	Return to working version mode	Adam Chlipala	2017-07-20
\|
*	Grandfathered change for release: fix extended 'val' rule in grammar	Adam Chlipala	2017-07-20
\|
*	New release	Adam Chlipala	2017-07-20
\|
*	Make 'static' protocol commit transactions, to force rewriting of HTML ↵	Adam Chlipala	2017-07-12
\| \| \| \|	documents with JavaScript links, etc.
*	Allow inexhaustive patterns for lefthand sides of top-level 'val' declarations	Adam Chlipala	2017-07-12
\|
*	Merge pull request #80 from vshabanov/m-flag-fix	Adam Chlipala	2017-07-12
\|\ \| \| \| \|	Fix for non-working '-m' runtime option
* \|	Document new 'jsModule' .urp directive	Adam Chlipala	2017-07-12
\| \|
* \|	Merge pull request #81 from vshabanov/jsModule-option	Adam Chlipala	2017-07-12
\|\ \ \| \| \| \| \| \|	Option to prefix all user JavaScript FFI functions with a module name
\| * \|	Option to prefix all user JavaScript FFI functions with a module name ↵	Vladimir Shabanov	2017-06-15
\|/ / \| \| \| \| \| \|	(jsModule .urp option).
\| *	Fixed non-working '-m' runtime option.	Vladimir Shabanov	2017-06-15
\|/
*	Merge pull request #79 from bbarenblat/master	Adam Chlipala	2017-05-14
\|\ \| \| \| \|	Use quiet mode for Ur/Web binaries in tests
* \|	Raise an error if we run out of randomness during client initialization	Adam Chlipala	2017-05-14
\| \|
\| *	Use quiet mode for Ur/Web binaries in tests	Benjamin Barenblat	2017-05-02
\|/ \| \| \| \| \|	Reduce chatter on stdout during `make test` (notably, that introduced by a478380e74c658637c90436c4e78c894f7076f4c) by running test binaries with `-q`.
*	Fix normalization of signatures that project signatures from other modules ↵	Adam Chlipala	2017-03-31
\| \| \| \|	with multi-element paths (fixes #72)
*	Option '-m' for HTTP-server binaries	Adam Chlipala	2017-03-17
\|
*	Better error message for .urp files with too many blank lines	Adam Chlipala	2017-03-17
\|
*	Extend license for tutorial code	Adam Chlipala	2017-03-17
\|
*	Merge pull request #71 from ashalkhakov/sqlite-is-distinct-from-fix	Adam Chlipala	2017-03-09
\|\ \| \| \| \|	SQLite does not support IS DISTINCT FROM
\| *	Minor fix.	Artyom Shalkhakov	2017-03-09
\|/
*	Update manual for '-js'	Adam Chlipala	2017-03-07
\|
*	Merge pull request #69 from ashalkhakov/js-file	Adam Chlipala	2017-03-07
\|\ \| \| \| \|	Allow outputting JS code to a specified file
\| *	Merge branch 'master' of https://github.com/urweb/urweb into js-file	Artyom Shalkhakov	2017-03-07
\| \|\ \| \|/ \|/\|
\| *	Adding support for emitting JS to a given file.	Artyom Shalkhakov	2017-03-07
\| \|
* \|	Increase size of string buffer for error messages	Adam Chlipala	2017-02-24
\|/
*	Merge pull request #68 from ashalkhakov/html5-forms	Adam Chlipala	2017-02-21
\|\ \| \| \| \|	Button: disabled attribute; allowing number entry using HTML5 widgets
\| *	Button: disabled attribute; allowing number entry using HTML5 widgets	Artyom Shalkhakov	2017-02-21
\| \|
* \|	Merge pull request #66 from ashalkhakov/mlton-bgb-mode	Adam Chlipala	2017-02-03
\|\ \ \| \|/ \|/\|	Adding: support for Emacs Bg Build mode
\| *	Adding: support for Emacs Bg Build mode	Artyom Shalkhakov	2017-02-02
\|/
*	Option.app	Adam Chlipala	2017-02-01
\|
*	List.appi	Adam Chlipala	2017-01-25
\|
*	Return to working version mode	Adam Chlipala	2017-01-05
\|
*	New release	Adam Chlipala	2017-01-05
\|
*	Add 'placeholder' attribute for textareas	Adam Chlipala	2017-01-02
\|
*	Update test to track last change	Adam Chlipala	2016-12-31
\|
*	Merge branch 'master' of ssh://github.com/urweb/urweb	Adam Chlipala	2016-12-31
\|\
* \|	Use 'id' attribute for <form>	Adam Chlipala	2016-12-31
\| \|
\| *	Merge pull request #60 from bbarenblat/master	Adam Chlipala	2016-12-31
\| \|\ \| \| \| \| \| \|	FastCGI: Track request IDs during processing
\| * \|	Merge pull request #62 from sielenk/ipv6_OpenBSD	Adam Chlipala	2016-12-31
\|/\| \| \| \| \| \| \| \|	Ipv6 open bsd
* \| \|	Proper ordering when libraries are included recursively (fixes #56)	Adam Chlipala	2016-12-31
\| \| \|
* \| \|	Proofread and tweak new demo prose	Adam Chlipala	2016-12-31
\| \| \|
* \| \|	Merge pull request #55 from TheNotary/edit-tutorial	Adam Chlipala	2016-12-31
\|\ \ \ \| \| \| \| \| \| \| \|	reflows intro tutorial
* \| \| \|	Allow qualified variable references in record literals	Adam Chlipala	2016-12-31
\| \| \| \|
\| \| * \|	remove unnecessary code	Marvin Sielenkemper	2016-12-01
\| \| \| \|
\| \| * \|	pass the proper size to the bind call	Marvin Sielenkemper	2016-12-01
\| \| \| \|
\| \| * \|	zero initialize the socket address structure	Marvin Sielenkemper	2016-12-01
\| \| \| \|
\| \| * \|	use the ip4 socket address for ipv4 again	Marvin Sielenkemper	2016-11-30
\| \|/ / \|/\| \|
\| \| *	FastCGI: Track request IDs during processing	Benjamin Barenblat	2016-11-07
\| \|/ \|/\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	When processing a FastCGI request, save its request ID in thread-local storage and respond with the same request ID (rather than hard-coding 1). This fixes FastCGI on picky web servers (nginx). For more background, see https://github.com/urweb/urweb/issues/57 and §3.3 of the FastCGI specification. Tested with nginx 1.10.2 and lighttpd 1.4.39. Closes https://github.com/urweb/urweb/issues/57.