urweb - functional programming language for web programming

	Commit message (Expand)	Author	Age
*	'filecache' .urp directive, fixing a longstanding MonoUtil bug in the process	Adam Chlipala	2018-06-03
*	New .urp directives: mimeTypes and long form of file	Adam Chlipala	2017-10-01
*	Option to prefix all user JavaScript FFI functions with a module name (jsModu...	Vladimir Shabanov	2017-06-15
*	Better error message for .urp files with too many blank lines	Adam Chlipala	2017-03-17
*	Proper ordering when libraries are included recursively (fixes #56)	Adam Chlipala	2016-12-31
*	Make HTML5 the default and add 'xhtml' .urp directive	Adam Chlipala	2016-09-20
*	HTTP Last-Modified: latest modtime of source files	Jacob Mitchell	2016-09-07
*	Increase default timeout to cope with behavior of some Chrome versions	Adam Chlipala	2016-05-16
*	Support for <meta> tags	Adam Chlipala	2016-05-15
*	Finish removing PWild; only load a library once, even if referenced multiple ...	Adam Chlipala	2016-02-07
*	Tweaking discovery of Pthreads C flags	Adam Chlipala	2016-01-16
*	Untagle boot and static flags	Eran Meir	2016-01-02
*	Prevent pthread cflags options from being passed to linker	Eran Meir	2016-01-02
*	Merge Sqlcache	Adam Chlipala	2015-12-20
\|\
* \|	New .urp directive: jsFile	Adam Chlipala	2015-12-05
* \|	Make daemon mode support sharing of libraries across projects	Adam Chlipala	2015-11-22
\| *	Support nested queries but disable UrFlow for now.	Ziv Scully	2015-11-19
\| *	Merge.	Ziv Scully	2015-07-19
\| \|\ \| \|/ \|/\|
* \|	Allow URIs specified in file directives implicitly	Julian Squires	2015-04-24
\| *	Merge.	Ziv Scully	2015-03-27
\| \|\ \| \|/ \|/\|
* \|	Fix resolution of 'file' paths	Adam Chlipala	2015-02-10
* \|	Broaden handling of wildcard rewrites	Adam Chlipala	2014-12-24
\| *	Complete overhaul: cache queries based on immediate query result, not eventua...	Ziv Scully	2014-10-14
\| *	Merge.	Ziv Scully	2014-09-13
\| \|\ \| \|/ \|/\|
* \|	In computing command lines, put filenames inside of quotes, to support spaces...	Adam Chlipala	2014-09-04
* \|	New phase: Dbmodecheck	Adam Chlipala	2014-08-17
* \|	New .urp directive: file	Adam Chlipala	2014-07-31
\| *	Cleans up interface (it's now a command line option) and renames project to "...	Ziv Scully	2014-05-31
\| *	Removes DBMS choice override from compiler.sml (which was there for debugging).	Ziv Scully	2014-05-30
\| *	Merge.	Ziv Scully	2014-05-27
\| \|\ \| \|/ \|/\|
\| *	Finishes initial prototype, caching parameterless pages with table-match-base...	Ziv Scully	2014-05-27
* \|	New lessSafeFfi	Adam Chlipala	2014-05-02
\| *	ML half of initial prototype. (Doesn't compile because there's no C yet.)	Ziv Scully	2014-03-25
\| *	Identifies tables read or touched by queries.	Ziv Scully	2014-03-08
\|/
*	neverInline	Adam Chlipala	2014-02-09
*	New compiler option: -stop	Adam Chlipala	2014-01-19
*	Add 'html5' .urp directive	Adam Chlipala	2014-01-09
*	noMangleSql .urp directive	Adam Chlipala	2014-01-04
*	compileC: Link libraries in the right order	Anders Kaseorg	2013-11-21
*	Add -ccompiler command line argument	Sergey Mironov	2013-08-20
*	Get -root working properly again	Adam Chlipala	2013-09-26
*	Add Sigcheck phase to avoid issues with signatures in global initializers	Adam Chlipala	2013-06-15
*	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
*	Switch linker order	Adam Chlipala	2012-10-20
*	Edward Z. Yang's patch to avoid repeating linker arguments	Adam Chlipala	2012-09-19
*	Added 'coreInline' and 'monoInline' .urp options	Vladimir Shabanov	2012-09-04
*	New NameJs phase, still needing some debugging	Adam Chlipala	2012-08-02
*	Basis.getenv	Adam Chlipala	2012-08-02
*	Flush elaboration cache when switching between .urp files	Adam Chlipala	2012-06-23