debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	urweb daemon restart	Adam Chlipala	2019-08-30
\|
*	Smooth rough edges of daemon command-line behavior	Adam Chlipala	2019-08-30
\|
*	Including app.js in output of endpoints	Artyom Shalkhakov	2019-01-12
\|
*	-endpoints switch to view all endpoints defined in JSON format	Artyom Shalkhakov	2019-01-07
\|
*	Add missing flag descriptions to urweb -h	Davor Ocelic	2018-12-30
\|
*	Accept a few other command-line arguments to trigger help text (closes #63)	Adam Chlipala	2018-10-19
\|
*	Small tweaks to new help text	Adam Chlipala	2017-10-01
\|
*	new flag -help, and refactoring of flag parsing.	Peter Bock	2017-09-29
\|
*	Adding support for emitting JS to a given file.	Artyom Shalkhakov	2017-03-07
\|
*	HTTP Last-Modified: latest modtime of source files	Jacob Mitchell	2016-09-07
\| \| \| \|	See issue #38.
*	Change some vector operations to remain compatible with MLton working version	Adam Chlipala	2016-05-29
\|
*	Untagle boot and static flags	Eran Meir	2016-01-02
\| \| \| \| \| \|	Boot flag should build a dynamic executable but link urweb libraries statically (from build tree). This should fix the problem of not being able to build static executables on OSX.
*	Merge Sqlcache	Adam Chlipala	2015-12-20
\|\
* \|	Make daemon mode support sharing of libraries across projects	Adam Chlipala	2015-11-22
\| \|
\| *	Tweak cache consolidation and choose better default.	Ziv Scully	2015-11-20
\| \|
\| *	Add consolidation heuristic options.	Ziv Scully	2015-11-19
\| \|
\| *	Mostly finish effectfulness analysis.	Ziv Scully	2014-10-31
\| \|
\| *	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.
*	-explainEmbed	Adam Chlipala	2014-03-17
\|
*	Some more nested functor bug-fixing, including generating fresh internal ↵	Adam Chlipala	2014-02-20
\| \| \| \|	names at applications; still need to debug issues with datatype constructors
*	New compiler option: -stop	Adam Chlipala	2014-01-19
\|
*	Small reformatting and documentation for '-print-cinclude'	Adam Chlipala	2013-12-06
\|
*	Add -print-cinlude command line option	Sergey Mironov	2013-11-06
\|
*	Add -print-ccompiler command line option	Sergey Mironov	2013-09-18
\|
*	Add -ccompiler command line argument	Sergey Mironov	2013-08-20
\| \| \| \|	This allows user to overwrite the compiler set during the configure phase
*	Fix broken implementation of 'urweb daemon stop'	Austin Seipp	2012-11-28
\|
*	Add list of files to new error message	Adam Chlipala	2012-08-18
\|
*	Better error message for funky command lines	Adam Chlipala	2012-08-18
\|
*	-dumpTypesOnError	Adam Chlipala	2012-05-05
\|
*	Send daemon output to calling process	Adam Chlipala	2012-05-05
\|
*	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.)
*	'urweb daemon start' and 'urweb daemon stop'	Adam Chlipala	2012-04-29
\|
*	-unifyMore	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
*	Compiler frees as much memory as possible before passing control to C compiler	Adam Chlipala	2011-08-15
\|
*	'-dumpTypes'	Adam Chlipala	2011-08-07
\|
*	Tracking and printing of version numbers (based on a patch by Austin Seipp)	Adam Chlipala	2011-08-02
\|
*	Generated pretty-printed HTML for a simple tutorial source file	Adam Chlipala	2011-07-15
\|
*	-prefix command-line option	Adam Chlipala	2010-12-12
\|
*	Interface for setting memory limits	Adam Chlipala	2010-10-14
\|
*	Demo improvements	Adam Chlipala	2010-09-30
\|
*	-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
\|
*	-verbose	Adam Chlipala	2010-03-04
\|
*	Basic analysis of tag and CSS class usage	Adam Chlipala	2010-02-27
\|
*	sigfile directive	Adam Chlipala	2010-02-11
\|
*	-path and -root command-line flags	Adam Chlipala	2010-01-12
\|
*	Dynamic linking of the runtime system	Adam Chlipala	2009-12-27
\|
*	-tc flag	Adam Chlipala	2009-12-24
\|
*	Refactor compile functions; allow empty tag contents	Adam Chlipala	2009-11-25
\|