debian-urweb - Debian packaging for Ur/Web

	Commit message (Expand)	Author	Age
*	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
*	Proper error messages for missing source files	Adam Chlipala	2012-05-26
*	New optional suffice for 'rewrite' in .urp files: [-]	Adam Chlipala	2012-05-06
*	Report which files lead to duplicate module names	Adam Chlipala	2012-05-04
*	Add support for -boot flag, which allows in-tree execution of Ur/Web	Edward Z. Yang	2012-05-02
*	Catch duplicate top-level module names; fix dropping of constraints during in...	Adam Chlipala	2012-05-03
*	'urweb daemon start' and 'urweb daemon stop'	Adam Chlipala	2012-04-29
*	Initial support for reusing elaboration results	Adam Chlipala	2012-04-29
*	'linker' .urp directive	Adam Chlipala	2012-04-22
*	Delete C temporary directories, even if other files wind up there	Adam Chlipala	2012-03-13