urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
*	List.mapMi	Adam Chlipala	2018-11-04
\|
*	Fix a manual typo	Adam Chlipala	2018-10-23
\|
*	Accept a few other command-line arguments to trigger help text (closes #63)	Adam Chlipala	2018-10-19
\|
*	More telegraphic error text for clashing URL prefixes (closes #111)	Adam Chlipala	2018-10-19
\|
*	Block scary types for [de]serialization (closes #98)	Adam Chlipala	2018-10-19
\|
*	Automatic merging of style/dynStyle and class/dynClass (closes #64)	Adam Chlipala	2018-10-19
\|
*	Client-side escaping of HTML should be prepared for structured HTML trees, ↵	Adam Chlipala	2018-10-19
\| \| \| \|	not just strings (closes #141)
*	Just return None rather than crashing, when trying to read cookies within ↵	Adam Chlipala	2018-10-19
\| \| \| \|	tasks (closes #143)
*	unsafeSerialized[To\|From]String	Adam Chlipala	2018-10-19
\|
*	Catch when a cselect has an unavailable value set	Adam Chlipala	2018-10-12
\|
*	Merge pull request #140 from ashalkhakov/flycheck	Adam Chlipala	2018-09-02
\|\ \| \| \| \|	FlyCheck integration.
* \	Merge pull request #138 from bbarenblat/master	Adam Chlipala	2018-09-02
\|\ \ \| \| \| \| \| \|	Start using symbol versioning
\| \| *	Multi-file projects should work.	Artyom Shalkhakov	2018-09-01
\| \| \|
\| \| *	Flycheck: improving multi-file support	Artyom Shalkhakov	2018-08-31
\| \| \|
\| \| *	FlyCheck integration.	Artyom Shalkhakov	2018-08-31
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Some issues: - since Ur/Web expects to typecheck a project, we "guess" it (which may not be the exact project that you use, maybe we need to improve our heuristics) - lightly tested, but seems to work on my machine
* \| \|	Detect lambda abstractions over type classes as deserving of ↵	Adam Chlipala	2018-08-29
\| \| \| \| \| \| \| \| \| \| \| \|	implicit-argument status
* \| \|	List.allM	Adam Chlipala	2018-08-25
\| \| \|
* \| \|	Merge pull request #134 from steinuil/json-single-quote	Adam Chlipala	2018-08-17
\|\ \ \ \| \| \| \| \| \| \| \|	removed invalid JSON escape character
\| * \| \|	removed invalid JSON escape character	steinuil	2018-08-04
\| \| \| \|
* \| \| \|	Merge pull request #132 from fabriceleal/offsetXY	Adam Chlipala	2018-07-15
\|\ \ \ \ \| \|/ / / \|/\| \| \|	bring offsetX, offsetY to mouseEvent
\| * \| \|	offsetX, offsetY	Fabrice Leal	2018-07-09
\|/ / /
\| * /	Start using symbol versioning	Benjamin Barenblat	2018-06-17
\|/ / \| \| \| \| \| \| \| \| \| \|	We now have enough users to make ABI compatibility worthwhile. Designate the current ABI as version 1 and begin maintaining `-version-info` for libtool.
* \|	Slight change to venerable Nested demo, to get proper URL resolution	Adam Chlipala	2018-06-16
\| \|
* \|	Slight change to venerable Nested demo, to get proper URL resolution	Adam Chlipala	2018-06-16
\| \|
* \|	Return to working version mode	Adam Chlipala	2018-06-16
\| \|
* \|	New release	Adam Chlipala	2018-06-16
\|/
*	Properly populate set of type classes when reusing a module from the ↵	Adam Chlipala	2018-06-06
\| \| \| \|	type-inference cache
*	Merge branch 'master' of ssh://github.com/urweb/urweb	Adam Chlipala	2018-06-04
\|\
* \|	Fix to recent addition of defensive unurlification	Adam Chlipala	2018-06-04
\| \|
\| *	Merge pull request #126 from majorseitan/master	Adam Chlipala	2018-06-04
\| \|\ \| \| \| \| \| \|	Improved support for JSON escape characters
\| * \|	Merge pull request #127 from ashalkhakov/cradio	Adam Chlipala	2018-06-04
\|/\| \| \| \| \| \| \| \|	Adding: cradio (support for client-side radio box).
* \| \|	Fail when requesting a file cache with a database engine that won't do SHA512	Adam Chlipala	2018-06-03
\| \| \|
* \| \|	'filecache' .urp directive, fixing a longstanding MonoUtil bug in the process	Adam Chlipala	2018-06-03
\| \| \|
\| \| *	Merge branch 'master' into master	major seitan	2018-06-02
\| \| \|\ \| \|_\|/ \|/\| \|
\| * \|	Multi-group test	Artyom Shalkhakov	2018-05-30
\| \| \|
* \| \|	Remove insecure crypto function (closes #114)	Adam Chlipala	2018-05-29
\| \| \|
\| * \|	Formatting	Artyom Shalkhakov	2018-05-28
\| \| \|
\| * \|	Adding: cradio (support for client-side radio box).	Artyom Shalkhakov	2018-05-28
\|/ /
\| *	resolve merge conflict on test	majorseitan@blockfreie.org	2018-05-26
\| \|
\| *	Handling of JSON escape characters	majorseitan@blockfreie.org	2018-05-26
\| \| \| \| \| \| \| \| \| \|	1. Handle the escape character \/
* \|	A test for List.groupBy	Adam Chlipala	2018-05-21
\| \|
* \|	Proper error message when the body of a 'val' declaration fails to check ↵	Adam Chlipala	2018-05-20
\| \| \| \| \| \| \| \|	against the type annotation
* \|	Merge pull request #123 from ashalkhakov/tests	Adam Chlipala	2018-05-19
\|\ \ \| \| \| \| \| \|	Adding Selenium-based checking to tests.
* \| \|	More defensive unurlification of enumerations (closes #117)	Adam Chlipala	2018-05-19
\| \| \|
\| * \|	More tests.	Artyom Shalkhakov	2018-05-15
\| \| \|
\| * \|	Adding jsbspace for #121.	Artyom Shalkhakov	2018-05-08
\| \| \|
\| * \|	Adding Selenium-based checking to tests.	Artyom Shalkhakov	2018-05-08
\|/ /
\| *	Handling of JSON escape characters	majorseitan@blockfreie.org	2018-04-15
\| \| \| \| \| \| \| \| \| \|	1. Handle the escape character \\
* \|	Merge pull request #122 from majorseitan/master	Adam Chlipala	2018-04-15
\|\\| \| \| \| \|	Handling of JSON escape characters
\| *	Handling of JSON escape characters	majorseitan@blockfreie.org	2018-04-14
\|/ \| \| \| \| \| \| \| \| \|	1. Handle escape sequence chars \t \n \r 2. Fail on unsupported escape characters. Instead of skipping \ on unsupported sequences it now fails.