urweb - functional programming language for web programming

	Commit message (Collapse)	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 ↵	Vladimir Shabanov	2017-06-15
\| \| \| \|	(jsModule .urp option).
*	Support for <meta> tags	Adam Chlipala	2016-05-15
\|
*	Merge Sqlcache	Adam Chlipala	2015-12-20
\|\
\| *	Support nested queries but disable UrFlow for now.	Ziv Scully	2015-11-19
\| \|
\| *	Complete overhaul: cache queries based on immediate query result, not ↵	Ziv Scully	2014-10-14
\| \| \| \| \| \| \| \|	eventual HTML output.
\| *	Merge.	Ziv Scully	2014-09-13
\| \|\ \| \|/ \|/\|
* \|	New phase: Dbmodecheck	Adam Chlipala	2014-08-17
\| \|
\| *	Cleans up interface (it's now a command line option) and renames project to ↵	Ziv Scully	2014-05-31
\| \| \| \| \| \| \| \|	"sqlcache" in the all-one-word style. Still has issues to do with concurrency, retrying transactions, and foreign function calls that either rely on state or have side effects.
\| *	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
\|/
*	New compiler option: -stop	Adam Chlipala	2014-01-19
\|
*	Add Sigcheck phase to avoid issues with signatures in global initializers	Adam Chlipala	2013-06-15
\|
*	Make Scriptcheck catch more script/message-passing uses, and move the phase ↵	Adam Chlipala	2013-03-15
\| \| \| \|	earlier in compilation
*	New NameJs phase, still needing some debugging	Adam Chlipala	2012-08-02
\|
*	Basis.getenv	Adam Chlipala	2012-08-02
\|
*	Add support for -boot flag, which allows in-tree execution of Ur/Web	Edward Z. Yang	2012-05-02
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	The boot flag rewrites most hardcoded paths to point to the build directory, and also forces static compilation. This is convenient for developing Ur/Web, or if you cannot 'sudo make install' Ur/Web. The following changes were made: * Header files were moved to include/urweb instead of include; this lets FFI users point their C_INCLUDE_PATH at this directory at write <urweb/urweb.h>. For internal Ur/Web executables, we simply pass -I$PATH/include/urweb as normal. * Differentiate between LIB and SRCLIB; SRCLIB is Ur and JavaScript source files, while LIB is compiled products from libtool. For in-tree compilation these live in different places. * No longer reference Config for paths; instead use Settings; these settings can be changed dynamically by Compiler.enableBoot () (TODO: add a disableBoot function.) * config.h is now generated directly in include/urweb/config.h, for consistency's sake (especially since it gets installed along with the rest of the headers!) * All of the autotools build products got updated. * The linkStatic field in protocols now only contains the name of the build product, and not the absolute path. Future users have to be careful not to reference the Settings files to early, lest they get an old version (this was the source of two bugs during development of this patch.)
*	'linker' .urp directive	Adam Chlipala	2012-04-22
\|
*	-dumpSource flag; Especialize tweak: may specialize any argument sequence ↵	Adam Chlipala	2012-01-12
\| \| \| \|	ending in a value of function-containing type
*	Better error messages about server-side use of client-side functions	Adam Chlipala	2011-11-14
\|
*	Compiler frees as much memory as possible before passing control to C compiler	Adam Chlipala	2011-08-15
\|
*	getHeader and setHeader	Adam Chlipala	2011-05-29
\|
*	Add an extra Especialize pass before Rpcify	Adam Chlipala	2010-12-24
\|
*	minHeap option in .urp files	Adam Chlipala	2010-12-11
\|
*	Server-side 'onError'	Adam Chlipala	2010-09-07
\|
*	Another run of Specialize, using ReduceLocal on datatype parameters	Adam Chlipala	2010-06-05
\|
*	Some serious bug-fix work to get HTML example to compile; this includes ↵	Adam Chlipala	2010-06-03
\| \| \| \|	fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize
*	-moduleOf command-line option; compatibility fixes and better error messages ↵	Adam Chlipala	2010-05-27
\| \| \| \|	for SQLite
*	Command-line use of Iflow	Adam Chlipala	2010-04-13
\|
*	Generated basic dummy Iflow conditions	Adam Chlipala	2010-04-04
\|
*	Remove unpoly1	Adam Chlipala	2010-03-16
\|
*	safeGet	Adam Chlipala	2010-03-09
\|
*	Got split1 working, but noticed a nasty type inference bug with transplanted ↵	Adam Chlipala	2010-03-06
\| \| \| \|	unification variables
*	benignEffectful	Adam Chlipala	2010-02-27
\|
*	Basic analysis of tag and CSS class usage	Adam Chlipala	2010-02-27
\|
*	sigfile directive	Adam Chlipala	2010-02-11
\|
*	Module roots	Adam Chlipala	2009-12-24
\|
*	Convenience libifying; allow more NULLs with globals	Adam Chlipala	2009-12-24
\|
*	Alternate job-parsing interface, to avoid merging library directives	Adam Chlipala	2009-12-22
\|
*	Especialize uses a termination measure based on number of arguments introduced	Adam Chlipala	2009-12-15
\|
*	Shake bug fix; pattern reduction in ReduceLocal	Adam Chlipala	2009-12-08
\|
*	Refactor compile functions; allow empty tag contents	Adam Chlipala	2009-11-25
\|
*	RPC uses VM support for call/cc	Adam Chlipala	2009-10-25
\|
*	Inlining threshold for Mono_reduce	Adam Chlipala	2009-10-25
\|
*	Grid changed to use Dlist.replace; filters stopped working	Adam Chlipala	2009-09-17
\|
*	dragList almost kinda works	Adam Chlipala	2009-09-08
\|
*	Working on Grid; have gone from one dynamic table bizareness to another	Adam Chlipala	2009-07-19
\|
*	Demo working with MySQL	Adam Chlipala	2009-07-16
\|
*	Start of multi-DBMS support	Adam Chlipala	2009-06-28
\|